Introduction to the Special Issue on Distributed Hybrid Systems Alessandro Abate, Uli Fahrenberg, Martin Fränzle 00:1-00:3 PDF
Safety Verification of Networked Control Systems by Complex Zonotopes Arvind Adimoolam, Thao Dang 01:1-01:22 PDF
Swarms of Mobile Robots: Towards Versatility with Safety Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain 02:1-02:36 PDF
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle 04:1-04:34 PDF
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation Paul Kröger, Martin Fränzle 05:1-05:27 PDF
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates Ameneh Nejati, Majid Zamani 06:1-06:17 PDF
Real-Time Verification for Distributed Cyber-Physical Systems Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson 07:1-07:19 PDF
