ESCL-at-UTD / zonoLAB
☆14Updated 4 months ago
Alternatives and similar repositories for zonoLAB:
Users that are interested in zonoLAB are comparing it to the libraries listed below
- Synthesis of control barrier functions with SOS☆12Updated last year
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 years ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆35Updated 8 years ago
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆14Updated last year
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆18Updated 3 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- Sequential Convex Programming For Non-Linear Stochastic Optimal Control☆11Updated 2 years ago
- ☆17Updated last month
- Automatic Tuning for Data-driven Model Predictive Control☆61Updated last year
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆12Updated last year
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated 2 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆60Updated 3 years ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated last month
- Economic tuning of tracking (N)MPC problems.☆33Updated 2 years ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated last year
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆61Updated 2 years ago
- Python code of the paper "Efficient Calibration of Embedded MPC" (2020 IFAC World Congress) by Marco Forgione, Dario Piga, and Alberto Be…☆24Updated 3 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆58Updated last year
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆61Updated last year
- Matlab interface for OSQP☆47Updated 10 months ago
- Neural Koopman Lyapunov Control☆21Updated last year
- A fork of the Systems Polynomial Optimization Toolbox.☆29Updated 6 years ago
- Data Driven Reachability Analysis from Noisy Data☆26Updated 10 months ago
- ☆17Updated 4 years ago
- A PyTorch implementation of MPC as a Function Approximator☆17Updated 3 years ago
- A Toolbox For Polytopic Objects, Operations, and Containment Problems☆21Updated last month
- A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.☆15Updated 5 years ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆31Updated 4 months ago
- Learning Control Lyapunov Functions to Stabilize the Trajectories of Dynamical Systems.☆12Updated 2 years ago
- Enforcing robust control guarantees within neural network policies☆54Updated 3 years ago