Distributed Hybrid Systems Compositionality and Reconfiguration for Distributed Hybrid Systems

Abstract:

The project pursues two major goals addressing the verification of cyber-physical systems. Firstly, one goal of this project is to develop theory, practice, and applications of verification techniques for distributed hybrid systems with flexible system structures that can change by reconfiguring the system.