boranzhao / cbf-sosLinks
Synthesis of control barrier functions with SOS
☆14Updated 2 years ago
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
- Data Driven Reachability Analysis from Noisy Data☆31Updated last year
- Tube-certified nonlinear tracking with robust control contraction metrics☆27Updated 2 years ago
- Matlab codes for safety-critical control based on a single CBF constructed from a complex combination of safety specifications. They cont…☆12Updated 6 months ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆14Updated last year
- Python code for implementing a set of basic robust model predictive control (RMPC) algorithms for linear systems.☆26Updated 3 years ago
- Neural Koopman Lyapunov Control☆25Updated 2 years ago
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆14Updated last year
- Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
- Code to reproduce examples in 'Closed-loop data-enabled predictive control' submitted to CDC 2020☆21Updated 5 years ago
- SIMBa☆12Updated 8 months ago
- ☆10Updated 7 months ago
- Control barrier functions via reduced-order models.☆12Updated last year
- Code needed to reproduce the examples in "Data-driven System Level Synthesis" by Anton Xue and Nikolai Matni.☆11Updated 3 years ago
- Learning-Based Efficient Approximation of Data-Enabled Predictive Control☆14Updated last year
- [L4DC 2025] Automatic hyperparameter tuning for DeePC. Built by Michael Cummins at the Automatic Control Laboratory, ETH Zurich.☆22Updated last month
- A sum-of-squares toolbox for stability analysis☆10Updated 10 months ago
- Matlab Code base for T-RO 20 paper on robust Control Barrier Functions (CBFs) with Gaussian Process Regression for estimating the disturb…☆17Updated 3 years ago
- Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition☆14Updated last year
- Suite of Predictive Controllers for Industrial Embedded Systems. A Matlab toolbox for automatic code generation of solvers for MPC contro…☆18Updated last week
- ☆21Updated 4 years ago
- This simulation file demonstrates a variant of Robust Tube MPC in which the initial nominal state is a decision variable. Theoretical ba…☆17Updated last year
- This repository contains the source code for "Stochastic data-driven model predictive control using Gaussian processes" (SDD-GP-MPC).☆65Updated 2 years ago
- This project is source code of paper Deep DeePC: Data-enabled predictive control with low or no online optimization using deep learning b…☆22Updated 9 months ago
- ☆19Updated 4 years ago
- The nonlinear MPC scheme with guaranteed maximal terminal region based stability☆10Updated 3 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
- A simple robust MPC for linear systems with model mismatch: Balancing conservatism vs computational complexity☆31Updated 3 years ago
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆31Updated 4 years ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated 2 years ago