Methods and Tools for Distributed Hybrid Systems - DHS
International Working Group

About

The purpose of the DHS Working Group is to connect researchers working in real-time systems, hybrid systems, control theory, distributed computing, and concurrency theory, in order to advance the subject of distributed hybrid systems.

Distributed hybrid systems, or distributed cyber-physical systems, are abundant. Many of them are safety-critical, but ensuring their correct functioning is very difficult. We believe that new techniques are needed for the analysis and validation of DHS. More precisely, we believe that convergence and interaction of methods and tools from different areas of computer science, engineering, and mathematics is needed in order to advance the subject.

The DHS WG organizes yearly workshops on the subject of DHS. So far, three of these have been held: DHS 2017 in Aalborg (associated with MFCS); DHS 2018 in Paris; and DHS 2019 in Amsterdam (associated with CONCUR).

The DHS WG also organizes a repository which collects examples, use cases, software, and publications on the WG's subject.

Mailing lists

The public contact alias for the DHS WG is dhs-info@lists.gforge.inria.fr. Additionally, DHS runs a non-public mailing list dhs-members@lists.gforge.inria.fr comprising people interested in developments in distributed hybrid systems, and a private mailing list dhs-stco@lists.gforge.inria.fr for the DHS Steering Committee.

If you would like to be added to the DHS members mailing list, please head over to the dhs-members administrative interface.

Workshop history

The first DHS workshop was held in Aalborg, Denmark, in August 2017 and associated with the MFCS conference. It featured invited talks by Alessandro Abate, Martin Fränzle, Kim G. Larsen, Martin Raussen, and Rafael Wisniewski.

The second DHS workshop was held in Palaiseau, France, in July 2018, with invited talks by Luc Jaulin, Thao Dang, Lisbeth Fajstrup, Emmanuel Ledinot, and André Platzer.

The third DHS workshop was held in Amsterdam, The Netherlands, in August 2019 and associated with the CONCUR conference. It featured a special theme on distributed robotics and had invited talks by Majid Zamani, Hervé de Forges, and Xavier Urbain.

DHS Sponsors

The DHS workshops are proud to be sponsored by the Chaire ISC - Ingénerie des systèmes complexes.

Chaire ISC logo

Contact

You can reach the DHS WG organizers under the alias dhs-info@lists.gforge.inria.fr.