Skip to content

@KTH-DHSG Distributed Hybrid Systems Group

Change the repository type filter

All

    Repositories list

    16 repositories

    • LTL_CANOPIES_Synchronization_master_thesis

      Public
      Master Thesis Project under the supervision of Dimos Dimarogonas, Victor Nan and Lefteris Vlahakis
      Python
      •0•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • ros_ltl2ba

      Public
      A ROS package wrapping for the LTL2BA software by Dennis Oddoux and Paul Gastin
      C
      •
      GNU General Public License v2.0
      •0•2•0•0•Updated Sep 24, 2024Sep 24, 2024

    • epic

      Public
      Epipolar Coordination package for multi-agent vision-based formation control tasks.
      Python
      •
      MIT License
      •0•1•0•0•Updated Jul 7, 2024Jul 7, 2024

    • motion_capture_system_r2

      Public
      Use the motion capture system with ros2
      C++
      •5•0•0•0•Updated Mar 25, 2024Mar 25, 2024

    • immune-system-pathogen-response

      Public
      Code for the paper "Modelling Pathogen Response of the Human Immune System in a Reduced State Space"
      Jupyter Notebook
      •
      MIT License
      •0•0•0•0•Updated Dec 12, 2023Dec 12, 2023

    • corridor_mpc

      Public
      Towards safe and optimal trajectory tracking control.
      Python
      •
      MIT License
      •6•16•0•0•Updated Oct 24, 2023Oct 24, 2023

    • ltl_automaton_core

      Public
      Python
      •4•1•0•0•Updated Oct 11, 2021Oct 11, 2021

    • motion_capture_system

      Public
      Drivers for motion capture systems (Vicon and Qualisys, can be extended to compatible with other mocap systems)
      C++
      •
      Apache License 2.0
      •47•0•0•0•Updated May 18, 2021May 18, 2021

    • sml_nexus_tutorials

      Public
      Tutorials for the Nexus robot
      Python
      •
      MIT License
      •2•0•0•0•Updated May 12, 2021May 12, 2021

    • ltl_automaton_6dof_hebi_arm

      Public
      Provides integration of the 6-DoF Hebi manipulator with LTL automaton package
      Python
      •
      MIT License
      •1•0•0•0•Updated Mar 22, 2021Mar 22, 2021

    • ltl_automaton_turtlebot

      Public
      Provides integration of Turtlebot2 with LTL automaton package
      Python
      •
      MIT License
      •1•0•0•0•Updated Mar 22, 2021Mar 22, 2021

    • coin_ms4_demo

      Public
      Contains all config files (TS and LTL specifications) and launch files for the different agents of the SSF COIN project MS4 demonstration.
      CMake
      •
      MIT License
      •1•0•0•0•Updated Mar 18, 2021Mar 18, 2021

    • sml_nexus

      Public
      SML Nexus 4WD Holonomic Robots Main Repo
      C
      •
      MIT License
      •1•0•0•0•Updated Mar 9, 2021Mar 9, 2021

    • ltl_automaton_nexus

      Public
      Allow to use Nexus 4WD mecanum robot as LTL agent of ltl_automaton_core package
      Python
      •
      MIT License
      •1•0•0•0•Updated Mar 8, 2021Mar 8, 2021

    • motion_capture_simulator

      Public
      A package to simulate a motion capture system in Gazebo. Provides the same topics as motion_capture_system
      Python
      •
      MIT License
      •1•0•0•0•Updated Nov 27, 2020Nov 27, 2020

    • sml_nexus_simulator

      Public
      ROS package of SML Nexus robot gazebo simulation
      C++
      •
      MIT License
      •1•0•0•0•Updated Aug 18, 2020Aug 18, 2020