Third International Workshop on
Methods and Tools for Distributed Hybrid Systems
Amsterdam, The Netherlands, 26 August 2019
Associated with CONCUR 2019

Amsterdam tourist office seen from the water

DHS 2019 will take place in Amsterdam, the day before CONCUR, 26 August 2019.

Download workshop poster (or in A4 format)

About

The purpose of DHS 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.

Amsterdam Westerkerk seen from the water

The first DHS workshop was held in Aalborg, Denmark, in August 2017 and associated with MFCS. It featured invited talks by Alessandro Abate, Martin Fränzle, Kim G. Larsen, Martin Raussen, and Rafael Wisniewski. The second edition was held in Palaiseau, France, in July 2018, with invited talks by Luc Jaulin, Thao Dang, Lisbeth Fajstrup, Emmanuel Ledinot, and André Platzer.

This third edition of DHS will have a special session on distributed robotics. This emerging field is concerned with the control of collaborative swarms of autonomous robots. Our invited speakers will treat this subject both from a theoretical and a practical perspective, and we hope to install a conversation which will outlast DHS 2019.

Invited Speakers

Venue

DHS 2019 is associated with the CONCUR conference, please refer to the CONCUR website for further information.

Registration

Registration to DHS 2019 is handled by CONCUR.

Program

To be announced

Call for Short Contributions

We are calling for presentations of original, unfinished, already published, or otherwise interesting work which can highlight how the research topics of DHS may interact in order to advance the subject of distributed hybrid systems.

DHS 2019 will have no formal proceedings, but there will be a call for contributions to a special issue of a journal (under negotiation) after the workshop.

Please send your proposal to dhs-2019@lists.gforge.inria.fr by 10 June 2019.

DHS 2019 Sponsors

CISS logo Chaire ISC logo

Contact

dhs-2019@lists.gforge.inria.fr