xiang-yin / DPO-SYNT
DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
☆11Updated 6 years ago
Alternatives and similar repositories for DPO-SYNT
Users that are interested in DPO-SYNT are comparing it to the libraries listed below
Sorting:
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆21Updated 4 years ago
- Tube-certified nonlinear tracking with robust control contraction metrics☆26Updated last year
- ETH Model Predictive Control Course☆15Updated 5 years ago
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Updated 4 years ago
- ☆9Updated 3 years ago
- MPC drone with flight constraints☆10Updated 5 years ago
- ☆16Updated 4 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆12Updated last year
- In this note, disturbance rejection control (DRC) based on unknown input observation (UIO), and disturbance-observer based control (DOBC)…☆28Updated 5 years ago
- Synthesis of control barrier functions with SOS☆13Updated last year
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆27Updated 4 years ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated last year
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Updated 2 years ago
- Segway Simulation Environment☆10Updated 4 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
- Data Driven Reachability Analysis from Noisy Data☆27Updated last year
- Repository containing all the files used for the simulation results of the paper 'Model Predictive Tracking Controller for Quadcopters wi…☆15Updated 5 years ago
- ☆9Updated 4 years ago
- Tuning the PI controller parameters by using a contextual bandit approach☆12Updated 3 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆39Updated 5 years ago
- Published in Nature Communications: Model-free tracking control of complex dynamical trajectories with machine learning.☆26Updated 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
- Matlab class/functions to simulate a system implementing a control Lyapunov-control barrier function quadratic program controller.☆43Updated last year
- This repository contains the source code for "Stochastic data-driven model predictive control using Gaussian processes" (SDD-GP-MPC).☆51Updated 2 years ago
- Minimal package for operations on polytopes, zonotopes, and invariant sets.☆45Updated 4 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
- Derivation and implementation of continuous-time finite-horizon Linear Quadratic Regulator☆27Updated 9 years ago
- ☆23Updated 3 years ago
- Implementation of Deep Q-Network（DQN）and Model Predictive Control, and their evaluation on the Quanser robot platform☆15Updated 4 years ago
- Codebase associated with paper "Memory-Efficient Learning of Stable Linear Dynamical Systems for Prediction and Control"☆24Updated 4 years ago