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 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
- Control Of Mobile Robotics Using Barrier Functions And Temporal Logic☆20Updated 4 years ago
- MATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)☆12Updated 4 years ago
- Code for "Differentially Flat Learning-based Model Predictive Control Using a Stability, State, and Input Constraining Safety Filter"☆20Updated last year
- ☆15Updated 4 years ago
- Tuning the PI controller parameters by using a contextual bandit approach☆11Updated 3 years ago
- Fractional order proportional derivative controller tuner☆11Updated 5 years ago
- Derivation and implementation of continuous-time finite-horizon Linear Quadratic Regulator☆27Updated 9 years ago
- PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL☆20Updated last week
- Planner for Markov Decision Processes with Temporal Goals☆20Updated 2 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆12Updated last year
- MPC drone with flight constraints