权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

CAREER: Synthesis and Control of Cyber-Resilient CPS

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

基本信息

批准号：
1941670
负责人：
Andrew Clark
金额：
$ 50.31万
依托单位：
Worcester Polytechnic Institute
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2020
资助国家：
美国
起止时间：
2020-02-15 至 2022-12-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1941670&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）在智能建筑中，物联网应用程序向建筑HVAC和其他安全关键系统发送恶意命令。PI将开发算法，以在攻击存在时计算控制策略，这些攻击会注入任意传感器测量或控制信号，破坏传感器或控制消息的可用性，和/或修改控制器设定点。第一个研究重点将通过将控制屏障和控制李雅普诺夫函数的概念扩展到对抗设置，研究和开发非线性系统在攻击下的安全性和可达性的控制策略。第二个推力将研究更复杂任务规范的弹性综合，使用推力1的控制算法作为构建块。PI将开发新的方法，通过开发非线性系统的弹性有限状态抽象，将对抗性网络物理相互作用建模为随机游戏。有限状态控制策略将通过近似博弈解来开发。这篇文章将研究基于契约的分解算法，用于解决具有多个（潜在恶意的）决策代理的分布式系统中的游戏。该项目的每一个要点都将在两个定制平台上进行实验和测试，即一个多机器人测试平台和一个智能建筑模拟框架。该项目将产生模型和算法，以提高CPS的安全性，性能和安全性，包括连接和自动驾驶车辆，工业控制系统，智能交通管理系统，医疗设备和制造CPS。PI将开发“严肃游戏”，以提高公众兴趣，同时提供对人类决策的洞察。在该项目中开发的安全控制算法将由本科生在PI研究生的监督下进行实验。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

期刊论文数量（8）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*

网络物理系统的控制综合，以满足定时和执行器攻击下的度量间隔时间逻辑目标*

DOI：
10.1109/iccps48487.2020.00023
发表时间：
2020
期刊：
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS
影响因子：
0
作者：
Niu, Luyao;Ramasubramanian, Bhaskar;Clark, Andrew;Bushnell, Linda;Poovendran, Radha
通讯作者：
Poovendran, Radha

A Differentially Private Incentive Design for Traffic Offload to Public Transportation

DOI：
10.1145/3430847
发表时间：
2019-06
期刊：
ACM Transactions on Cyber-Physical Systems
影响因子：
2.3
作者：
Luyao Niu;Andrew Clark
通讯作者：
Luyao Niu;Andrew Clark

Secure Control in Partially Observable Environments to Satisfy LTL Specifications

在部分可观测环境中进行安全控制以满足 LTL 规范

DOI：
10.1109/tac.2020.3039484
发表时间：
2020
期刊：
IEEE Transactions on Automatic Control
影响因子：
6.8
作者：
Ramasubramanian, Bhaskar;Niu, Luyao;Clark, Andrew;Bushnell, Linda;Poovendran, Radha
通讯作者：
Poovendran, Radha

Control barrier functions for stochastic systems