CPS: Small: Towards robust cyber-physical systems

CPS：小型：迈向强大的网络物理系统

• 批准号: 1035916
• 负责人: Paulo Tabuada
• 金额: $ 53万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-09-15 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1035916&HistoricalAwards=false
• 关键词: CPS; Small; Towards; robust; cyber

The objective of this research is to develop the theoretical foundations of robust cyber-physical systems. Robustness is the property ensuring that slight perturbations in the cyber, physical, or in the interaction between the cyber and the physical components, e.g., noise in sensor measurements, causes only slight changes in the system execution. While it is theoretically possible to enumerate all possible faults that can occur in a cyber-physical system and to design software components that correctly handle all such faults, the resulting specifications would be unwieldy and difficult to understand or verify. Instead, this project investigates the design of software components that guarantee robustness of cyber-physical systems with respect to unmodeled faults. The approach consist in abstracting and generalizing several key ideas from robust control theory to cyber-physical systems. The project's intellectual merit is divided in two parts. The first part consists in defining a notion of robustness for cyber-physical systems relying on finite-state abstractions of the physical world retaining metric information about physical quantities. The second part consists in developing the methods and tools for automatically synthesizing software modules enforcing desired specifications in a robust manner. The tools and techniques developed in this project will significantly enhance our ability to produce robust cyber-physical systems and thus have a broad impact in several application areas transcending computer science and control engineering. Moreover, the broader impact of the proposed research is amplified by explicitly addressing the lack of robustness in legacy software through the development of robustifying software patches. To enhance the transfer of the research results to industry, the PIs and the Electrical Engineering Office of Industrial Relations will host a workshop for the local industry on robust cyber-physical systems.

这项研究的目的是为强大的网络物理系统奠定理论基础。鲁棒性是确保网络、物理或网络与物理组件之间的交互中的轻微扰动（例如传感器测量中的噪声）仅导致系统执行发生轻微变化的属性。虽然理论上可以枚举网络物理系统中可能发生的所有可能的故障并设计正确处理所有此类故障的软件组件，但由此产生的规范将很笨重并且难以理解或验证。相反，该项目研究了软件组件的设计，以保证网络物理系统针对未建模故障的鲁棒性。该方法包括抽象和概括从鲁棒控制理论到网络物理系统的几个关键思想。该项目的智力价值分为两部分。第一部分包括定义网络物理系统的鲁棒性概念，该系统依赖于物理世界的有限状态抽象，保留有关物理量的度量信息。第二部分包括开发用于自动合成软件模块的方法和工具，以稳健的方式执行所需的规范。该项目开发的工具和技术将显着增强我们生产强大的网络物理系统的能力，从而在超越计算机科学和控制工程的多个应用领域产生广泛的影响。此外，通过开发稳健的软件补丁来明确解决遗留软件缺乏稳健性的问题，从而放大了拟议研究的更广泛影响。为了促进研究成果向行业的转化，PI 和工业关系电气工程办公室将为当地行业举办一个关于强大的网络物理系统的研讨会。