CPS:Small:Enhancing Cybersecurity of Chemical Process Control Systems
CPS:Small:增强化学过程控制系统的网络安全
基本信息
- 批准号:1932026
- 负责人:
- 金额:$ 50万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2019
- 资助国家:美国
- 起止时间:2019-10-01 至 2024-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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的法定使命,并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。
项目成果
期刊论文数量(18)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Challenges and Opportunities for Next-Generation Manufacturing in Space
下一代太空制造的挑战和机遇
- DOI:10.1016/j.ifacol.2022.07.569
- 发表时间:2022
- 期刊:
- 影响因子: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
- 期刊:
- 影响因子:0
- 作者:Rangan, Keshav Kasturi;Halloun, Jihan Abou;Oyama, Henrique;Cherney, Samantha;Assoumani, Ilham Azali;Jairazbhoy, Nazir;Durand, Helen;Ng, Simon Ka
- 通讯作者:Ng, Simon Ka
Integrated cyberattack detection and resilient control strategies using Lyapunov‐based economic model predictive control
- DOI:10.1002/aic.17084
- 发表时间:2020-10
- 期刊:
- 影响因子:3.7
- 作者:Henrique Oyama;Helen Durand
- 通讯作者:Henrique Oyama;Helen Durand
Actuator Cyberattack Handling Using Lyapunov-based Economic Model Predictive Control
使用基于李雅普诺夫的经济模型预测控制执行器网络攻击处理
- DOI:10.1016/j.ifacol.2022.07.491
- 发表时间:2022
- 期刊:
- 影响因子:0
- 作者:Rangan, Keshav Kasturi;Oyama, Henrique;Durand, Helen
- 通讯作者:Durand, Helen
Mitigating Cyberattack Impacts Using Lyapunov-Based Economic Model Predictive Control
使用基于李亚普诺夫的经济模型预测控制减轻网络攻击影响
- DOI:10.23919/acc45564.2020.9147650
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:Durand, Helen;Wegener, Matthew
- 通讯作者:Wegener, Matthew
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Helen Durand其他文献
Economic Model Predictive Control: Handling Valve Actuator Dynamics and Process Equipment Considerations
经济模型预测控制:处理阀门执行器动力学和过程设备注意事项
- DOI:
10.1561/2600000015 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
Helen Durand;P. Christofides - 通讯作者:
P. Christofides
Process safeness index: Its definition and use in economic model predictive control to ensure process operational safety
过程安全指数:其定义及其在经济模型预测控制中的应用,确保过程运行安全
- DOI:
10.23919/acc.2017.7963629 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Fahad Albalawi;Helen Durand;Anas Alanqar;P. Christofides - 通讯作者:
P. Christofides
Distributed Economic MPC with Safety-Based Constraints for Nonlinear Systems
具有基于安全的非线性系统约束的分布式经济 MPC
- DOI:
10.1016/j.ifacol.2017.08.2098 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Fahad Albalawi;Helen Durand;P. Christofides - 通讯作者:
P. Christofides
Accounting for the control actuator layer in economic model predictive control of nonlinear processes
非线性过程经济模型预测控制中控制执行器层的考虑
- DOI:
10.1109/acc.2015.7171186 - 发表时间:
2015 - 期刊:
- 影响因子:0
- 作者:
Helen Durand;M. Ellis;P. Christofides - 通讯作者:
P. Christofides
Investigating an amplitude amplification-based optimization algorithm for model predictive control
研究用于模型预测控制的基于幅度放大的优化算法
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Kip Nieman;Helen Durand;Saahil Patel;Dan Koch;P. Alsing - 通讯作者:
P. Alsing
Helen Durand的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Helen Durand', 18)}}的其他基金
CAREER:Charting the Quantum Computing Landscape for Process Control
职业:绘制过程控制的量子计算前景
- 批准号:
2143469 - 财政年份:2022
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant
EAGER:Real-Time:Automated Control-Assisted Data-Based Model Development for Real-Time Feedback Control
EAGER:实时:用于实时反馈控制的自动控制辅助基于数据的模型开发
- 批准号:
1839675 - 财政年份:2019
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
相似国自然基金
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
- 批准号:n/a
- 批准年份:2022
- 资助金额:10.0 万元
- 项目类别:省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
- 批准号:32000033
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
- 批准号:31972324
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
- 批准号:81900988
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
CC* Integration-Small: Enhancing Data Transfers by Enabling Programmability and Closed-loop Control in a Non-programmable Science DMZ
CC* Integration-Small:通过在不可编程科学 DMZ 中启用可编程性和闭环控制来增强数据传输
- 批准号:
2346726 - 财政年份:2024
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
CSR: Small: Enhancing Timeliness and Power-Efficiency of Real-Time Data Services
CSR:小:提高实时数据服务的及时性和能效
- 批准号:
2326796 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Enhancing Cyber Resilience of Small and Medium-sized Enterprises through Cyber Security Communities of Support
通过网络安全支持社区增强中小企业的网络弹性
- 批准号:
EP/X037282/1 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Research Grant
Learn, transfer, generate: Developing novel deep learning models for enhancing robustness and accuracy of small-scale single-cell RNA sequencing studies
学习、转移、生成:开发新颖的深度学习模型,以增强小规模单细胞 RNA 测序研究的稳健性和准确性
- 批准号:
10535708 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
SHF: Small: Exploring and Enhancing Capabilities of Emerging Hybrid/Convertible Solid-State Drives
SHF:小型:探索和增强新兴混合/可转换固态硬盘的功能
- 批准号:
2413520 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Enhancing immunotherapy through the food-gut-axis in non-small cell lung cancer
通过食物-肠轴增强非小细胞肺癌的免疫治疗
- 批准号:
488910 - 财政年份:2023
- 资助金额:
$ 50万 - 项目类别:
Operating Grants
Small molecule modulators of lncRNA NEAT1_2: A novel approach to enhancing the endogenous neuroprotective response in amyotrophic lateral sclerosis
lncRNA NEAT1_2的小分子调节剂:增强肌萎缩侧索硬化症内源性神经保护反应的新方法
- 批准号:
MC_PC_MR/W031647/1 - 财政年份:2022
- 资助金额:
$ 50万 - 项目类别:
Research Grant
SHF: Small: Exploring and Enhancing Capabilities of Emerging Hybrid/Convertible Solid-State Drives
SHF:小型:探索和增强新兴混合/可转换固态硬盘的功能
- 批准号:
2208317 - 财政年份:2022
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Collaborative: A Framework for Enhancing the Resilience of Cyber Attack Classification and Clustering Mechanisms
SaTC:核心:小型:协作:增强网络攻击分类和集群机制弹性的框架
- 批准号:
2122631 - 财政年份:2021
- 资助金额:
$ 50万 - 项目类别:
Standard Grant
Digitization PEN: Small and Hungry: Enhancing LepNet TCN with microlepidoptera and 50 years of host plant data from the Essig Museum
数字化 PEN:小而饥饿:利用微鳞翅目和 Essig 博物馆 50 年寄主植物数据增强 LepNet TCN
- 批准号:
2101816 - 财政年份:2021
- 资助金额:
$ 50万 - 项目类别:
Continuing Grant