ESCL-at-UTD / zonoLAB
☆12Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for zonoLAB
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆13Updated 2 weeks ago
- Synthesis of control barrier functions with SOS☆11Updated last year
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆28Updated 3 weeks ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated last year
- ☆16Updated last year
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆55Updated last week
- A Julia package for constrained iterative LQR (iLQR)☆42Updated last year
- A CasADi Python wrapper for the acados integrators.☆20Updated 6 months ago
- Economic tuning of tracking (N)MPC problems.☆29Updated 2 years ago
- ☆26Updated last year
- Github Mirror of https://gitlab.mech.kuleuven.be/meco-software/rockit☆42Updated last month
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆15Updated 11 months ago
- Nonlinear Distributionally-Robust MPC via Risk-Sensitive Optimal Control in Julia☆21Updated 3 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆30Updated last year
- ☆35Updated last year
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago
- Risk-averse trajectory optimization☆16Updated last year
- Model-based Control using Koopman Operators☆46Updated 4 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆54Updated 3 years ago
- Toolbox for Automated Controller Synthesis☆17Updated 9 months ago
- ☆54Updated 3 months ago
- Interval Analysis and Mixed Monotone Reachability in JAX☆12Updated this week
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆12Updated last year
- Repository for Koopman based learning and nonlinear control☆37Updated last year
- Repository for computing the probability distribution of an optimal control problem☆11Updated 3 years ago
- A GPU Accelerated Quadratic Programming Solver for Model-Predictive Control☆38Updated 2 months ago
- Automatic Tuning for Data-driven Model Predictive Control☆57Updated last year
- MPC package for solving optimal control problems☆14Updated last month
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆58Updated last year