xiang-yin / DPO-SYNT
DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
☆11Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for DPO-SYNT
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆17Updated 4 years ago
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆11Updated 4 years ago
- Planner for Markov Decision Processes with Temporal Goals☆20Updated 2 years ago
- Tube-certified nonlinear tracking with robust control contraction metrics☆23Updated last year
- Chance-Constrained Sequential Convex Programming for Robust Trajectory Optimization☆23Updated 3 years ago
- ☆14Updated 3 years ago
- Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition☆12Updated 5 months ago
- MIT 16.S498: Risk Aware and Robust Nonlinear Planning (rarnop) by Ashkan Jasour☆64Updated 2 years ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated last year
- A fork of the Systems Polynomial Optimization Toolbox.☆28Updated 6 years ago
- Automatically exported from code.google.com/p/model-predictive-control☆14Updated 8 years ago
- Matlab Code base for T-RO 20 paper on robust Control Barrier Functions (CBFs) with Gaussian Process Regression for estimating the disturb…☆12Updated 3 years ago
- Adaptive control-oriented meta-learning for nonlinear systems☆54Updated 3 years ago
- PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL☆17Updated last week
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆38Updated 4 years ago
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆56Updated last year
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago
- MPC with trust-based CBF constraints for safe robot navigation of autonmous systems☆10Updated 7 months ago
- Synthesis of control barrier functions with SOS☆11Updated last year
- ☆12Updated 2 years ago
- Data Driven Reachability Analysis from Noisy Data☆21Updated 7 months ago
- MPC for quadcopter with hanging load☆10Updated 5 years ago
- ILQR and MPC Control of Swarms using Random Finite Set Theory☆13Updated 4 years ago
- Repository for computing the probability distribution of an optimal control problem☆11Updated 3 years ago
- ☆35Updated 5 months ago
- Matlab interface for OSQP☆42Updated 7 months ago
- ☆37Updated 8 months ago
- Implementation of Deep Q-Network（DQN）and Model Predictive Control, and their evaluation on the Quanser robot platform☆11Updated 4 years ago
- Using Differential Dynamic Programming (DDP) to control various dynamical systems.☆21Updated 4 years ago
- Code to reproduce results in peer-reviewed publications☆14Updated 10 months ago