CAREER: Synthesis and Control of Cyber-Resilient CPS

职业：网络弹性 CPS 的合成和控制

基本信息

批准号：
2303563
负责人：
Andrew Clark
金额：
$ 50.31万
依托单位：
Washington University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2022
资助国家：
美国
起止时间：
2022-10-01 至 2025-01-31
项目状态：
未结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=2303563&HistoricalAwards=false
关键词：
CAREER Synthesis Control Cyber Resilient

项目摘要

This project seeks to develop design methodologies for the synthesis of cyber-physical systems (CPS) that verifiably satisfy given safety and performance requirements when an unknown set of system components is compromised. The need for such design methodologies is exemplified by recent intrusions into nuclear facilities and ransomware attacks on municipal governments, in which adversaries found weak points in cyber defenses that were leveraged to control safety-critical physical infrastructures. The research plan is grounded on two application scenarios: (i) a group of unmanned vehicles that must complete high-level task objectives while avoiding collisions in the presence of false and malicious sensor and control inputs, and (ii) a smart building in which IoT apps send malicious commands to the building HVAC and other safety-critical systems.The PI will develop algorithms to compute control policies in the presence of attacks that inject arbitrary sensor measurements or control signals, disrupt availability of sensor or control messages, and/or modify controller set points. The first research thrust will investigate and develop control strategies for safety and reachability of nonlinear systems under attack by extending the notions of control barrier and control Lyapunov functions to adversarial settings. The second thrust will investigate resilient synthesis of more complex task specifications using the control algorithms of thrust one as building blocks. The PI will develop novel approaches to model adversarial cyber-physical interactions as stochastic games by developing resilient finite-state abstractions of nonlinear systems. Finite-state control policies will be developed by approximating the game solutions. This thrust will investigate contract-based decomposition algorithms for solving the games in a distributed system with multiple (potentially malicious) decision-making agents. Each thrust of the project will be validated through experimentation and testing on two custom platforms, namely, a multi-robot testbed and a smart building simulation framework. This project will result in models and algorithms to improve safety, performance, and security of CPS including connected and autonomous vehicles, industrial control systems, intelligent traffic management systems, medical devices, and manufacturing CPS. The PI will develop “serious games” to enhance public interest while providing insight into human decision-making. Algorithms for secure control developed in the project will be experimented on by undergraduate capstone students under the supervision of the PI’s graduate students.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该项目旨在开发用于合成网络物理系统（CPS）的设计方法，当损害一组未知的系统组件时，可验证满足的安全性和性能要求。最近对核设施的入侵和勒索软件对文化政府的攻击，对这种设计方法的需求体现了，在这种情况下，对手发现网络防御中的弱点被利用以控制安全至关重要的物理基础设施。研究计划基于两个应用程序：（i）一组无人驾驶的车辆必须完成高级任务目标，同时避免在存在虚假和恶意的传感器和控制输入的情况下发生碰撞，以及（ii）IOT应用程序，IoT应用程序在其中，IoT Apps将恶意命令发送到HVAC和其他安全性的攻击中，以开发出algormition的攻击性，以启动algormiantions。测量或控制信号，中断传感器或控制消息的可用性以及/或修改控制器设置点。第一个研究的推力将通过将控制障碍的通知和控制Lyapunov功能扩展到对抗性环境，以调查和制定在攻击下对非线性系统的安全性和意识的控制策略。第二个推力将使用推力ONE的控制算法作为构建块来研究更复杂的任务规格的重新综合。 PI将通过开发非线性系统的弹性有限状态抽象来开发新颖的方法，以将对抗性网络物理相互作用作为随机游戏建模为随机游戏。有限国家控制策略将通过近似游戏解决方案来制定。该推力将调查基于合同的分解算法，以在具有多个（可能是恶意的）决策代理的分布式系统中解决游戏。项目的每个推力将通过在两个自定义平台上进行实验和测试来验证，即经过多机器人测试和一个智能建筑模拟框架。该项目将导致模型和算法，以提高CP的安全性，性能和安全性，包括连接和自动驾驶汽车，工业控制系统，智能交通管理系统，医疗设备和制造CPS。 PI将开发“严肃的游戏”，以增强公众利益，同时提供公共利益。深入了解人类决策。在PI的研究生的监督下，本科生的薪石学生将对项目中开发的安全控制算法进行实验。该奖项反映了NSF的法定任务，并被认为是通过基金会的智力优点和更广泛影响的评估标准来评估通过评估来支持的。

项目成果

期刊论文数量（13）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Abstraction-Free Control Synthesis to Satisfy Temporal Logic Constraints under Sensor Faults and Attacks

DOI：
10.1109/cdc51059.2022.9992935
发表时间：
2022-08
期刊：
2022 IEEE 61st Conference on Decision and Control (CDC)
影响因子：
0
作者：
Luyao Niu;Zhouchi Li;Andrew Clark
通讯作者：
Luyao Niu;Zhouchi Li;Andrew Clark

Verifying Safety for Resilient Cyber-Physical Systems via Reactive Software Restart

通过反应式软件重启验证弹性网络物理系统的安全性

DOI：
10.1109/iccps54341.2022.00016
发表时间：
2022
期刊：
ACM International Conference on Cyber-Physical Systems
影响因子：
0
作者：
Niu, Luyao;Sahabandu, Dinuka;Clark, Andrew;Poovendran, Radha
通讯作者：
Poovendran, Radha

Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties

基于平方和的有效验证以及通过代数簇采样构造控制障碍函数

DOI：
发表时间：
2023
期刊：
IEEE Conference on Decision and Control (CDC
影响因子：
0
作者：
Efficient Sum of Squares-Based Verification;Construction of Control Barrier Functions by Sampling on Algebraic Varieties
通讯作者：
Construction of Control Barrier Functions by Sampling on Algebraic Varieties

Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing Attacks

激光雷达欺骗攻击下自动驾驶车辆安全控制的协同感知