sreachtools / SReachTools
MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
☆12Updated 4 years ago
Alternatives and similar repositories for SReachTools:
Users that are interested in SReachTools are comparing it to the libraries listed below
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆27Updated 4 years ago
- Dynamic Programming and Optimal Control (151-0563-01) Fall 2019 Programming Exercise☆18Updated 5 years ago
- ☆18Updated 6 years ago
- Sequential Convex Programming For Non-Linear Stochastic Optimal Control☆11Updated 2 years ago
- Code needed to reproduce examples in "Robust Closed-loop Model Predictive Control via System Level Synthesis," by S. Chen, H. Wang, M. Mo…☆28Updated 4 years ago
- Primal-Dual Policy Learning Simple Example☆15Updated 4 years ago
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆36Updated 8 years ago
- DC-TMPC: A tube-based MPC algorithm for systems that can be expressed as a difference of convex functions.☆17Updated 2 years ago
- H_inf tracking control for linear discrete-time systems using ADP☆10Updated 4 years ago
- Data Driven Reachability Analysis from Noisy Data☆27Updated last year
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Updated 2 years ago
- Synthesis of control barrier functions with SOS☆13Updated last year
- Predictive Triggering Framework for Distributed Control of Resource Constrained Multi-agent Systems☆12Updated 5 years ago
- Multiple shooting method for solving optimal control problems☆13Updated 6 years ago
- ILQR and MPC Control of Swarms using Random Finite Set Theory☆13Updated 5 years ago
- This repository contains the open source code used to generate the simulation results shown in the manuscript "Jaeyoung Lee and Richard S…☆12Updated 3 years ago
- Short example of MPC and specifically stochastic MPC (SMPC) with chance constraints for Matlab.☆62Updated last year
- ☆8Updated 2 years ago
- MPC trajectory tracking + reachability-based collision avoidance for pairwise vehicle interactions☆19Updated 4 years ago
- ☆11Updated 4 years ago
- Safety Critical Control of Autonomous Vehicles by Control Barrier Functions☆16Updated 2 years ago
- A simple robust MPC for linear systems with model mismatch: Balancing conservatism vs computational complexity☆28Updated 3 years ago
- Adjoint-based Predictor Corrector Sequential Convex Programming in Nonlinear Model Predictive Control - Source Code for Car Model☆13Updated 9 years ago
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆21Updated 4 years ago
- "Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions" by S. Liu, J. Zeng, …☆12Updated 2 years ago
- Successive Linearization Model Predictive Control☆17Updated 7 years ago
- ☆10Updated 9 months ago
- Python code for implementing a set of basic robust model predictive control (RMPC) algorithms for linear systems.☆26Updated 3 years ago
- Code and example associated with the paper 'Model Predictive Control of Nonlinear Latent Force Models: A Scenario-based Approach' by T. W…☆10Updated 2 years ago
- Code associated with the ADCHEM 2021 Workshop on Machine Learning and Model Predictive Control☆15Updated 3 years ago