DHS 2018
Date: Jul 04, 2018 12:00 am – Jul 04, 2018 11:00 am
Location: Ecole polytechnique, Paris, France
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
Submitted by Anonymous
on
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