tzanis-anevlavis / cis2m
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
- MIT 16.S498: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆64Updated 2 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆13Updated last year
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Updated 4 years ago
- Matlab interface for OSQP☆47Updated 10 months ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 years ago
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆105Updated last year
- Research quadrotor platform (software & hardware) developed at Stanford Multi-Robot Systems Lab☆23Updated 3 years ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆61Updated 2 years ago
- ☆9Updated 3 years ago
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 2 years ago
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆26Updated 2 years ago
- A basic nonlinear model predictive control implementation using Casadi with Unscented Kalman filter state estimation☆50Updated 3 years ago
- Robust Online Motion Planning using Contraction Theory☆55Updated 6 years ago
- ☆36Updated 2 years ago
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆11Updated 6 years ago
- Risk-averse trajectory optimization☆16Updated last year
- Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.☆49Updated 9 months ago
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆14Updated 4 years ago
- ☆28Updated last year
- Starter code accompanying homework assignments from AA203: Optimal and Learning-Based Control.☆23Updated 8 months ago
- Nonlinear Model Predictive Control tuning using Genetic Algorithms, employed on a trajectory controller for differential drive robot☆28Updated 4 years ago
- Safe Control for Nonlinear Systems☆18Updated 4 years ago
- COIN-OR autotools harness to build HSL linear solvers☆35Updated 2 months ago
- Adaptive control-oriented meta-learning for nonlinear systems☆60Updated 3 years ago
- Hierarchical Model Predictive Control for the F1/10 autonmous car☆22Updated 4 years ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆35Updated 8 years ago
- ILQR and MPC Control of Swarms using Random Finite Set Theory☆13Updated 4 years ago
- Differentiable Gaussian Process Motion Planning☆47Updated 3 years ago
- On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions☆16Updated 4 years ago
- Learning based Model Prodictive Control for online iterative trajectory optimization for the F1/10 car☆36Updated 2 years ago