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 LIX, the Computer science lab of École polytechnique, in Palaiseau, 20 km south of Paris and easily accessible from Paris by public transportation.

From Paris, the standard way to reach École polytechnique is to take the RER B to the station Massy-Palaiseau and then take a bus 91.06C to the station Polytechnique laboratoires. The bus stop at Massy-Palaiseau is located to the left of the train station (the RER B side), the second-to-last bus stop when walking away from Paris. The following Google map shows important locations.

Once at the lab, ring the bell and head to the reception to the right.

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 now closed.

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
16:00 S. Feo Arenis, B. Westphal Code-generation for distributed real-time systems
16:25 M. Fränzle, P. Kröger The Demon, the Gambler, and the Engineer: Reconciling hybrid-system theory with metrology
16:50 Thao Dang Invited talk: Invariance and stability verification of hybrid systems
17:40 DHS ends
 
19:30 Informal workshop dinner in Paris, Crêperie La Belle Ronde
 

Workshop Dinner

The evening of the workshop, at 19:30, we will have an informal workshop dinner in Paris, at the Crêperie La Belle Ronde. The address is 19 rue Daguerre, in the back yard, close to Denfert-Rochereau.

DHS 2017 Sponsors

CISS logo Chaire ISC logo LIX logo

Contact

dhs-2018@lists.gforge.inria.fr