tzanis-anevlavis / cis2mLinks
Controlled Invariant Sets in Two Moves
☆13Updated 3 years ago
Alternatives and similar repositories for cis2m
Users that are interested in cis2m are comparing it to the libraries listed below
Sorting:
- Implicit Game-Theoretic MPC☆13Updated 3 months ago
- A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.☆16Updated 5 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 years ago
- Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.☆52Updated last month
- MIT 16.S498: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆65Updated last month
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 2 years ago
- Matlab interface for OSQP☆48Updated 2 months ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆36Updated 8 years ago
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Updated 4 years ago
- Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.☆24Updated 2 weeks ago
- This repo collets few LMPC examples coded in Python☆83Updated 11 months ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆28Updated 4 years ago
- A set of tools to quickly generate and visualize autonomous driving scenarios for Algames.jl.☆29Updated 3 years ago
- code for "Search-based task and motion planning for hybrid systems: Agile autonomous vehicles"☆35Updated 8 months ago
- Safe Control for Nonlinear Systems☆18Updated 5 years ago
- Iterative Linear-Quadratic Games!☆169Updated 2 weeks ago
- Differentiable Gaussian Process Motion Planning☆51Updated 3 years ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆62Updated 2 years ago
- Toolbox for Automated Controller Synthesis☆17Updated last year
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆110Updated last year
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 3 years ago
- Robust Online Motion Planning using Contraction Theory☆57Updated 6 years ago
- MATLAB LMPC implementation for a double integrator system☆58Updated 4 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆43Updated 3 years ago
- A basic nonlinear model predictive control implementation using Casadi with Unscented Kalman filter state estimation☆50Updated 4 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆61Updated last year
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆65Updated last year
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆15Updated 5 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆63Updated 3 years ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 8 months ago