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

分析和解释动力和混合系统 ((07) A01)

• 批准号: 418449463
• 金额: --
• 依托单位: Max-Planck-Institut für Softwaresysteme
• 依托单位国家: 德国
• 项目类别: CRC/Transregios
• 财政年份: 2019
• 资助国家: 德国
• 起止时间: 2018-12-31 至 2021-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/418449463?language=en
• 关键词: Analysing; Explicating; Dynamical; Hybrid; Systems

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.

动态和混合自动机模型是网络物理系统操作表示的核心。该项目的愿景是为这些模型提供一个算法分析框架，以及相应的解释机制。虽然大多数现有的动态和混合系统的方法依赖于半算法（没有终止保证）或近似技术（没有保证的分析结果的正确性），该项目的重点将是可证明的正确性和终止精确的验证算法和相应的技术的开发，用于生成验证系统属性的证书。