ESCL-at-UTD / zonoLABLinks
☆16Updated 2 months ago
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…☆21Updated 4 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- ☆26Updated 11 months ago
- Synthesis of control barrier functions with SOS☆15Updated 2 years ago
- A sum-of-squares toolbox for stability analysis☆10Updated last year
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated last month
- ☆31Updated 2 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆64Updated last year
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆73Updated 2 months ago
- A fork of the Systems Polynomial Optimization Toolbox.☆30Updated 7 years ago
- Matlab interface for OSQP☆53Updated 2 months ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆65Updated 3 years ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆36Updated 5 months ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Updated 5 years ago
- A Tool for Continuous Reachability Analysis.☆145Updated 2 months ago
- MPC package for solving optimal control problems☆19Updated 6 months ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- SIMBa☆14Updated 10 months ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆171Updated 6 months ago
- Python-CasADi-based package containing several algorithms for solving mixed-integer nonlinear programs (MINLPs)☆31Updated this week
- Matlab codes for safety-critical control based on a single CBF constructed from a complex combination of safety specifications. They cont…☆16Updated 8 months ago
- A CasADi Python wrapper for the acados integrators.☆23Updated last year
- ☆38Updated 2 years ago
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆16Updated 2 years ago
- ☆13Updated 6 years ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆41Updated 5 months ago
- A PyTorch implementation of MPC as a Function Approximator☆19Updated 4 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆48Updated 5 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆70Updated 4 years ago
- Python simulation and hardware library for learning and control☆20Updated 2 years ago