ESCL-at-UTD / zonoLABLinks
☆15Updated 2 weeks 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…☆19Updated 4 months ago
- Synthesis of control barrier functions with SOS☆13Updated last year
- ☆24Updated 7 months ago
- A sum-of-squares toolbox for stability analysis☆10Updated 8 months ago
- Codes for designing Neural Contraction Metrics (NCMs)☆34Updated 5 years ago
- A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs☆68Updated last month
- ☆27Updated 2 years ago
- A Matlab toolbox for nonlinear optimization using symbolic tensor calculus☆16Updated 6 months ago
- Matlab interface for OSQP☆50Updated 2 months ago
- pycvxset is a Python package for manipulation and visualization of convex sets.☆35Updated last month
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Updated 4 years ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆63Updated 2 years ago
- CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.☆12Updated this week
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆62Updated last year
- A Tool for Continuous Reachability Analysis.☆132Updated 2 months ago
- A GPU-accelerated toolbox for hyperbolic PDEs in a weaker (viscosity) sense. It leverages the integral to the solution of the conservatio…☆10Updated 3 months ago
- Python simulation and hardware library for learning and control☆20Updated 2 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆46Updated 4 years ago
- ☆36Updated 2 years ago
- A CasADi Python wrapper for the acados integrators.☆23Updated last year
- An open source first-order MATLAB solver for conic programs with row sparsity.☆11Updated 8 years ago
- A curated list of solvers/software/frameworksrelevant for dynamic optimiation☆35Updated last month
- SIMBa☆12Updated 5 months ago
- This repository is for our paper: "The Experimental Multi-Arm Pendulum on a Cart: A Benchmark System for Chaos, Learning, and Control." I…☆19Updated 2 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆165Updated 2 months ago
- Lyapunov-stable Neural Control for State and Output Feedback☆73Updated last year
- Adaptive control-oriented meta-learning for nonlinear systems☆65Updated 4 years ago
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆67Updated 2 years ago
- A fork of the Systems Polynomial Optimization Toolbox.☆30Updated 6 years ago