CPS: Breakthrough: Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems

标题：CPS：突破：开发用于控制和诊断安全关键型复杂网络物理系统的新型体系结构该项目正在开发用于控制和诊断复杂网络物理系统的新型体系结构，这些系统在安全性、弹性和适应性方面有严格的性能要求。这些不断增长的需求需要使用正式的基于模型的方法来合成可证明正确的反馈控制器。本研究的智力价值在于动力系统、离散事件系统、反应综合和图论领域技术的新组合，以及抽象技术、支持分布式实现的控制和诊断策略的计算高效综合以及信息获取和通信策略的综合方面的新进展。关键基础设施中复杂网络物理系统的安全性、弹性和性能的预期改进，以及它们的设计和认证效率，证明了该项目更广泛的意义和重要性。正在开发的原始方法是基于多分辨率抽象图的组合，用于构建底层网络物理系统的离散模型，以及反应性合成技术，该技术利用称为分散二部转换系统的有限结构的解空间表示。抽象图和分散二部转移系统的概念是新颖的，为安全、弹性和自适应控制器的形式化合成开辟了新的研究途径。这种方法自然会产生一组分散的异步控制器和诊断器，从而确保更大的弹性和适应性。总体而言，本研究将对信息物理系统科学和信息物理系统工程产生重大影响。

Title: CPS: Breakthrough: Development of Novel Architectures for Control and Diagnosis of Safety-Critical Complex Cyber-Physical SystemsThis project is developing novel architectures for control and diagnosis of complex cyber-physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. These ever-increasing demands necessitate the use of formal model-based approaches to synthesize provably-correct feedback controllers. The intellectual merit of this research lies in a novel combination of techniques from the fields of dynamical systems, discrete event systems, reactive synthesis, and graph theory, together with new advancements in terms of abstraction techniques, computationally efficient synthesis of control and diagnosis strategies that support distributed implementations, and synthesis of acquisition of information and communication strategies. The project's broader significance and importance are demonstrated by the expected improvement of the safety, resilience, and performance of complex cyber-physical systems in critical infrastructures as well as the efficiency with which they are designed and certified.The original approach being developed is based on the combination of multi-resolution abstraction graphs for building discrete models of the underlying cyber-physical system with reactive synthesis techniques that exploit a representation of the solution space in terms of a finite structure called a decentralized bipartite transition system. The concepts of abstraction graph and decentralized bipartite transition system are novel and open new avenues of investigation with significant potential to the formal synthesis of safe, resilient, and adaptive controllers. This methodology naturally results in a set of decentralized and asynchronous controllers and diagnosers, which ensures greater resilience and adaptivity. Overall, this research will significantly impact the Science of Cyber-Physical Systems and the Engineering of Cyber-Physical Systems.