TUMcps / AROC
Toolbox for Automated Controller Synthesis
☆17Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for AROC
- Toolbox for Reachability Analysis☆109Updated this week
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆25Updated 2 years ago
- Data Driven Reachability Analysis from Noisy Data☆21Updated 7 months ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆13Updated last week
- MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions☆17Updated 4 years ago
- Matlab interface for OSQP☆43Updated 7 months ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆57Updated last year
- Formal Verification of Neural Feedback Loops (NFLs)☆77Updated 2 months ago
- Adaptive control-oriented meta-learning for nonlinear systems☆55Updated 3 years ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆35Updated 7 years ago
- A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.☆15Updated 4 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆58Updated last year
- Codes for designing Neural Contraction Metrics (NCMs)☆32Updated 4 years ago
- A Julia package for constrained iterative LQR (iLQR)☆42Updated last year
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆23Updated 3 years ago
- Repository for Koopman based learning and nonlinear control☆37Updated last year
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated last year
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 9 months ago
- Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.☆23Updated 6 months ago
- ☆40Updated last year
- Rapidly designing and solving differential games in Julia.☆36Updated last month
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆14Updated last year
- A fork of the Systems Polynomial Optimization Toolbox.☆28Updated 6 years ago
- Model-based Control using Koopman Operators☆47Updated 4 years ago
- Python simulation and hardware library for learning and control☆20Updated last year
- ☆70Updated 7 months ago
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆105Updated last year
- Neural Koopman Lyapunov Control☆20Updated last year
- ☆12Updated 2 years ago