boranzhao / cbf-sosLinks
Synthesis of control barrier functions with SOS
☆13Updated last year
Alternatives and similar repositories for cbf-sos
Users that are interested in cbf-sos are comparing it to the libraries listed below
Sorting:
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Updated 2 years ago
- Python code for implementing a set of basic robust model predictive control (RMPC) algorithms for linear systems.☆27Updated 3 years ago
- SIMBa☆12Updated 5 months ago
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
- Tube-certified nonlinear tracking with robust control contraction metrics☆27Updated last year
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆12Updated last year
- Data Driven Reachability Analysis from Noisy Data☆29Updated last year
- Control barrier functions via reduced-order models.☆12Updated last year
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆14Updated last year
- Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition☆14Updated last year
- Code to reproduce examples in 'Closed-loop data-enabled predictive control' submitted to CDC 2020☆21Updated 5 years ago
- A sum-of-squares toolbox for stability analysis☆10Updated 8 months ago
- ☆10Updated 5 months ago
- This simulation file demonstrates a variant of Robust Tube MPC in which the initial nominal state is a decision variable. Theoretical ba…☆15Updated last year
- [L4DC 2025] Automatic hyperparameter tuning for DeePC. Built by Michael Cummins at the Automatic Control Laboratory, ETH Zurich.☆21Updated 7 months ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆29Updated 4 years ago
- A simple robust MPC for linear systems with model mismatch: Balancing conservatism vs computational complexity☆31Updated 3 years ago
- Robust MPC for Linear Systems with Parametric and Additive Uncertainty☆25Updated 3 years ago
- Learning-Based Efficient Approximation of Data-Enabled Predictive Control☆14Updated last year
- Code for "Learning Control-Oriented Dynamical Structure from Data" by Spencer M. Richards, Jean-Jacques Slotine, Navid Azizan, and Marco …☆16Updated last year
- Code needed to reproduce the examples found in the various works published on Distributed and Localized Model Predictive Control via Syst…☆51Updated 2 years ago
- Matlab Code base for T-RO 20 paper on robust Control Barrier Functions (CBFs) with Gaussian Process Regression for estimating the disturb…☆16Updated 3 years ago
- ☆8Updated 2 years ago
- Code needed to reproduce the examples in "Data-driven System Level Synthesis" by Anton Xue and Nikolai Matni.☆11Updated 3 years ago
- DC-TMPC: A tube-based MPC algorithm for systems that can be expressed as a difference of convex functions.☆19Updated 3 years ago
- The nonlinear MPC scheme with guaranteed maximal terminal region based stability☆10Updated 3 years ago
- Python library that implements ZPC: Zonotopic Data-Driven Predictive Control.☆11Updated 2 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 4 years ago
- The code accompanies the publication "Feedback Linearization based on Gaussian Processes with event-triggered Online Learning" by Jonas U…☆48Updated 4 years ago