Integrated Discrete-Event Systems Software
☆13Apr 22, 2023Updated 2 years ago
Alternatives and similar repositories for IDES
Users that are interested in IDES are comparing it to the libraries listed below
Sorting:
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 7 years ago
- This is the repository for valuing individual players within pressing situation in football with symbolic regression methods.☆14Mar 12, 2025Updated 11 months ago
- A growing collection of college basketball visualizations and their source code☆14Dec 30, 2023Updated 2 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 2 years ago
- Master degree thesis☆13Sep 26, 2016Updated 9 years ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- A lightweight RL environment for query optimization.☆16Sep 13, 2024Updated last year
- A classification of whether or not to wear a mask.☆12Oct 12, 2020Updated 5 years ago
- Disassembly Generation and Processing for JARV1S☆15Jul 15, 2025Updated 7 months ago
- TikZ 画“图”指南 讲座源码☆11Oct 31, 2020Updated 5 years ago
- bringing back jemdoc☆10Feb 9, 2023Updated 3 years ago
- Parallel and Multicore Computing Project 2☆12Apr 16, 2020Updated 5 years ago
- Relevant codes of the paper ``Adaptive Parameterized Model Predictive Control Based on Reinforcement Learning: A Synthesis Framework"☆15Mar 4, 2024Updated 2 years ago
- A tiny inverter that can run all kinds of algorithms including grid on, grid off, parallel mode, .. PR, DQ, phase lock, ... in LOW VOLTAG…☆18Nov 8, 2023Updated 2 years ago
- NL2Flow: A PDDL Interface to Flow Construction☆14Dec 4, 2025Updated 3 months ago
- Personal Website Generated by Jemdoc☆12Jan 10, 2026Updated last month
- 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
- Classes LaTeX para documentos do CIn☆13Dec 26, 2020Updated 5 years ago
- ☆21Dec 19, 2025Updated 2 months ago
- A ROS/Python API for controlling and managing the Franka Emika Panda robot. Contains exposed controllers for the robot (joint position, v…☆13Oct 27, 2024Updated last year
- A command line tool to scrape album cover from apple music preview page.☆13Dec 8, 2022Updated 3 years ago
- ☆17Oct 14, 2025Updated 4 months ago
- 华为校招笔试题☆15Mar 24, 2017Updated 8 years ago
- Implementation of Deep Learning for Predicting Human Strategic Behavior☆15Apr 6, 2017Updated 8 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- ☆14May 7, 2021Updated 4 years ago
- ☆18Feb 11, 2026Updated 3 weeks ago
- This repository provides the codes for implementing robust control co-design using tube-based MPC.☆15Jun 12, 2023Updated 2 years ago
- Selected Online Courses☆14Jan 15, 2020Updated 6 years ago
- ☆15Nov 27, 2020Updated 5 years ago
- 北京大学博士后研究工作报告 LaTeX 模板☆22Mar 13, 2023Updated 2 years ago
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆15Oct 23, 2023Updated 2 years ago
- Port of the Hubner Inverter to the TI C2000 architecture used by Tesla inverters.☆21Mar 3, 2023Updated 3 years ago
- This repository host the code developed during my master thesis: "Toward Robust and Resilient Cyber-Physical Systems: State awareness and…☆15Nov 5, 2024Updated last year
- golangで実装したttLibCのwrapper、エンコード・デコードとかやります。☆16Oct 3, 2019Updated 6 years ago
- ☆20May 7, 2024Updated last year
- SOGI-PLL,软件锁相环,基于C2000dsp,TMS320F28069☆18Jul 24, 2022Updated 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