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
 - Matlab codes for safety-critical control based on a single CBF constructed from a complex combination of safety specifications. They cont…☆15Updated 7 months ago
 - Tube-certified nonlinear tracking with robust control contraction metrics☆27Updated 2 years ago
 - Neural Koopman Lyapunov Control☆25Updated 2 years ago
 - Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆14Updated last year
 - Solving a constrained robust optimal control problem with uncertain neural network dynanmics through convex optimization.☆11Updated last year
 - Python code for implementing a set of basic robust model predictive control (RMPC) algorithms for linear systems.☆26Updated 3 years ago
 - Code to reproduce examples in 'Closed-loop data-enabled predictive control' submitted to CDC 2020☆21Updated 5 years ago
 - Data Driven Reachability Analysis from Noisy Data☆34Updated last year
 - Control barrier functions via reduced-order models.☆12Updated last year
 - [L4DC 2025] Automatic hyperparameter tuning for DeePC. Built by Michael Cummins at the Automatic Control Laboratory, ETH Zurich.☆22Updated last month
 - SIMBa☆12Updated 8 months ago
 - ☆10Updated 8 months ago
 - A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆14Updated 2 years ago
 - A sum-of-squares toolbox for stability analysis☆10Updated 10 months ago
 - This project is source code of paper Deep DeePC: Data-enabled predictive control with low or no online optimization using deep learning b…☆23Updated 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…☆18Updated 3 years ago
 - Suite of Predictive Controllers for Industrial Embedded Systems. A Matlab toolbox for automatic code generation of solvers for MPC contro…☆18Updated last month
 - This repository contains the source code for "Stochastic data-driven model predictive control using Gaussian processes" (SDD-GP-MPC).☆65Updated 2 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
 - Tube-Based Zonotopic Data Driven Predictive Control☆10Updated 2 years ago
 - The nonlinear MPC scheme with guaranteed maximal terminal region based stability☆10Updated 4 years ago
 - Learning-Based Efficient Approximation of Data-Enabled Predictive Control☆15Updated last year
 - Code needed to reproduce the examples in "Data-driven System Level Synthesis" by Anton Xue and Nikolai Matni.☆11Updated 3 years ago
 - code of paper "Robust and kernelized data-enabled predictive control for nonlinear systems"☆17Updated 2 years ago
 - Repository for Koopman based learning and nonlinear control☆49Updated 2 years ago
 - DC-TMPC: A tube-based MPC algorithm for systems that can be expressed as a difference of convex functions.☆21Updated 3 years ago
 - ☆24Updated last year
 - Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition