CPS: Breakthrough: A science of CPS robustness

计算机物理系统(CPS)通过使物理世界能够像计算机编程一样被编程，为我们的日常生活提供了根本性改变的承诺。然而，物理世界远比计算机不可预测，这使得CPS的设计非常具有挑战性。为了减少来自物理世界甚至网络世界的不可预见事件的影响，该项目开发了一门关于CPS稳健性的科学。一个强大的CPS只会在发生不可预见的情况时适度偏离其预期的行为，并有能力在这些干扰情况平息后恢复。该项目的智力价值是开发了一门关于CPS稳健性的科学，它利用网络和物理组件之间的复杂相互作用来获得能够在广泛的不可预测环境中运行的CPS。S项目更广泛的意义和重要性是使大量应用程序能够在物联网或智能互联社区等不可预测的环境中无缝运行。在技术层面，该项目利用网络系统(如自稳定算法)和物理系统(如输入到状态稳定性)的现有健壮性概念，创建了一门关于CPS健壮性的科学。预期结果包括用于指定CPS稳健性的新的时序逻辑、用于CPS稳健性的验证和综合算法以及组合设计流程。

Cyber-Physical Systems (CPS) offer the promise for radical changes to our everyday life by enabling the physical world to be programmed in the same way that a computer is programmed. The physical world, however, is far less predictable than a computer and this renders the design of CPS very challenging. In order to reduce the impact of unforeseen events arising from the physical world, or even from the cyber world, this project develops a science of CPS robustness. A robust CPS will only modestly deviate from its desired behavior upon the occurrence of unforeseen circumstances and has the ability to recover once these disrupting circumstances subside. The intellectual merit of this project is the development of a science of CPS robustness that harnesses the intricate interactions between cyber and physical components to obtain CPS that are able to operate in a wide range of unpredictable environments. The project?s broader significance and importance is the enablement of vast number of applications requiring CPS to operate seamlessly in unpredictable environments such as the internet-of-things or smart and connected communities.At the technical level, this project leverages existing notions of robustness for cyber systems, such as self-stabilizing algorithms, and for physical systems, such as input-to-state stability, to create a science of CPS robustness. Expected outcomes include new temporal logics to specify CPS robustness, verification and synthesis algorithms for CPS robustness, as well as compositional design flows.