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
- Differentiable trajectory optimization in Julia.☆62Updated 3 weeks ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 8 months ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- A Julia package for constrained trajectory optimization using direct methods.☆28Updated 2 years ago
- Signal temporal logic (STL) formulas and robustness in Julia☆14Updated 3 months ago
- Hybrid Systems definitions in Julia☆29Updated last year
- Control barrier functions (CBFs) in Julia.☆14Updated 7 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 10 months ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 3 years ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆14Updated 2 months ago
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- Python simulation and hardware library for learning and control☆20Updated last year
- A Julia package for constrained iterative LQR (iLQR)☆43Updated 2 years ago
- SLSpy provides a Python-based framework to design and simulate model-based control systems, especially for system level synthesis (SLS) m…☆18Updated last year
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago
- Cone program refinement☆10Updated 5 years ago
- ☆26Updated last year
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated last month
- A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?☆16Updated 3 weeks ago
- A forward McCormick operator library☆17Updated 2 weeks ago
- Julia imprementation of (differential) Fast Marching Tree☆14Updated last year
- nonlinear control optimization tool☆110Updated 3 weeks ago
- ☆45Updated last month
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆17Updated 3 months ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 3 months ago
- A custom interior point solver for mixed complementarity problems.☆12Updated 3 weeks ago
- ☆27Updated 6 months ago
- ☆45Updated 3 years ago
- Augmented Lagrangian method for solving Quadratic Programs☆20Updated 4 years ago
- Solving the Trust Region Subproblem as an Eigenproblem in Julia☆24Updated 3 years ago