Integrated Discrete-Event Systems Software
☆13May 15, 2026Updated last week
Alternatives and similar repositories for IDES
Users that are interested in IDES are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 7 years ago
- Classes LaTeX para documentos do CIn☆13Dec 26, 2020Updated 5 years ago
- A growing collection of college basketball visualizations and their source code☆14Dec 30, 2023Updated 2 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
- This is the repository for valuing individual players within pressing situation in football with symbolic regression methods.☆14Mar 12, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14May 7, 2021Updated 5 years ago
- Disassembly Generation and Processing for JARV1S☆15Jul 15, 2025Updated 10 months ago
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- NL2Flow: A PDDL Interface to Flow Construction☆15Dec 4, 2025Updated 5 months ago
- Master degree thesis☆13Sep 26, 2016Updated 9 years ago
- like Java, but less so☆17Jan 18, 2016Updated 10 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
- Parallel and Multicore Computing Project 2☆12Apr 16, 2020Updated 6 years ago
- ☆31Apr 2, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- ☆21Apr 27, 2026Updated 3 weeks ago
- golangで実装したttLibCのwrapper、エンコード・デコードとかやります。☆16Oct 3, 2019Updated 6 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- ☆15Nov 27, 2020Updated 5 years ago
- Backtesting team-strength models☆21Jun 2, 2024Updated last year
- A command line tool to scrape album cover from apple music preview page.☆15Dec 8, 2022Updated 3 years ago
- Enrollment plugin with Mercado Pago☆31Jan 24, 2026Updated 4 months 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- My Java codes for the MOA framework. It includes the implementations of FHDDM, FHDDMS, and MDDMs.☆24Apr 24, 2021Updated 5 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- A modular collection of game libraries for Python and/or C++.☆20Feb 25, 2018Updated 8 years ago
- A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints☆15Oct 23, 2023Updated 2 years ago
- Implementation of Deep Learning for Predicting Human Strategic Behavior☆15Apr 6, 2017Updated 9 years ago
- ☆20May 7, 2024Updated 2 years ago
- This repository provides the codes for implementing robust control co-design using tube-based MPC.☆15Jun 12, 2023Updated 2 years ago
- A set of m-files that hopefully implements the ideas given in (Lu, Li et al. 2013)☆18Apr 11, 2018Updated 8 years ago
- course project: a simple implementation of Q learning and MPC☆19May 26, 2021Updated 4 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.
- A lightweight RL environment for query optimization.☆16Sep 13, 2024Updated last year
- REGEL: Regular Expression Generation from Examples and Language☆36Jul 11, 2022Updated 3 years ago
- ☆21Oct 16, 2023Updated 2 years ago
- bringing back jemdoc☆10Feb 9, 2023Updated 3 years ago
- TikZ 画“图”指南 讲座源码☆11Oct 31, 2020Updated 5 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
- ☆26Mar 14, 2024Updated 2 years ago