gtfactslab / immrax
Interval Analysis and Mixed Monotone Reachability in JAX
☆13Updated 3 weeks ago
Alternatives and similar repositories for immrax:
Users that are interested in immrax are comparing it to the libraries listed below
- ☆16Updated last month
- Signal temporal logic (STL) formulas and robustness in Julia☆13Updated 2 weeks ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 2 months ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆60Updated this week
- Differentiable trajectory optimization in Julia.☆60Updated last month
- Control barrier functions (CBFs) in Julia.☆13Updated 4 months ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- A Julia package for constrained trajectory optimization using direct methods.☆28Updated 2 years ago
- A Julia package for constrained iterative LQR (iLQR)☆43Updated last year
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 5 months ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 2 weeks ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆76Updated 3 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 years ago
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆45Updated this week
- A CasADi Python wrapper for the acados integrators.☆21Updated 9 months ago
- Robust INner and Outer approximated reachability analysis☆9Updated 11 months ago
- Information page for running sos solvers☆14Updated 3 years ago
- Trajectory Optimization for Robot Arms☆54Updated last month
- Conic Augmented Lagrangian Interior-Point SOlver☆69Updated 2 years ago
- A Toolbox For Polytopic Objects, Operations, and Containment Problems☆21Updated 3 weeks ago
- Rapidly designing and solving differential games in Julia.☆37Updated last month
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago
- A dual active-set algorithm for convex quadratic programming☆69Updated 2 months ago
- A python library for control from Signal Temporal Logic (STL) specifications☆39Updated 2 years ago
- Toolbox for Reachability Analysis☆112Updated last week
- ☆44Updated 10 months ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆25Updated 3 weeks ago
- ☆14Updated 3 months ago
- Robotic motion planning in Julia☆41Updated 4 years ago