TUMcps / CORA
Toolbox for Reachability Analysis
☆100Updated this week
Related projects: ⓘ
- ☆66Updated 5 months ago
- Toolbox for Automated Controller Synthesis☆17Updated 7 months ago
- C Code generation for NMPC☆29Updated 4 years ago
- Economic tuning of tracking (N)MPC problems.☆26Updated last year
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆56Updated 7 months ago
- ☆141Updated 5 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆40Updated 3 years ago
- A dual active-set algorithm for convex quadratic programming☆60Updated last month
- Library for nonconvex constrained optimization using the augmented Lagrangian method and the matrix-free PANOC algorithm.☆66Updated last month
- ☆77Updated last year
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆105Updated last year
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- An implementation of the FBstab quadratic programming solver.☆23Updated last year
- Robust Online Motion Planning using Contraction Theory☆53Updated 5 years ago
- Matlab interface for OSQP☆42Updated 5 months ago
- ☆53Updated last month
- MATLAB LMPC implementation for a double integrator system☆56Updated 3 years ago
- ☆11Updated 4 years ago
- This repo collets few LMPC examples coded in Python☆79Updated 2 months ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆26Updated last week
- constraint differential dynamical programming☆24Updated 2 years ago
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 2 years ago
- Library for High-Performance implementation of solvers for MPC.☆53Updated 3 years ago
- LCQPow - A Solver for Quadratic Programs with Linear Complementarity Constraints☆22Updated last week
- A python library for control from Signal Temporal Logic (STL) specifications☆30Updated 2 years ago
- nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.☆50Updated this week
- Use PyTorch Models with CasADi and Acados☆192Updated 10 months ago
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 2 years ago
- MATLAB interface for IPOPT☆102Updated 10 months ago
- Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit☆39Updated last year