UltraDES is a library for modeling, analysis and control of Discrete Event Systems. It has been developed at LACSED | UFMG (http://www.lacsed.eng.ufmg.br)
☆21Jul 12, 2026Updated 2 weeks ago
Alternatives and similar repositories for UltraDES
Users that are interested in UltraDES are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Esse é um bot simples escrito em Python 3.8 com a função de tweetar todo dia dizendo quantos dias faltam para as férias na Universidade d…☆10Aug 4, 2025Updated 11 months ago
- Integrated Discrete-Event Systems Software☆14May 15, 2026Updated 2 months ago
- Thesis for my masters in Computer Science☆11Jul 10, 2017Updated 9 years ago
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 8 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ROS Interface for Novint Falcon☆11Apr 1, 2021Updated 5 years ago
- Tool to create sidecar YAML notefiles☆13Jun 21, 2026Updated last month
- keyboard-layout pools all the needed files to set up my custom XKB keyboard layout (takbl) on Linux Ubuntu.☆13Feb 5, 2024Updated 2 years ago
- roscpp meets c++14 now!!☆12Aug 29, 2015Updated 10 years ago
- ROS packages to model and control the arm☆15May 27, 2019Updated 7 years ago
- New Personal Website/Blog Built with React and Firebase☆11Nov 14, 2017Updated 8 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
- ROS/Gazebo controller of a Quadrotor controlled by feedaback linearization and artificial potential field☆10Sep 1, 2020Updated 5 years ago
- ☆31Apr 2, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This pacakge uses the Clearpath Husky robot model as the basis for a FormulaPi racing series simulation environment☆15Jan 18, 2017Updated 9 years ago
- Autoclicker program for Stronghold Crusader. Sends Win API messages to the game window.☆12Jun 21, 2020Updated 6 years ago
- ROS Package for Constrained Mobile Manipulation Planning☆14Mar 29, 2017Updated 9 years ago
- A Collection of tools to work with PlcOpen projects, mainly the XML project files☆12Aug 11, 2017Updated 8 years ago
- ☆13Mar 2, 2018Updated 8 years ago
- Implementation of a group of metaheuristics in C#☆27Jun 9, 2021Updated 5 years ago
- ☆14Mar 19, 2020Updated 6 years ago
- A metro/subway flow simulation.☆17Nov 25, 2023Updated 2 years ago
- Repository collecting the code for papers and projects at our control group at University of Salerno (lead contact: Giovanni Russo)☆14Apr 6, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A discrete event simulation (DES) engine heavily based on the paradigm introduced by Simula and SimPy.☆13Jan 2, 2021Updated 5 years ago
- Use maven-assembly-plugin to package a spring boot project into a non-fat jar☆10Jul 24, 2017Updated 9 years ago
- ☆16Oct 29, 2019Updated 6 years ago
- GPdotNET is an open source computer program for running tree based genetic programming.☆17Mar 13, 2024Updated 2 years ago
- Vzenith Tcp SDK Opensrouce☆10May 29, 2016Updated 10 years ago
- wrench: a CLI tool for Passbolt☆20Jul 4, 2022Updated 4 years ago
- 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 8 years ago
- Simple example using the GraphQL (a query language for an API). In this example I am using with Node.js + Express.js, and a fake data in …☆10Apr 1, 2022Updated 4 years ago
- The code of paper "Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming." published on …☆10Apr 27, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ROS node for laser obstacle avoidance for the PR2 robot in gazebo simulations☆15Mar 30, 2013Updated 13 years ago
- Group-Group Loss Based Global-Regional Feature Learning for Vehicle Re-Identification☆12May 10, 2022Updated 4 years ago
- 小米r3gv2 lede的编译固件☆10Feb 3, 2021Updated 5 years ago
- Deploy Django projects generated by liip/django-template with Ansible☆17Mar 29, 2022Updated 4 years ago
- 📚 Papers & tech blogs by companies sharing their work on data science & machine learning in production.☆15Feb 4, 2021Updated 5 years ago
- Markov Decision Making☆22Aug 15, 2016Updated 9 years ago
- Programação e Desenvolvimento de Software 2☆44Jul 5, 2023Updated 3 years ago