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:
- A Julia package for constrained trajectory optimization using direct methods.☆29Updated 3 years ago
- Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming☆22Updated 10 months ago
- Differentiable trajectory optimization in Julia.☆63Updated 3 months ago
- A package for solving Differential Dynamic Programming and trajectory optimization problems.☆77Updated 4 years ago
- Signal temporal logic (STL) formulas and robustness in Julia☆14Updated 5 months ago
- ☆27Updated 9 months ago
- Hybrid Systems definitions in Julia☆29Updated last year
- Julia wrapper for the Spot LTL and automata manipulation library☆18Updated last year
- Interval Analysis and Mixed Monotone Reachability in JAX☆14Updated last week
- Information page for running sos solvers☆14Updated 3 years ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 5 months ago
- Control barrier functions (CBFs) in Julia.☆14Updated 9 months ago
- A custom interior point solver for mixed complementarity problems.☆14Updated last month
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- Probabilistic reachability and parameter set synthesis for stochastic hybrid systems☆17Updated 5 months ago
- Newton-type accelerated proximal gradient method in Julia☆12Updated 6 years ago
- A Julia package for constrained iterative LQR (iLQR)☆43Updated 2 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆64Updated last month
- ☆19Updated 3 years ago
- Augmented Lagrangian method for solving Quadratic Programs☆21Updated 4 years ago
- Cone program refinement☆10Updated 5 years ago
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11Updated 8 years ago
- ☆26Updated last year
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆15Updated last year
- pycombina - Solving binary approximation problems in Python☆21Updated last year
- ☆45Updated 3 months ago
- A forward McCormick operator library☆17Updated 3 weeks ago
- A fork of the Systems Polynomial Optimization Toolbox.☆30Updated 6 years ago
- Julia imprementation of (differential) Fast Marching Tree☆14Updated last year