Distributed Hybrid Systems Group
A group of KTH Division of Decision and Control Systems. PI: Dimos Dimarogonas
Stockholm, Sweden
Pinned Repositories
corridor_mpc
Towards safe and optimal trajectory tracking control.
ltl_automaton_6dof_hebi_arm
Provides integration of the 6-DoF Hebi manipulator with LTL automaton package
ltl_automaton_core
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)
motion_capture_system_r2
Use the motion capture system with ros2
ros_ltl2ba
A ROS package wrapping for the LTL2BA software by Dennis Oddoux and Paul Gastin
sml_nexus_simulator
ROS package of SML Nexus robot gazebo simulation
Distributed Hybrid Systems Group's Repositories
KTH-DHSG/corridor_mpc
Towards safe and optimal trajectory tracking control.
KTH-DHSG/ltl_automaton_core
KTH-DHSG/ros_ltl2ba
A ROS package wrapping for the LTL2BA software by Dennis Oddoux and Paul Gastin
KTH-DHSG/epic
Epipolar Coordination package for multi-agent vision-based formation control tasks.
KTH-DHSG/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.
KTH-DHSG/ltl_automaton_6dof_hebi_arm
Provides integration of the 6-DoF Hebi manipulator with LTL automaton package
KTH-DHSG/ltl_automaton_nexus
Allow to use Nexus 4WD mecanum robot as LTL agent of ltl_automaton_core package
KTH-DHSG/ltl_automaton_turtlebot
Provides integration of Turtlebot2 with LTL automaton package
KTH-DHSG/LTL_CANOPIES_Synchronization_master_thesis
Master Thesis Project under the supervision of Dimos Dimarogonas, Victor Nan and Lefteris Vlahakis
KTH-DHSG/motion_capture_simulator
A package to simulate a motion capture system in Gazebo. Provides the same topics as motion_capture_system
KTH-DHSG/motion_capture_system
Drivers for motion capture systems (Vicon and Qualisys, can be extended to compatible with other mocap systems)
KTH-DHSG/motion_capture_system_r2
Use the motion capture system with ros2
KTH-DHSG/sml_nexus
SML Nexus 4WD Holonomic Robots Main Repo
KTH-DHSG/sml_nexus_simulator
ROS package of SML Nexus robot gazebo simulation
KTH-DHSG/sml_nexus_tutorials
Tutorials for the Nexus robot
KTH-DHSG/immune-system-pathogen-response
Code for the paper "Modelling Pathogen Response of the Human Immune System in a Reduced State Space"