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