DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems
☆12Jun 11, 2018Updated 8 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☆14Aug 27, 2026Updated 2 months ago
- ROS/Gazebo controller of a Quadrotor controlled by feedaback linearization and artificial potential field☆10Sep 1, 2020Updated 6 years ago
- Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"☆14Jan 29, 2024Updated 2 years ago
- ☆15Nov 27, 2020Updated 5 years ago
- Thesis for my masters in Computer Science☆11Jul 10, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ROS Interface for Novint Falcon☆11Apr 1, 2021Updated 5 years ago
- 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 7 years ago
- Robot Navigation using the Attractor Dynamics Approach: V-REP Simulation☆10Nov 4, 2018Updated 8 years ago
- This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST…☆10Aug 2, 2023Updated 3 years ago
- Python Wrapper of CppAD☆19Nov 27, 2020Updated 5 years ago
- roscpp meets c++14 now!!☆12Aug 29, 2015Updated 11 years ago
- <ROS로 배우는 로봇 프로그래밍> 리포지토리☆10Apr 14, 2017Updated 9 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
- Build WoW font packs from OpenType variable fonts.☆10Aug 2, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Master degree thesis☆13Sep 26, 2016Updated 10 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
- ☆13Mar 19, 2020Updated 6 years ago
- ROS packages to model and control the arm☆15May 27, 2019Updated 7 years ago
- ☆13Mar 2, 2018Updated 8 years ago
- Repository for reproducing `Model-Based Robust Deep Learning`☆17Jan 22, 2021Updated 5 years ago
- This repository provides the codes for implementing robust control co-design using tube-based MPC.☆15Jun 12, 2023Updated 3 years ago
- 台服伪简体工具包☆10Sep 22, 2019Updated 7 years ago
- Electric Vehicle Fast Charger: A high-performance, open-source DC off-board charger designed for rapid and efficient charging. This repos…☆10Jul 8, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆15Oct 23, 2023Updated 3 years ago
- Logseq theme based on "Based 16 Atelier Forest"☆10Jun 4, 2021Updated 5 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…☆22Nov 5, 2026Updated last week
- A set of m-files that hopefully implements the ideas given in (Lu, Li et al. 2013)☆18Apr 11, 2018Updated 8 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- TikZ 画“图”指南 讲座源码☆11Oct 31, 2020Updated 6 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
- ☆20May 7, 2024Updated 2 years ago
- This repository host the code developed during my master thesis: "Toward Robust and Resilient Cyber-Physical Systems: State awareness and…☆16Nov 5, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆16Oct 29, 2019Updated 7 years ago
- bringing back jemdoc☆10Feb 9, 2023Updated 3 years ago
- Repository of the work "Learning Adaptive Safety for Multi-agent Systems"☆17Apr 18, 2024Updated 2 years ago
- Interactive analysis of three-phase symmetrical componets (Fortescue, Clarke and Park)☆10Oct 16, 2018Updated 8 years ago
- ROS node for laser obstacle avoidance for the PR2 robot in gazebo simulations☆15Mar 30, 2013Updated 13 years ago
- course project: a simple implementation of Q learning and MPC☆20May 26, 2021Updated 5 years ago
- CitySim3D: Simulated car following benchmark☆27Dec 20, 2022Updated 3 years ago
Are these results useful?