DHS 2018

Second International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2018)

The purpose of DHS is to connect researchers working in real-time and hybrid systems, control theory, distributed computing, and concurrency, 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. Convergence and interaction of methods and tools from different areas of computer science, engineering, and mathematics is needed in order to advance the subject.

This second edition of the DHS workshop aims at gathering researchers which work in the above areas in order to facilitate collaboration and discuss how the subject may advance.

We are calling for presentations of work which can highlight how the research topics of DHS may interact in order to advance the subject of distributed hybrid systems. Note that DHS 2018 will have no formal proceedings.

INVITED TALKS

Luc Jaulin, ENSTA Bretagne, Brest, France
Distributed localization and control of underwater robots

Dmitry Kozlov, University of Bremen, Germany
(TBA)

Thao Dang, Verimag, Grenoble, France
Invariance and stability verification of hybrid systems

Lisbeth Fajstrup, Aalborg University, Denmark
Symmetries in the PV-model and of directed invariants

Emmanuel Ledinot, Dassault Aviation, France
Towards CPS certification reformation: call for effective foundations

Eric Goubault, Ecole polytechnique, France
Inner and outer approximating flowpipes for delay differential equations

IMPORTANT DATES

Submission of short contributions: 10 June 2018
Registration: 20 June 2018
Workshop: 4 July