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.