×
弗朗西斯科·巴西利；毛里齐奥·博西亚；吉安马利亚·德·托马西；卡洛·莫塔；克劳迪奥·斯特尔

一种基于优化的方法，用于评估标记和有界Petri网系统中的不干扰性。 （英语） Zbl 1485.93342号

非线性分析。，混合系统。 44，文章ID 101153，23 p.（2022）.
摘要：本文提出了一种基于优化的方法来评估标记Petri网模型离散事件系统中的强非确定性非干扰（SNNI）和互模拟SNNI（BSNNI）。SNNI的评估需要解决具有整数变量和线性约束的可行性问题，这是通过扩展以前在未标记网络系统的情况下给出的结果得出的。此外，BSNNI案件可以用两种不同的方式处理。首先，与SNNI的情况类似，评估BSNNI的条件是必要和充分的，可以从未标记框架中给出的条件中推导出来，需要解决具有整数变量和线性约束的可行性问题。然后，给出了评估BSNNI的一个新的充要条件，该条件要求求解具有非线性约束的整数可行性问题。此外，我们还展示了如何将这些问题重构为等价的混合整数线性规划（MILP）问题。通过几个例子证明了所提方法的有效性。事实证明，与需要解决可行性问题的条件相比，评估BSNNI的新条件（需要解决MILP问题）在计算上更有效。

引用于1文件

MSC公司：

93元65角 离散事件控制/观测系统
90立方厘米 混合整数编程

关键词：

系统隐私；不干涉；标记Petri网；MILP和ILP问题

软件：

UMDES公司；快速表达式；GLPK公司；YALMIP公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Basile}等人，《非线性分析》。，混合系统。44，文章ID 101153，23 p.（2022；Zbl 1485.93342）
全文： 内政部

参考文献：

[1] Alladi，T。；查莫拉，V。；Zeadally，S.，《工业控制系统：网络攻击趋势和对策》，计算机。社区。，155, 1-8 (2020)
[2] Cao，L.，《网络物理系统网络攻击调查》，IEEE Access，8，44219-44227（2020）
[3] A.Rashidinejad等人，《受到攻击的离散事件系统的监督控制：概述和展望》，载于：（2019年1月8日）欧洲控制会议，意大利那不勒斯ECC，2019年，第1732-1739页。
[4] 卡桑德拉斯，C。；Lafortune，S.，《离散事件系统导论》（2008），施普林格出版社·Zbl 1165.93001号
[5] J.Bryans，M.Koutny，P.Ryan，《使用带静默动作的Petri网建模动态不透明度》，载于：IFIP世界计算机大会，TC 12004，第159-172页。
[6] Wu，Y。；Lafortune，S.，《集中式和协调式体系结构中不透明度相关概念的比较分析》，离散事件动态。系统。，23, 3, 307-339 (2013) ·兹比尔1272.93084
[7] 雅各布·R。；Lesage，J。；Faure，J.，《离散事件系统不透明度概述：模型、验证和量化》，年。版本控制，41，135-146（2016）
[8] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，使用Petri网验证基于状态的不透明度，IEEE Trans。自动化。控制，62，6，2823-2337（2017）·兹比尔1369.68265
[9] 科洛格鲁，C。；Lafortune，S.，《不透明增强的嵌入式插入函数》，IEEE Trans。自动化。控制，66，4184-4191（2021）·Zbl 1471.93176号
[10] N.Busi，R.Gorrieri，《不干涉Petri网的调查》，载于：《并发与Petri网讲座》，2004年，第328-344页·Zbl 1088.68121号
[11] Ben Hadj-Alouane，N.，《关于验证不可传递的不干涉多级安全》，IEEE Trans。系统。人类网络。B、 35、5、948-958（2005）
[12] Benattar，G。；卡塞兹，F。；石灰，D。；Roux，O.，《非干涉定时系统的控制与合成》，国际。J.Control，88，2，217-236（2015）·Zbl 1328.93109号
[13] 巴尔丹，P。；Beggiato，A.，《多层及物和非及物不干涉，因果关系》，Theoret。计算。科学。，706, 54-82 (2018) ·Zbl 1380.68292号
[14] 萨布里，A。；Hadjicostis，C.，《通过状态估计器构造实施不透明监管策略》，IEEE Trans。自动化。对照，57，5115-1165（2011）·Zbl 1369.93109号
[15] 巴兹利，F。；德托马西，G。；Sterle，C.，通过有界Petri网中的监督控制实现无干扰执行，IEEE Trans。自动化。控制，66，3653-3666（2021）·兹比尔1471.93171
[16] 布莱恩斯，J。；库特尼，M。；马扎雷，L。；Ryan，P.，《通俗到过渡系统的不透明度》，国际期刊《信息安全》。，7, 6, 421-435 (2008)
[17] 阿凯拉，R。；Tang，H。；McMillin，B.，《网络物理系统中的信息流安全分析》，《国际基础设施评论》。保护。，3, 3-4, 157-173 (2010)
[18] F.Basile，A.Boussif，G.De Tommasi，M.Ghazel，C.Sterle，通过ILP优化进行有效诊断性评估：铁路基准，收录于：（23^{operatorname{Rd}}）IEEE新兴技术和工厂自动化国际会议，意大利都灵，2018年，第441-448页。
[19] 巴兹利，F。；De Tommasi，G.，用有界Petri网建模的离散事件系统中互模拟无干扰评估，IEEE控制系统。莱特。，5, 4, 1151-1156 (2020)
[20] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，77，4，541-580（1989）
[21] Giua，A.，带语言规范的Petri网监督控制，（离散事件系统控制（2013）），235-255·Zbl 1304.93055号
[22] Kilinç，G.，《分布式系统的非干扰和活力的形式概念》（2016年），信息学研究生院，通信科学院，米兰-比科卡大学，（博士论文）
[23] 卡巴西诺，M。；A.Giua。；Seatzu，C.，《使用具有不可观测转换的Petri网对离散事件系统进行故障检测》，Automatica，46，9，1531-1539（2010）·Zbl 1201.93074号
[24] 卡巴西诺，M。；A.Giua。；Seatzu，C.，Petri网的结构分析，（离散事件系统的控制（2013）），213-233·Zbl 1304.93053号
[25] García Vallés，F.，《对位置/过渡网的结构和符号分析及其在柔性制造系统和异步电路中的应用的贡献》（1999年），萨拉戈萨大学高级理工学院信息与工程系，（博士论文）
[26] 巴兹利，F。；Chiacchio，P。；De Tommasi，G.，On（\mathcal{K}）-通过整数线性规划对Petri网的可诊断性，Automatica，48，9，2047-2058（2012）·Zbl 1257.93064号
[27] 姜杰。；黄，Z。；马伟（Ma，W.）。；Cao，Y.，使用信息流分析检测web服务组合的隐含信息泄漏，Front。技术信息。电子。工程师，19，4，494-502（2018）
[28] Uslu，A。；Stausberg，J.，《电子病历的价值：文献分析》，J.Biomed。通知。，41, 4, 675-682 (2008)
[29] 弗莱明，D。；Hübner，U.，《如何改进交接班和协作基础的改变？电子病历系统发挥了什么作用？》？系统文献综述的结果，《国际医学杂志》。，82, 7, 580-592 (2013)
[30] Zahabi，M。；卡伯，D。；Swangneter，M.，《电子病历界面设计中的可用性和安全性：最新文献和指南制定综述》，《人为因素》，57，5，805-834（2015）
[31] Xpress-optimizer-参考手册，版本\（31.01。\operatorname{FICO}^{\operatorname{TM}}\）xpress优化套件（2017）
[32] GLPK（GNU线性编程工具包）（2021），https://www.gnu.org/software/glpk/（2021年1月12日访问）
[33] MOSEK Solver（2021），https://www.mosek.com/（2021年1月14日访问）
[34] J.Löfberg，YALMIP:MATLAB中建模和优化的工具箱，见：Proc。CACSD会议，台湾台北，2004年。
[35] 巴兹利，F。；De Tommasi，G.，离散事件系统多级不敏感不干扰评估，IEEE控制系统。莱特。，6, 349-354 (2022)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。