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
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Updated 4 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆38Updated 5 years ago
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆20Updated 4 years ago
- ☆15Updated 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
- Synthesis of control barrier functions with SOS☆13Updated last year
- Tube-certified nonlinear tracking with robust control contraction metrics☆25Updated last year
- Planner for Markov Decision Processes with Temporal Goals☆20Updated 2 years ago
- Implementation of Deep Q-Network（DQN）and Model Predictive Control, and their evaluation on the Quanser robot platform☆14Updated 4 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆12Updated last year
- A trajectory optimization algorithm that doesn't require dynamics derivatives☆36Updated 8 years ago
- This repository contains the source code for "Stochastic data-driven model predictive control using Gaussian processes" (SDD-GP-MPC).☆50Updated last year
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated last year
- Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems☆13Updated 5 years ago
- Stochastic Optimal Control and Reachability Toolbox Written in Python☆14Updated last year
- ETH Model Predictive Control Course☆15Updated 4 years ago
- ILQR and MPC Control of Swarms using Random Finite Set Theory☆13Updated 5 years ago
- Tuning the PI controller parameters by using a contextual bandit approach☆11Updated 3 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 3 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆13Updated last year
- Matlab interface for OSQP☆48Updated last week
- An Efficient Convex Optimization-based Framework for Signal Temporal Logic (STL) Specifications☆14Updated last year
- In this note, disturbance rejection control (DRC) based on unknown input observation (UIO), and disturbance-observer based control (DOBC)…☆28Updated 4 years ago
- [IROS 22'] Model-free Neural Lyapunov Control☆22Updated 2 years ago
- MIT 16.S498: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆65Updated 2 years ago
- Learning Control Lyapunov Functions to Stabilize the Trajectories of Dynamical Systems.☆12Updated 2 years ago
- Files for my Nonlinear Systems and Controls class.☆25Updated 6 years ago
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆13Updated 2 years ago
- Dynamic Programming and Optimal Control (151-0563-01) Fall 2019 Programming Exercise☆17Updated 5 years ago
- "Iterative Convex Optimization for Model Predictive Control with Discrete-Time High-Order Control Barrier Functions" by S. Liu, J. Zeng, …☆12Updated 2 years ago