Distributed Hybrid Systems Group's repositories
corridor_mpc
Towards safe and optimal trajectory tracking control.
ros_ltl2ba
A ROS package wrapping for the LTL2BA software by Dennis Oddoux and Paul Gastin
coin_ms4_demo
Contains all config files (TS and LTL specifications) and launch files for the different agents of the SSF COIN project MS4 demonstration.
ltl_automaton_6dof_hebi_arm
Provides integration of the 6-DoF Hebi manipulator with LTL automaton package
ltl_automaton_nexus
Allow to use Nexus 4WD mecanum robot as LTL agent of ltl_automaton_core package
ltl_automaton_turtlebot
Provides integration of Turtlebot2 with LTL automaton package
motion_capture_simulator
A package to simulate a motion capture system in Gazebo. Provides the same topics as motion_capture_system
motion_capture_system
Drivers for motion capture systems (Vicon and Qualisys, can be extended to compatible with other mocap systems)
sml_nexus
SML Nexus 4WD Holonomic Robots Main Repo
sml_nexus_simulator
ROS package of SML Nexus robot gazebo simulation
sml_nexus_tutorials
Tutorials for the Nexus robot
immune-system-pathogen-response
Code for the paper "Modelling Pathogen Response of the Human Immune System in a Reduced State Space"