xiang-yin / DPO-SYNTView external linksLinks
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
Sorting:
- Integrated Discrete-Event Systems Software☆13Apr 22, 2023Updated 2 years ago
- ROS/Gazebo controller of a Quadrotor controlled by feedaback linearization and artificial potential field☆10Sep 1, 2020Updated 5 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
- 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
- Stabilizable Nonlinear Dynamics Learning☆23Oct 10, 2019Updated 6 years ago
- ☆24Jan 20, 2022Updated 4 years ago
- Tube-certified nonlinear tracking with robust control contraction metrics☆29Aug 28, 2023Updated 2 years ago
- ☆28Dec 14, 2022Updated 3 years ago
- CitySim3D: Simulated car following benchmark☆27Dec 20, 2022Updated 3 years ago
- About fuzzy logic using the Maxwell's pendulum☆13Aug 12, 2023Updated 2 years ago
- Code for the UAV payload☆10Jun 16, 2017Updated 8 years ago
- A Benchmark Model Simulator for Process Control and Monitoring☆10Apr 17, 2025Updated 10 months ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- ROS Interface for Novint Falcon☆11Apr 1, 2021Updated 4 years ago
- 基于OpenMV和Arduino的拾球移动机器人☆11Aug 30, 2020Updated 5 years ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- DSP TMS320F28335 C Code for Three Phase VSI☆42Feb 19, 2023Updated 2 years ago
- Effinformer: A Deep-Learning-Based Data-Driven Modeling of DC–DC Bidirectional Converters (Published in: IEEE Transactions on Instrumenta…☆11May 9, 2024Updated last year
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- Code for our RSS'21 paper: "Hamiltonian-based Neural ODE Networks on the SE(3) Manifold For Dynamics Learning and Control"☆49Aug 1, 2023Updated 2 years ago
- ☆11Oct 29, 2020Updated 5 years ago
- Codes used for generating the results in the paper "Geometric Adaptive Controls of a Quadrotor UAV with Decoupled Attitude Dynamics"☆18Sep 27, 2020Updated 5 years ago
- ☆12Jul 26, 2024Updated last year
- xDEVS: A cross-platform Discrete EVent System simulator☆14Nov 14, 2025Updated 3 months ago
- 200W 铝基板加热台控制器，具备PID控制，PWM输出，卡尔曼滤波☆11Oct 30, 2022Updated 3 years ago
- A linearizability checker for concurrent data structures☆12Aug 3, 2023Updated 2 years ago
- MPsee toolbox is an automatic MATLAB tool for building Nonlinear Model Predictive Controllers☆10Oct 5, 2017Updated 8 years ago
- ☆11Jun 1, 2017Updated 8 years ago
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- Implementation of a Research Paper on MOD-RRT* - A Sampling Based Algorithm for Robot Path Planning in Dynamic Environment☆10May 19, 2022Updated 3 years ago
- Sequence Planner☆12Nov 17, 2017Updated 8 years ago
- PX4 and SITL/jMAVSim simulation for the ICUAS 2020 conference paper submission 'Disturbance Observer-Based Integral Backstepping Control…☆11Aug 5, 2020Updated 5 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Matlab and C++ code for implementation of the Extended Kalman Filter for estimating dynamic quantities for a single rigid body with distr…☆40Jan 8, 2016Updated 10 years ago
- Safe learning of regions of attraction in uncertain, nonlinear systems with Gaussian processes☆39Nov 30, 2019Updated 6 years ago
- Netlist and Verilog Haskell Package☆18Nov 21, 2010Updated 15 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Oct 14, 2025Updated 4 months ago