sputot / RINOLinks
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
Sorting:
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 11 months ago
- Signal temporal logic (STL) formulas and robustness in Julia☆14Updated 6 months ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆78Updated 4 years ago
- Hybrid Systems definitions in Julia☆29Updated last year
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- A Julia package for constrained trajectory optimization using direct methods.☆29Updated 3 years ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆14Updated this week
- Differentiable trajectory optimization in Julia.☆64Updated 4 months ago
- ☆35Updated last week
- ☆26Updated last year
- ☆47Updated 5 months ago
- nonlinear control optimization tool☆112Updated 4 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆18Updated last year
- Julia imprementation of (differential) Fast Marching Tree☆14Updated last year
- A custom interior point solver for mixed complementarity problems.☆14Updated 3 months ago
- Information page for running sos solvers☆14Updated 3 years ago
- Control barrier functions (CBFs) in Julia.☆14Updated 10 months ago
- Reachability and Safety of Nondeterministic Dynamical Systems☆50Updated 4 years ago
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated last year
- A sparse polynomial optimization tool based on the moment-SOS hierarchy.☆57Updated 3 weeks ago
- Cone program refinement☆10Updated 5 years ago
- ☆45Updated 3 years ago
- Computing mixed-strategy Nash Equilibria for games involving multiple players☆23Updated 6 months ago
- Julia interface for OSQP: The Operator Splitting QP Solver☆72Updated 5 months ago
- Julia interface for SNOPT7☆10Updated 4 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆37Updated 10 months ago
- A Julia package for constrained iterative LQR (iLQR)☆44Updated 2 years ago
- Symbolic planners for problems and domains specified in PDDL.☆61Updated 3 months ago
- Computing reachable states of dynamical systems in Julia☆205Updated 3 weeks ago
- Semidefinite programming optimization solver☆95Updated 2 months ago