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 2 years ago
- ROS Interface for Novint Falcon☆11Apr 1, 2021Updated 4 years ago
- Thesis for my masters in Computer Science☆11Jul 10, 2017Updated 8 years ago
- roscpp meets c++14 now!!☆12Aug 29, 2015Updated 10 years ago
- DPO-SYNT: Discrete Control Synthesis for Partially-Observed Systems☆12Jun 11, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆31Apr 2, 2024Updated last year
- 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
- ☆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 9 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 7 years ago
- Apache RocketMQ lite cpp client☆11Jul 22, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Markov Decision Making☆22Aug 15, 2016Updated 9 years ago
- Files related to using the Xiaomi Yi camera on the 3DR Solo☆24Dec 7, 2015Updated 10 years ago
- UAV formation control based on hector quadrotor, ROS☆23Mar 19, 2015Updated 11 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 week
- Mathematica software for DH frames, Forward & Inverse Kinematics, Robot Animations, and Jacobians, etc.☆22May 8, 2019Updated 6 years ago
- MATLAB Simulator for localizing a mobile wireless device using RSSI-Distance estimation.☆27Feb 23, 2017Updated 9 years ago
- A basic example of using ManagedCUDA via C# to execute logic on the GPU☆32May 9, 2016Updated 9 years ago
- ROS package for decentralized formation control with obstacle avoidance and connectivity maintenance☆25Nov 16, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An application for solving vehicle routing problems with time windows (VRPTW)☆29Jan 20, 2016Updated 10 years ago
- Jianan Zhao, Fengliang Qi, GuangYu Ren, Lin Xu*. PhD Learning: Learning with Pompeiu-hausdorff Distances for Video-based Person Re-Identi…☆16Apr 12, 2021Updated 4 years ago
- this repository contains some useful matlab simulınk files for uav sensors simulation , kalman filter propogation and autopilot implement…☆37Feb 6, 2023Updated 3 years ago
- Tobii Eye Tracker 4C Setup☆38Feb 25, 2021Updated 5 years ago
- Python utilities used by the Personal Robotics Laboratory.☆65Jan 23, 2021Updated 5 years ago
- Online Book "Introduction to ROS" in Korean☆46Sep 5, 2017Updated 8 years ago
- Keras implementation of "DFNet: Discriminative feature extraction and integration network for salient object detection"☆23Jan 5, 2021Updated 5 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
- A tool for symulating discrete-event systems using Petri nets.☆19Dec 18, 2016Updated 9 years ago
- 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.
- ☆23Jan 19, 2023Updated 3 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
- PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.☆12Mar 20, 2021Updated 5 years ago
- A repository for PIXHAWK open source code running on ROS☆57Apr 8, 2016Updated 9 years ago
- A Collection of Project Wizard for Qt Creator☆19Aug 3, 2019Updated 6 years ago
- 2019年个税新政策，起征点提升为5000后，年累进制算法一次性计算当年所有月份工资☆11Sep 15, 2022Updated 3 years ago