×
张琪;卡拉·西特祖;李志武;亚历山德罗·朱阿

受攻击的监督离散事件系统的分析框架。 （英语） Zbl 1504.93231号

Zattoni，Elena（编辑）等人，第15届欧洲先进控制和诊断研讨会，ACD 2019。研讨会记录，2019年11月21日至22日，意大利博洛尼亚。查姆：斯普林格。莱克特。票据控制信息科学–程序。，529-546 (2022).
摘要：本文主要研究监督控制下离散事件系统的网络攻击问题。更详细地说，主管的目标是防止系统达到一组不安全状态，他对系统演变有部分观察。攻击者可能以两种不同的方式进行操作：他可以破坏主管编辑传感器读数的观察结果，并且可以启用主管禁用的事件。这样做的目的是使工厂进入不安全状态，并在达到不安全状态之前让主管不知道这一点。构造了一种称为攻击结构的特殊自动机，作为两种特殊结构的并行组合。攻击者可以使用这种自动机来选择适当的操作（如果有）以达到上述目标，或者主管也可以使用此自动机来验证其对此类攻击的鲁棒性。
关于整个系列，请参见[Zbl 1491.93004号].

MSC公司：

93立方65 离散事件控制/观测系统
93甲13 层次系统

关键词：

离散事件系统;有限状态自动机;监督控制;网络攻击

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zhang}等人，in：第15届欧洲先进控制和诊断研讨会，ACD 2019。研讨会记录，2019年11月21日至22日，意大利博洛尼亚。查姆：斯普林格。529--546（2022年；Zbl 1504.93231）
全文： 内政部 arXiv公司

参考文献：

[1] Cabasino，M.P.，Giua，A.，Seatzu，C.：使用具有不可观察跃迁的Petri网对离散事件系统进行故障检测。Automatica 46（9）（2010年）·Zbl 1201.93074号
[2] Cabasino，M.P.，Giua，A.，Pocci，M.，Seatzu，C.：使用标记Petri网进行离散事件诊断。制造系统的应用。控制工程实践。19（9）（2011年）
[3] Cabasino，M.P.，Giua，A.，Lafortune，S.，Seatzu，C.：使用验证网对Petri网进行可诊断性分析的新方法。IEEE自动变速器。控制57（12）（2012）·Zbl 1369.93373号
[4] Carvalho，L.K.，Wu，Y.C.，Kwong，R.，Lafortune，S.：监控系统中执行器启用攻击的检测和预防。摘自：第十三届IFAC离散事件系统国际研讨会，中国西安，第298-305页（2016）
[5] Carvalho，L.K.，Wu，Y.-C，Kwong，R.，Lafortune，S.：监控系统中各类攻击的检测和缓解。Automatica 97、121-133（2018）·Zbl 1406.93006号 ·doi:10.1016/j.automatica.2018.07.017
[6] Cassandras，C.G.，Lafortune，S.：离散事件系统导论。施普林格纽约公司，Secaucus（2008）·Zbl 1165.93001号 ·doi:10.1007/978-0-387-68612-7
[7] Clark，A.，Zonouz，S.：网络物理弹性：定义和评估指标。IEEE传输。智能电网10（2），1671-1684（2019）·doi:10.1109/TSG.2017.2776279
[8] Fawzi，H.，Tabuada，P.，Diggavi，S.：对抗性攻击下网络物理系统的安全估计和控制。IEEE传输。自动。控制59（6），1454-1467（2014）·Zbl 1360.93201号 ·doi:10.1109/TAC.2014.2303233
[9] Gao，C.，Seatzu，C.，Li，Z.，Giua A.：离散事件系统的多攻击检测。参加：IEEE系统、人与控制论国际会议，意大利巴里（2019年即将召开）
[10] Giua，A.，Seatzu，C.，Basile，F.：带死锁恢复的定时Petri网的基于观测器的状态反馈控制。IEEE传输。自动。控制49（1），17-29（2004）·Zbl 1365.68341号 ·doi:10.1109/TAC.2003.821419
[11] Góes，R.M.，Kang，E.，Kwong，R.，Lafortune，S.：针对网络物理系统的秘密欺骗攻击。摘自：第56届IEEE决策与控制会议，澳大利亚墨尔本，第4224-4230页（2017）
[12] Harirchi，F.，Ozay，N.：网络物理系统中基于模型的有保障故障检测：模型失效方法。Automatica 93、476-488（2018）·Zbl 1400.93129号 ·doi:10.1016/j.automatica.2018.03.040
[13] Lima，P.M.、Alves，M.V.S.、Carvalho，L.K.、Moreira，M.V.：监控系统中网络攻击的安全性。摘自：第20届国际会计师联合会世界大会，法国图卢兹，第12333-12338页（2017年）
[14] Lima，P.M.、Carvalho，L.K.、Moreira，M.V.：网络物理系统的可检测和不可检测网络攻击安全。摘自：第14届IFAC离散事件系统国际研讨会，意大利索伦托，第179-185页（2018年）
[15] Lima，P.M.，Alves，M.V.S.，Carvalho，L.K.，Moreira，M.V.：针对网络物理系统的通信网络攻击的安全。J.控制自动。选举人。系统。30(1), 125-135 (2019)
[16] Lin，L.，Thuijsman，S.，Zhu，Y.，Ware，S.、Su，R.、Reniers，M.：成功执行器攻击者对监督者的合成。ArXiv电子版（2019年）。arXiv:1807.06720v4型
[17] Pasqualetti，F.、Dörfler，F.和Bullo，F.：网络物理系统中的攻击检测和识别。IEEE传输。自动。对照58（11），2715-2729（2013）·Zbl 1369.93675号
[18] Ramadge，P.J.G.，Wonham，W.M.：离散事件系统的控制。程序。IEEE 77（1），81-98（1989）·数字对象标识代码：10.1109/5.21072
[19] Su，R.：具有有限传感器读数变化的网络攻击模型。2017年美国控制会议，美国西雅图，第3200-3205页（2017）
[20] Su，R.：通过有限的传感器读数改变来阻止网络攻击的监管合成。Automatica 94，35-44（2018）·Zbl 1400.93189号 ·doi:10.1016/j.automatica.2018.04.006
[21] Sundaram，S.，Hadjicostis，C.N.：在存在恶意代理的情况下，通过线性迭代策略进行分布式函数计算。IEEE传输。自动。控制56（7），1495-1508（2011）·Zbl 1368.93140号 ·doi:10.1109/TAC.2010.2088690
[22] 用钳子钳起。，Y.，Li，Z.，Seatzu，C.，Giua，A.：使用Petri网验证基于状态的不透明度。IEEE传输。自动。控制62（6），2823-2337（2017）·Zbl 1369.68265号
[23] Thorsley，D.，Teneketzis，D.：受控离散事件系统中的入侵检测。摘自：第45届IEEE决策与控制会议，美国圣地亚哥，第6047-6054页（2006）
[24] Wakaiki，M.、Tabuada，P.、Hespanha，J.P.：受到攻击的离散事件系统的监督控制。动态。游戏应用程序。(2018). https://doi.org/10.1007/s13235-018-0285-3 ·Zbl 1431.91080号
[25] Zhang，Q.，Seatzu，C.，Li，Z.，Giua，A.：对部分观测到的离散事件系统进行有界传感器读取编辑的网络攻击。ArXiv电子版（2019年）。arXiv:1906.10207
[26] Zhu，Y.，Lin，L.，Su，R.：主管对执行器启用攻击的模糊处理。摘自：第18届欧洲控制会议，意大利那不勒斯，第1760-1765页（2019年）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。