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

View on École polytechnique from the lake

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

Download workshop poster (or in A4)

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.

Statue commemorating the role of students of École polytechnique in the defence of Paris in 1814

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

Invited Talks

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. The following link to the RATP web site gives instructions for reaching our lab from the Denfert-Rochereau station in Paris.

Registration

Registration to DHS 2018 is free, but mandatory. To register, please send and email to dhs-2018@lists.gforge.inria.fr indicating your name and institution. Deadline for registration is 20 June 2018.

Program (tentative; click on the titles to see abstracts)

Wednesday 4 July
8:30 Registration opens
9:00 Welcome
9:10 Lisbeth Fajstrup Invited talk: Symmetries in the PV-model and of directed invariants
10:00 Break
10:20 Luc Jaulin Invited talk: Distributed localization and control of underwater robots
11:10 H. Nguyen Van, T. Balabonski, F. Boulanger, C. Keller, B. Valiron, B. Wolff A symbolic operational semantics for TESL
11:35 J. Dubut Trees in partial Higher Dimensional Automata
12:00 Lunch
13:30 Emmanuel Ledinot Invited talk: Towards CPS certification reformation: call for effective foundations
14:20 André Platzer Invited talk: Logic of distributed hybrid systems
15:10 A. Le Coënt Guaranteed control synthesis for switched systems in Uppaal Tiga
15:35 Break
15:55 S. Feo Arenis, B. Westphal Code-generation for distributed real-time systems
16:20 Dmitry Kozlov Invited talk: (TBA)
17:10 Thao Dang Invited talk: Invariance and stability verification of hybrid systems
18:00 DHS ends
 

DHS 2017 Sponsors

CISS logo Chaire ISC logo LIX logo

Contact

dhs-2018@lists.gforge.inria.fr