Analysing and Explicating Dynamical and Hybrid Systems ((07) A01)

• Subject Area: Theoretical Computer Science
• Term: from 2019 to 2022
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 389792660

Dynamical and hybrid automata models are at the core of operational representations of cyber-physical systems. The vision of the project is to provide an algorithmic analysis framework for these models, together with corresponding explication mechanisms. While the majority of existing methods for dynamical and hybrid systems rely either on semi-algorithms (without termination guarantees) or on approximation techniques (without guarantees of the correctness of the analysis results), the focus of the project will be on the development of provably correct and terminating exact verification algorithms and corresponding techniques for the generation of certificates for verified system properties.

• DFG Programme: CRC/Transregios
• Subproject of: TRR 248: Foundations of Perspicuous Software Systems - Enabling Comprehension in a Cyber-Physical World
• Applicant Institution: Universität des Saarlandes
• Project Heads: Professorin Dr. Christel Baier; Professor Dr. Joël Ouaknine