Second International Workshop on
Methods and Tools for Distributed Hybrid Systems
Palaiseau, France, 4 July 2018

DHS 2018 will take place at École polytechnique in Palaiseau, close to Paris, on 4 July.

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.

The first DHS workshop was held in Aalborg, Denmark, in August 2017, with talks by Alessandro Abate, Martin Fränzle, Kim G. Larsen, Martin Raussen, and Rafael Wisniewski. This second edition aims to continue the conversation.

Invited Speakers

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. Note that DHS 2018 will have no formal proceedings.

Please send your proposal to dhs-2018@lists.gforge.inria.fr by 31 May 2018.

Venue

DHS 2018 will take place at the Computer science lab of École polytechnique in Palaiseau, 20 km south of Paris and easily accessible from Paris by public transportation.

DHS 2017 Sponsors

CISS               Chaire ISC               LIX

Contact

dhs-2018@lists.gforge.inria.fr