CAREER: Resilient Design of Networked Infrastructure Systems: Models, Validation, and Synthesis

该项目推进了有关设计方法的科学知识，以提高民用基础设施对中断的恢复能力。为了提高弹性，民用基础设施部门的关键服务必须利用新的诊断工具和控制算法，以确保在安全攻击和随机故障存在下的生存能力，并在设计过程中包括人类决策者的激励模型。该项目将开发一个实用的设计工具包和平台，以便为部署在民用基础设施中的网络物理系统（CPS）集成提高弹性的控制工具和激励方案。理论和算法将应用于评估弹性水平，选择提高性能的策略，并为水、电力分配和交通基础设施中特定部门的CPS功能提供可靠性和安全性保证。主要重点是网络控制功能的弹性设计，以解决事件响应、需求管理和供应不确定性问题。更广泛地说，该项目的知识和工具将影响水、交通和能源领域的CPS设计，也适用于其他系统，如食品、石油和天然气供应链。提议的平台将用于开发案例研究、测试实现和设计项目，以支持教育和推广活动。目前的CPS部署缺乏集成组件，设计用于在受随机事件和战略实体行动影响的不确定环境中生存。该工具包(i)对网络物理组件故障造成的中断传播进行建模，（ii）检测并响应本地和网络级故障，以及（iii）设计激励方案，提高公共产品的总体水平（例如，去拥堵、安全），同时考虑网络相互依赖性和战略实体之间的私人信息。验证方法使用从公共来源收集的真实数据、由领域专家开发的测试用例和仿真软件。这些工具集成在一起，提供一个多层设计平台，该平台探索设计空间，以综合满足弹性规范的解决方案。该平台确保综合实现满足功能需求，并估计CPS弹性所需的性能保证。这种建模、验证、探索和综合方法为弹性工程提供了科学基础。它通过为未来的工程师提供平台和结构化工作流程来支持CPS教育，以接近和理解实施现实和社会技术限制。

This project advances the scientific knowledge on design methods for improving the resilience of civil infrastructures to disruptions. To improve resilience, critical services in civil infrastructure sectors must utilize new diagnostic tools and control algorithms that ensure survivability in the presence of both security attacks and random faults, and also include the models of incentives of human decision makers in the design process. This project will develop a practical design toolkit and platform to enable the integration of resiliency-improving control tools and incentive schemes for Cyber-Physical Systems (CPS) deployed in civil infrastructures. Theory and algorithms will be applied to assess resiliency levels, select strategies to improve performance, and provide reliability and security guarantees for sector-specific CPS functionalities in water, electricity distribution and transportation infrastructures. The main focus is on resilient design of network control functionalities to address problems of incident response, demand management, and supply uncertainties. More broadly, the knowledge and tools from this project will influence CPS designs in water, transport, and energy sectors, and also be applicable to other systems such as supply-chains for food, oil and gas. The proposed platform will be used to develop case studies, test implementations, and design projects for supporting education and outreach activities. Current CPS deployments lack integrated components designed to survive in uncertain environments subject to random events and the actions of strategic entities. The toolkit (i) models the propagation of disruptions due to failure of cyber-physical components, (ii) detects and responds to both local and network-level failures, and (iii) designs incentive schemes that improve aggregate levels of public good (e.g., decongestion, security), while accounting for network interdependencies and private information among strategic entities. The validation approach uses real-world data collected from public sources, test cases developed by domain experts, and simulation software. These tools are integrated to provide a multi-layer design platform, which explores the design space to synthesize solutions that meet resiliency specifications. The platform ensures that synthesized implementations meet functionality requirements, and also estimates the performance guarantees necessary for CPS resilience. This modeling, validation, exploration, and synthesis approach provides a scientific basis for resilience engineering. It supports CPS education by providing a platform and structured workflow for future engineers to approach and appreciate implementation realities and socio-technical constraints.