Introduction to the Special Issue on Distributed Hybrid Systems

Abstract

This special issue contains seven papers within the broad subject of Distributed Hybrid Systems , that is, systems combining hybrid discrete-continuous state spaces with elements of concurrency and lo-gical or spatial distribution. It follows up on several workshops on the same theme which were held between 2017 and 2019 and organized by the editors of this volume. The first of these workshops was held in Aal-borg, Denmark, in August 2017 and associated with the MFCS conference. It featured invited talks by Alessandro Abate, Martin Fränzle, Kim G. Larsen, Martin Raussen, and Rafael Wis-niewski. The second workshop was held in Pal-aiseau, France, in July 2018, with invited talks by Luc Jaulin, Thao Dang, Lisbeth Fajstrup, Em-manuel Ledinot, and André Platzer. The third workshop was held in Amsterdam, The Nether-lands, in August 2019, associated with the CONCUR conference. It featured a special theme on distributed robotics and had invited talks by Majid Zamani, Hervé de Forges, and Xavier Urbain. The vision and purpose of the DHS workshops was to connect researchers working in real-time systems, hybrid systems, control theory, formal verification, distributed computing, and concurrency theory, in order to advance the subject of distributed hybrid systems. Such systems are abund-ant and often safety-critical, but ensuring their cor-rect functioning can in general be challenging. The investigation of their dynamics by analysis tools from the aforementioned domains remains frag-mentary, providing the rationale behind the workshops: it was conceived that convergence and interaction of theories, methods, and tools from these different areas was needed in order to advance the subject.