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)
☆21Feb 6, 2025Updated last year
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:
- Integrated Discrete-Event Systems Software☆13Apr 22, 2023Updated 3 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
- ROS Interface for Novint Falcon☆11Apr 1, 2021Updated 5 years ago
- ROS packages to model and control the arm☆14May 27, 2019Updated 6 years ago
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 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.
- 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 2, 2018Updated 8 years ago
- ☆14Mar 19, 2020Updated 6 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
- Use maven-assembly-plugin to package a spring boot project into a non-fat jar☆10Jul 24, 2017Updated 8 years ago
- ☆16Oct 29, 2019Updated 6 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
- A library used to merge the event loops of ros2 and qt☆30Dec 3, 2025Updated 5 months ago
- The DQ Robotics library in MATLAB☆27May 21, 2025Updated 11 months 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.
- The DQ Robotics library in Python☆31Apr 9, 2026Updated last month
- Formation control of multiple drone based on consensus.☆21Oct 31, 2016Updated 9 years ago
- Files related to using the Xiaomi Yi camera on the 3DR Solo☆24Dec 7, 2015Updated 10 years ago
- AMPL model for the dependable dynamic vehicle routing problem, published in RSSRail 2017☆10Jul 16, 2020Updated 5 years ago
- BlackStar is a general APS (advanced planning & scheduling) model and algorithm solution for various industries including aerospace missi…☆26Mar 17, 2026Updated last month
- 爬专利局的数据☆11Aug 10, 2015Updated 10 years ago
- Mathematica software for DH frames, Forward & Inverse Kinematics, Robot Animations, and Jacobians, etc.☆22May 8, 2019Updated 7 years ago
- FPBH: A Feasibility Pump based Heuristic for Multi-objective Mixed Integer Linear Programming☆14Apr 29, 2026Updated last week
- MATLAB Simulator for localizing a mobile wireless device using RSSI-Distance estimation.☆27Feb 23, 2017Updated 9 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.
- ROS package for decentralized formation control with obstacle avoidance and connectivity maintenance☆25Nov 16, 2015Updated 10 years ago
- openpilot traffic lights and signs recognition paper☆15Apr 1, 2019Updated 7 years ago
- Unsupervised Generation of a Viewpoint Annotated Car Dataset from Videos☆19Jan 10, 2024Updated 2 years ago
- Hardware and support package for the PhantomX Pincher robot arm☆25Sep 22, 2017Updated 8 years ago
- 智能停车场收费系统☆17Sep 6, 2022Updated 3 years ago
- this repository contains some useful matlab simulınk files for uav sensors simulation , kalman filter propogation and autopilot implement…☆39Feb 6, 2023Updated 3 years ago
- 毕业设计项目（基于opencv车牌识别的停车场收费系统）☆12Jul 16, 2022Updated 3 years ago
- Tobii Eye Tracker 4C Setup☆38Feb 25, 2021Updated 5 years ago
- Winter Project at Northwestern.☆42Apr 14, 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.
- 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
- A tool for symulating discrete-event systems using Petri nets.☆20Dec 18, 2016Updated 9 years ago
- 使用Qt，Mysql实现。包括预约停车，会员办理，充值缴费等功能（YSU 18级计科 软件工程与数据库课程设计）☆13Feb 20, 2021Updated 5 years ago
- This is a framework to control a swarm of quadcopters simulated in V-Rep by using ROS. Paths are planned with algorithms that make use of…☆49May 20, 2016Updated 9 years ago
- ☆17Dec 23, 2024Updated last year
- Visual odometry based on Intel® RealSense™ devices☆51Oct 24, 2019Updated 6 years ago
- 2019年个税新政策，起征点提升为5000后，年累进制算法一次性计算当年所有月份工资☆11Sep 15, 2022Updated 3 years ago