TUMcps / CORA
Toolbox for Reachability Analysis
☆109Updated this week
Related projects ⓘ
Alternatives and complementary repositories for CORA
- Toolbox for Automated Controller Synthesis☆17Updated 10 months ago
- ☆70Updated 7 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆44Updated 4 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 9 months ago
- ☆148Updated 8 months ago
- A dual active-set algorithm for convex quadratic programming☆63Updated this week
- Economic tuning of tracking (N)MPC problems.☆31Updated 2 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago
- C Code generation for NMPC☆30Updated 4 years ago
- Matlab interface for OSQP☆43Updated 7 months ago
- This repo collets few LMPC examples coded in Python☆81Updated 4 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- Robust Online Motion Planning using Contraction Theory☆53Updated 5 years ago
- ☆82Updated last year
- Toolbox for Robotics Control☆56Updated last month
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆28Updated last month
- ☆54Updated 3 months ago
- Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit☆42Updated last month
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆25Updated 2 years ago
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆105Updated last year
- ☆16Updated last year
- A fork of the Systems Polynomial Optimization Toolbox.☆28Updated 6 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆139Updated 11 months ago
- Optimizing Dynamic Programming-Based Algorithms☆103Updated this week
- A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.☆15Updated 4 years ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆13Updated last week
- Use PyTorch Models with CasADi and Acados☆200Updated last year
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 2 years ago
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆69Updated this week
- Library for High-Performance implementation of solvers for MPC.☆53Updated 3 years ago