ESCL-at-UTD / zonoLABLinks
☆15Updated last month
Alternatives and similar repositories for zonoLAB
Users that are interested in zonoLAB are comparing it to the libraries listed below
Sorting:
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆19Updated 2 weeks ago
- Synthesis of control barrier functions with SOS☆14Updated last year
- A sum-of-squares toolbox for stability analysis☆10Updated 8 months ago
- ☆24Updated 8 months ago
- SIMBa☆12Updated 6 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆63Updated last year
- ☆24Updated 4 years ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Updated 4 years ago
- Enforcing robust control guarantees within neural network policies☆54Updated 4 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆68Updated 2 months ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated 2 years ago
- Matlab interface for OSQP☆50Updated 2 months ago
- A Tool for Continuous Reachability Analysis.☆133Updated 2 months ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 7 months ago
- Model-based Control using Koopman Operators☆51Updated 5 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆65Updated 4 years ago
- Python simulation and hardware library for learning and control☆20Updated 2 years ago
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Updated 2 years ago
- A PyTorch implementation of MPC as a Function Approximator☆18Updated 3 years ago
- ☆36Updated 2 years ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆35Updated 2 months ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆64Updated 2 years ago
- Exercise solutions for Daniel Liberzon's "Calculus of Variations and Optimal Control Theory: A Concise Introduction" book and other optim…☆24Updated 3 years ago
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- ☆28Updated 2 years ago
- A fork of the Systems Polynomial Optimization Toolbox.☆31Updated 6 years ago
- This repository contains the source code for “Unscented Kalman filter stochastic nonlinear model predictive control” (UKF-SNMPC).☆59Updated 2 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆67Updated 2 years ago
- MIT 16.S498 Graduate Course: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆64Updated 4 months ago