CPS:Small:Enhancing Cybersecurity of Chemical Process Control Systems

CPS:Small：增强化学过程控制系统的网络安全

基本信息

批准号：
1932026
负责人：
Helen Durand
金额：
$ 50万
依托单位：
Wayne State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2019
资助国家：
美国
起止时间：
2019-10-01 至 2024-09-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1932026&HistoricalAwards=false
关键词：
CPS Small Enhancing Cybersecurity Chemical

项目摘要

Smart manufacturing, in which manufacturing processes become increasingly automated using algorithms intended to boost profits and reduce resource use while decreasing human error, is expected to enhance production efficiency in industries where chemical reaction, separation, and transport are important. Heightened communication and automation are also impacting other industries that involve control of molecular-level processes, as in healthcare, water treatment, and irrigation. However, a challenge for enhanced automation of these processes is preventing cyberattacks on the systems (referred to as control systems) that perform communication and computation to enable automation. If a cyberattack on a control system succeeds, it may impact factors such as safety, profitability, or production volume. Though safety-critical industries have many defenses in place to seek to prevent attackers from causing harm, an open question is how to design stronger safeguards against successful attacks into automation systems. This work aims to develop fundamental advances in advanced control algorithms integrated with algorithms for detecting cyberattacks and alerting company personnel to their presence for chemical processes described by complex dynamic models. This project seeks to characterize the conditions under which the process automation algorithms can be made resilient to cyberattacks on various aspects of the automation systems (e.g., sensors and actuators) in the sense that attacks cannot succeed at creating problematic process behavior from a safety standpoint even if they breach certain information technology defenses. The project will also pursue the development of a number of algorithms for enhancing safety and efficiency for next-generation manufacturing, and explore how cyberattacks may impact these. To disseminate information on these topics broadly, a live action and an animated short video to be shared via YouTube will be developed, in which the plot and the world in which the characters live expose viewers to the concepts of control, cybersecurity, and engineering pursued in this research through story.The planned research program will comprehensively evaluate the characteristics of cyberattacks for processes involving molecular-level phenomena of different types, and will develop fundamental advances in control theory and algorithms for enhancing cybersecurity for these processes through control designs integrated with other frameworks such as detection algorithms. The theoretical conditions under which cybersecurity is enhanced by the proposed developments (in the sense that the attacks cannot create a safety issue for the process) will be characterized. Specifically, the following will be addressed: a) a mathematical formalization of the definition of different types of "undesirable behavior" for various chemical processes and clarification of reasonable types of cyberattacks for different chemical process systems will be developed; b) control and state estimation designs will be combined with detection techniques to allow guarantees to be developed on the conditions under which a cyberattack cannot create undesirable behavior even if it penetrates certain information technology defenses; c) novel sensing and control capabilities for cyber-physical systems will be developed that take advantage of machine learning and mathematics to increase flexibility of chemical processes, with investigations of how these advances may be cyberattacked; d) techniques for understanding and preventing undesirable behavior during a cyberattack through physical means (e.g., materials/equipment design and selection) will be developed; and e) the developments will be demonstrated and evaluated within the context of chemical processes across a variety of industries. These developments will focus on processes described by nonlinear dynamic models under model predictive control, but will also make extensions to processes of other types (e.g., a class of stochastic differential equations or partial differential equations).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.

智能制造公司使用旨在提高利润并减少资源使用的同时减少人为错误的算法越来越自动化的智能制造业将提高化学反应，分离和运输至关重要的行业的生产效率。沟通和自动化的提高还影响了其他行业，涉及控制分子级过程的其他行业，例如医疗保健，水处理和灌溉。但是，增强这些过程的自动化的挑战是防止在系统（称为控制系统）上执行通信和计算以实现自动化的网络攻击。如果控制系统上的网络攻击成功，则可能会影响安全性，盈利能力或生产量等因素。尽管关键安全行业有许多防御能力来试图防止攻击者造成伤害，但一个悬而未决的问题是如何设计更强大的保障措施，以防止成功攻击自动化系统。这项工作旨在开发与算法集成的高级控制算法的基本进步，以检测网络攻击并提醒公司人员对复杂动态模型描述的化学过程的存在。该项目旨在表征过程自动化算法在自动化系统各个方面（例如传感器和执行器）的情况下，可以使过程自动化算法具有韧性，即使攻击也无法成功地从安全角度创建有问题的过程行为，即使它们违反了某些信息技术的攻击，也无法成功地创造有问题的过程行为。该项目还将追求许多算法的开发，以提高下一代制造的安全性和效率，并探讨网络攻击如何影响这些。要广泛地将有关这些主题的信息传播信息，将开发通过YouTube共享的现场动作和动画的简短视频，在该视频中，在该图中，角色和角色的生活揭示了观众在这项研究中通过故事中追求的控制，网络安全和工程学的概念。在控制理论和算法中，通过与其他框架（例如检测算法）集成的控制设计来增强这些过程的网络安全性。拟议的发展（从某种意义上说，攻击无法为过程造成安全问题）来增强网络安全的理论条件。具体而言，将解决以下内容：a）针对各种化学过程的不同类型的“不良行为”定义的数学形式化，并阐明了针对不同化学过程系统的合理类型的网络攻击； b）控制和状态估计设计将与检测技术结合使用，以确保在网络攻击无法触及某些信息技术防御方面的情况下无法创造不良行为的条件； c）将开发用于网络物理系统的新型传感和控制能力，以利用机器学习和数学来提高化学过程的灵活性，并研究如何进行网络攻击； d）将开发通过物理手段（例如材料/设备设计和选择）在网络攻击过程中理解和预防不良行为的技术； e）将在各种行业的化学过程中证明和评估这些发展。这些发展将重点关注由非线性动态模型在模型预测性控制下描述的过程，但也将扩展到其他类型的过程（例如，一类随机微分方程或部分微分方程）。该奖项反映了NSF的法定任务，并认为通过基金会的知识优点和广泛的crietia crietia crietia criperia criperia criperia criperia criperia cribitia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia criperia cristia criperia均值得一提。

项目成果

期刊论文数量（18）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Challenges and Opportunities for Next-Generation Manufacturing in Space

下一代太空制造的挑战和机遇

DOI：
10.1016/j.ifacol.2022.07.569
发表时间：
2022
期刊：
IFAC-PapersOnLine
影响因子：
0
作者：
Nieman, Kip;Leonard, A.F.;Tyrrell, Katie;Messina, Dominic;Lopez, Rebecca;Durand, Helen
通讯作者：
Durand, Helen

Quantum Computing and Resilient Design Perspectives for Cybersecurity of Feedback Systems

反馈系统网络安全的量子计算和弹性设计视角

DOI：
10.1016/j.ifacol.2022.07.526
发表时间：
2022
期刊：
IFAC-PapersOnLine
影响因子：
0
作者：
Rangan, Keshav Kasturi;Halloun, Jihan Abou;Oyama, Henrique;Cherney, Samantha;Assoumani, Ilham Azali;Jairazbhoy, Nazir;Durand, Helen;Ng, Simon Ka
通讯作者：
Ng, Simon Ka

Actuator Cyberattack Handling Using Lyapunov-based Economic Model Predictive Control

使用基于李雅普诺夫的经济模型预测控制执行器网络攻击处理