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
- Toolbox for Automated Controller Synthesis☆17Updated 11 months ago
- Matlab interface for OSQP☆47Updated 9 months ago
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Updated 4 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆13Updated last year
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆13Updated 4 years ago
- A simple and extensible Octave/Matlab library for Model Predictive Path Integral control scheme.☆14Updated 5 years ago
- MIT 16.S498: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆64Updated 2 years ago
- Safe Control for Nonlinear Systems☆18Updated 4 years ago
- ALGAMES: Game Theoretic Solver for Trajectory Optimization☆105Updated last year
- A basic nonlinear model predictive control implementation using Casadi with Unscented Kalman filter state estimation☆50Updated 3 years ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆35Updated 8 years ago
- Autonomous parking model predictive control example code in Julia☆18Updated 9 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 years ago
- Guaranteed Sequential Trajectory Optimization (GuSTO), using sequential convex programming for trajectory optimization with strong theore…☆57Updated 11 months ago
- MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions☆18Updated 4 years ago
- ☆9Updated 3 years ago
- A Julia package for constrained iterative LQR (iLQR)☆43Updated last year
- Benchmark of QP solvers for Optimal Control☆16Updated 6 years ago
- ☆70Updated 9 months ago
- Formal Verification of Neural Feedback Loops (NFLs)☆79Updated 4 months ago
- Generate taylored code for Differential Dynamic Programming (DDP) aka Iterative Linear Quadratic Gaussian (iLQG) solvers for finite time …☆15Updated 6 years ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆24Updated 4 years ago
- Fast Solution of Optimal Control Problems With L1 Cost☆10Updated 5 years ago
- Automatic Tuning for Data-driven Model Predictive Control☆60Updated last year
- Get started with Reachability-based Trajectory Design for static obstacles☆62Updated 2 years ago
- This repository contains the source code for “Unscented Kalman filter stochastic nonlinear model predictive control” (UKF-SNMPC).☆59Updated last year
- Robust Online Motion Planning using Contraction Theory☆54Updated 6 years ago
- Stochastic Sequential Action Control for Continuous-Time Belief Space Planning in Julia☆15Updated 2 years ago
- On Infusing Reachability-Based Safety Assurance within Probabilistic Planning Frameworks for Human-Robot Vehicle Interactions☆16Updated 4 years ago
- Implementation and examples from Trajectory Optimization with Optimization-Based Dynamics https://arxiv.org/abs/2109.04928☆61Updated 2 years ago