DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
☆12Jun 11, 2018Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Integrated Discrete-Event Systems Software☆13Apr 22, 2023Updated 2 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆14Jan 29, 2024Updated 2 years ago
- ROS/Gazebo controller of a Quadrotor controlled by feedaback linearization and artificial potential field☆10Sep 1, 2020Updated 5 years ago
- Python Wrapper of CppAD☆20Nov 27, 2020Updated 5 years ago
- ☆15Nov 27, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- This project is an implementation of a physical dynamics environment which can be controlled via OSC, so that audio projects such as Pure…☆16May 8, 2019Updated 6 years ago
- ROS Interface for Novint Falcon☆11Apr 1, 2021Updated 5 years ago
- Thesis for my masters in Computer Science☆11Jul 10, 2017Updated 8 years ago
- Master degree thesis☆13Sep 26, 2016Updated 9 years ago
- roscpp meets c++14 now!!☆12Aug 29, 2015Updated 10 years ago
- ROS packages to model and control the arm☆14May 27, 2019Updated 6 years ago
- Build WoW font packs from OpenType variable fonts.☆10Aug 2, 2021Updated 4 years ago
- Relevant codes of the paper ``Adaptive Parameterized Model Predictive Control Based on Reinforcement Learning: A Synthesis Framework"☆16Mar 4, 2024Updated 2 years ago
- This pacakge uses the Clearpath Husky robot model as the basis for a FormulaPi racing series simulation environment☆15Jan 18, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST…☆10Aug 2, 2023Updated 2 years ago
- ☆13Mar 2, 2018Updated 8 years ago
- ☆14Mar 19, 2020Updated 6 years ago
- This is the repository for formation control with multi-agent systems implementing custom contour shapes and heterogenous swarms☆11Dec 19, 2016Updated 9 years ago
- This repository includes different versions of the prescribed-time controller as Simulink blocks and MATLAB script codes for engineering …☆19Dec 20, 2021Updated 4 years ago
- Repository for reproducing `Model-Based Robust Deep Learning`☆16Jan 22, 2021Updated 5 years ago
- ☆16Oct 29, 2019Updated 6 years ago
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆15Oct 23, 2023Updated 2 years ago
- ☆20May 7, 2024Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- this repo is about path tracking using an algorithm called follow the carrot, the simulation environment used was Vrep and the all the al…☆19Apr 16, 2018Updated 7 years ago
- This repository provides the codes for implementing robust control co-design using tube-based MPC.☆15Jun 12, 2023Updated 2 years ago
- Repository of the work "Learning Adaptive Safety for Multi-agent Systems"☆16Apr 18, 2024Updated last year
- ROS node for laser obstacle avoidance for the PR2 robot in gazebo simulations☆15Mar 30, 2013Updated 13 years ago
- A set of m-files that hopefully implements the ideas given in (Lu, Li et al. 2013)☆18Apr 11, 2018Updated 7 years ago
- Conformal Bayes with importance sampling☆23Oct 25, 2021Updated 4 years ago
- Automatic bibtex generation from a file list, auto formatting, etc.☆25Sep 21, 2020Updated 5 years ago
- course project: a simple implementation of Q learning and MPC☆19May 26, 2021Updated 4 years ago
- 台服伪简体工具包☆10Sep 22, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- CitySim3D: Simulated car following benchmark☆27Dec 20, 2022Updated 3 years ago
- Stabilizable Nonlinear Dynamics Learning☆23Oct 10, 2019Updated 6 years ago
- ☆21Oct 16, 2023Updated 2 years ago
- bringing back jemdoc☆10Feb 9, 2023Updated 3 years ago
- UltraDES is a library for modeling, analysis and control of Discrete Event Systems. It has been developed at LACSED | UFMG (http://www.la…☆21Feb 6, 2025Updated last year
- ☆28Dec 14, 2022Updated 3 years ago
- TikZ 画“图”指南 讲座源码☆11Oct 31, 2020Updated 5 years ago