TUMcps / CORALinks
A Tool for Continuous Reachability Analysis.
☆124Updated 3 weeks ago
Alternatives and similar repositories for CORA
Users that are interested in CORA are comparing it to the libraries listed below
Sorting:
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 years ago
- ☆71Updated last year
- Economic tuning of tracking (N)MPC problems.☆36Updated last week
- Toolbox for Automated Controller Synthesis☆17Updated last year
- ☆46Updated this week
- ☆87Updated last year
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆109Updated last year
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆61Updated last year
- Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit☆52Updated 2 months ago
- Optimizing Dynamic Programming-Based Algorithms☆117Updated last month
- Matlab interface for OSQP☆48Updated 2 months ago
- ☆41Updated last week
- This repo collets few LMPC examples coded in Python☆83Updated 11 months ago
- Toolbox for Robotics Control☆65Updated 2 weeks ago
- A dual active-set algorithm for convex quadratic programming☆76Updated this week
- ☆20Updated 5 months ago
- C Code generation for NMPC☆30Updated 4 years ago
- ☆172Updated 2 months ago
- A Toolbox For Polytopic Objects, Operations, and Containment Problems☆23Updated 5 months ago
- constraint differential dynamical programming☆29Updated 2 years ago
- Codes for designing Neural Contraction Metrics (NCMs)☆33Updated 4 years ago
- A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.☆15Updated 5 years ago
- Robust Online Motion Planning using Contraction Theory☆57Updated 6 years ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆32Updated last week
- A Julia package for constrained iterative LQR (iLQR)☆43Updated 2 years ago
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆77Updated 5 months ago
- Neural Networks with CasADi☆10Updated 2 months ago
- ☆60Updated 10 months ago
- A python library for control from Signal Temporal Logic (STL) specifications☆43Updated 3 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆64Updated 2 years ago