xiang-yin / DPO-SYNTLinks
DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
☆11Updated 7 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:
- In this note, disturbance rejection control (DRC) based on unknown input observation (UIO), and disturbance-observer based control (DOBC)…☆29Updated 5 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆39Updated 5 years ago
- Tuning the PI controller parameters by using a contextual bandit approach☆13Updated 3 years ago
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Updated 5 years ago
- Synthesis of control barrier functions with SOS☆14Updated 2 years ago
- Implementation of Deep Q-Network（DQN）and Model Predictive Control, and their evaluation on the Quanser robot platform☆15Updated 5 years ago
- Fractional order proportional derivative controller tuner☆12Updated 6 years ago
- A fork of the Systems Polynomial Optimization Toolbox.☆31Updated 6 years ago
- Tube-certified nonlinear tracking with robust control contraction metrics☆27Updated 2 years ago
- Automatically exported from code.google.com/p/model-predictive-control☆16Updated 9 years ago
- A. Selivanov and E. Fridman, "Observer-based input-to-state stabilization of networked control systems with large uncertain delays," Auto…☆12Updated 8 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆13Updated last year
- MPC for quadcopter with hanging load☆13Updated 6 years ago
- ILQR and MPC Control of Swarms using Random Finite Set Theory☆13Updated 5 years ago
- Generate taylored code for Differential Dynamic Programming (DDP) aka Iterative Linear Quadratic Gaussian (iLQG) solvers for finite time …☆15Updated 7 years ago
- ☆17Updated 4 years ago
- MIT 16.S498 Graduate Course: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆64Updated 5 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
- MPC drone with flight constraints☆11Updated 5 years ago
- Exact Verification of ReLU Neural Control Barrier Functions☆10Updated last year
- 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
- Library for simulation of nonlinear control systems, control design, and Lyapunov-based learning.☆41Updated 2 years ago
- Derivation and implementation of continuous-time finite-horizon Linear Quadratic Regulator☆27Updated 9 years ago
- MPsee toolbox is an automatic MATLAB tool for building Nonlinear Model Predictive Controllers☆10Updated 8 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
- Planner for Markov Decision Processes with Temporal Goals☆22Updated 3 years ago
- Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems☆13Updated 5 years ago
- Fault diagnosis and fault-tolerant control of dynamic systems, experiment 1☆12Updated 5 years ago
- Lyapunov-stable Neural Control for State and Output Feedback☆74Updated last year
- Adjoint-based Predictor Corrector Sequential Convex Programming in Nonlinear Model Predictive Control - Source Code for Car Model☆14Updated 9 years ago