Leibniz Transactions on Embedded Systems, Volume 8, Issue 2,

• LITES, Volume 8, Issue 2 10.4230/LITES-v008-i002
• Alessandro Abate, Uli Fahrenberg, and Martin Fränzle Introduction to the Special Issue on Distributed Hybrid Systems 10.4230/LITES.8.2.0
• Arvind Adimoolam and Thao Dang Safety Verification of Networked Control Systems by Complex Zonotopes 10.4230/LITES.8.2.1
• Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain Swarms of Mobile Robots: Towards Versatility with Safety 10.4230/LITES.8.2.2
• Uli Fahrenberg Higher-Dimensional Timed and Hybrid Automata 10.4230/LITES.8.2.3
• Eduard Kamburjan, Stefan Mitsch, and Reiner Hähnle A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems 10.4230/LITES.8.2.4
• Paul Kröger and Martin Fränzle Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation 10.4230/LITES.8.2.5
• Ameneh Nejati and Majid Zamani From Dissipativity Theory to Compositional Construction of Control Barrier Certificates 10.4230/LITES.8.2.6
• Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, and Taylor T. Johnson Real-Time Verification for Distributed Cyber-Physical Systems 10.4230/LITES.8.2.7