manish-pra / sagempcLinks
Safe guaranteed exploration for non-linear systems
☆18Updated last year
Alternatives and similar repositories for sagempc
Users that are interested in sagempc are comparing it to the libraries listed below
Sorting:
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆20Updated last year
- "Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions" by S. Liu, J. Zeng, …☆12Updated 2 years ago
- Risk-averse trajectory optimization☆18Updated last year
- Automatic Tuning for Data-driven Model Predictive Control☆64Updated 2 years ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated 2 years ago
- [IROS 22'] Model-free Neural Lyapunov Control☆23Updated 2 years ago
- ☆56Updated 3 years ago
- Model-based Control using Koopman Operators☆51Updated 5 years ago
- LAMPOS, a strategy-based solution approach for mp-MILPs for real-time mixed-integer MPC with sub-optimality quantification☆10Updated 2 years ago
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆15Updated last year
- Code for the paper "Deep Model Predictive Optimization"☆27Updated last year
- High-level Python Particle Sequential Convex Programming Model Predictive Control (SCP PMPC) interface☆15Updated last year
- Convex hulls of reachable sets☆10Updated last year
- Code accompanying "Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory"☆28Updated last year
- Sampling based GP MPC☆28Updated last week
- Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Living…☆15Updated 6 years ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆30Updated 2 years ago
- A JAX library for Sequential Convex Programming (SCP) Model Predictive Control (MPC) path planning☆21Updated last year
- PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL☆20Updated 3 weeks ago
- Segway Simulation Environment☆10Updated 4 years ago
- Repository for Koopman based learning and nonlinear control☆43Updated 2 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆67Updated last year
- ☆9Updated last year
- Control barrier function as safety filter with disturbance observer☆31Updated 4 months ago
- ☆28Updated 3 years ago
- Synthesis of Control Barrier Functions Using a Supervised Machine Learning Approach☆15Updated 5 years ago
- ☆11Updated 2 years ago
- We use reachability to ensure the safety of a decision agent acting on a dynamic system in real-time. We compute the Forward Reachable Se…☆33Updated 4 years ago
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- Code for the paper "Control Barriers in Bayesian Learning of System Dynamics"☆28Updated 2 years ago