International Workshop on
Methods and Tools for Distributed Hybrid Systems
Aalborg, Denmark, 26 August 2017
Associated with MFCS 2017

Panorama of Aalborg

DHS 2017 will take place in Aalborg, in prolongation of MFCS 2017, on 26 August.

Download program (or as a booklet)

About

The purpose of DHS is to connect researchers working in real-time systems, 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. 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.

This first 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.

Invited Talks

Program (click on the titles to see abstracts)

Saturday 26 August
8:30 Registration opens
9:00 Welcome
9:10 Martin Fränzle Invited talk: Indecision and delays are the parents of failures
10:10 Break
10:30 Martin Raussen Invited talk: Topological models for spaces of executions in HDA
11:30 B.Martin, O.Mullier Rigorous computation of viability kernel
12:00 Lunch
13:30 Kim G. Larsen Invited talk: Synthesis and optimization for cyber-physical systems
14:30 Alessandro Abate Invited talk: Hybrid models for heterogeneous populations of photovoltaic panels on the grid
15:30 Break
16:00 Rafael Wisniewski Invited talk: Safety verification of stochastic hybrid systems
17:00 Discussion
17:30 DHS ends
 

Venue

DHS 2017 will take place at Scandic hotel Aalborg Øst. This hotel is situated in-between the city center and the university campus; both are easily accessible by bus. Please see the MFCS travel information for further details.

Registration

Registration to DHS 2017 is handled by the Aalborg University webshop, together with the registration for KiMfest. The registration fee is 695 DKK, approx. 93 €, and covers the workshop, coffee breaks, and lunch.

Please head over to the AAU webshop for registration.

DHS 2017 Sponsors

CISS               Chaire ISC

Contact

dhs-2017@lists.gforge.inria.fr