sputot / RINO
Robust INner and Outer approximated reachability analysis
☆9Updated last year
Alternatives and similar repositories for RINO:
Users that are interested in RINO are comparing it to the libraries listed below
- Signal temporal logic (STL) formulas and robustness in Julia☆14Updated last month
- A Julia package for constrained trajectory optimization using direct methods.☆28Updated 2 years ago
- Differentiable trajectory optimization in Julia.☆60Updated 2 months ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 6 months ago
- Hybrid Systems definitions in Julia☆29Updated 11 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 8 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆13Updated 2 weeks ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆76Updated 3 years ago
- ☆44Updated 11 months ago
- A Julia package for constrained iterative LQR (iLQR)☆43Updated last year
- Julia interface for SNOPT7☆10Updated 3 years ago
- Julia imprementation of (differential) Fast Marching Tree☆12Updated last year
- ☆26Updated 10 months ago
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- Control barrier functions (CBFs) in Julia.☆13Updated 5 months ago
- Information page for running sos solvers☆14Updated 3 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆33Updated 4 months ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆60Updated 2 weeks ago
- ☆45Updated 3 years ago
- Quadratic-programming-based robot controllers☆16Updated 5 years ago
- A geodesic interior-point method for symmetric cone optimization☆18Updated last year
- Augmented Lagrangian method for solving Quadratic Programs☆20Updated 4 years ago
- A meta-package for the Lyceum ecosystem.☆27Updated 4 years ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated 10 months ago
- Newton-type accelerated proximal gradient method in Julia☆11Updated 5 years ago
- A Julia implementation of PRONTO☆23Updated last week
- nonlinear control optimization tool☆110Updated last year
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago
- Julia interactive interface for TinyMPC☆10Updated 10 months ago