sputot / RINO
Robust INner and Outer approximated reachability analysis
☆8Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for RINO
- Toolbox for Automated Controller Synthesis☆17Updated 10 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆12Updated last week
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆13Updated 3 weeks 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
- Differentiable trajectory optimization in Julia.☆58Updated 3 months ago
- ☆27Updated last month
- Control barrier functions (CBFs) in Julia.☆13Updated 2 months ago
- A fork of the Systems Polynomial Optimization Toolbox.☆28Updated 6 years ago
- A Julia package for constrained iterative LQR (iLQR)☆42Updated last year
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆13Updated last year
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆55Updated 3 weeks ago
- Robotic motion planning in Julia☆41Updated 4 years ago
- Data Driven Reachability Analysis from Noisy Data☆21Updated 7 months ago
- A brief JAX tutorial with examples from control theory☆12Updated 2 years ago
- Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python☆12Updated 3 months ago
- ☆54Updated 3 months ago
- A neural network accelerated solver for mixed-strategy solutions of trajectory games. Do you even lift?☆16Updated 6 months ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆24Updated 2 months ago
- A geodesic interior-point method for symmetric cone optimization☆16Updated last year
- A Julia package for constrained trajectory optimization using direct methods.☆28Updated 2 years ago
- Temporal Logic Extractor☆11Updated 7 years ago
- ☆10Updated 3 weeks ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆13Updated last week
- ☆25Updated 8 months ago
- Python simulation and hardware library for learning and control☆20Updated last year
- Trajectory Optimization for Robot Arms☆53Updated this week
- Toolbox for Reachability Analysis☆109Updated last week
- pycombina - Solving binary approximation problems in Python☆20Updated 11 months ago
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago