迪米特里·列斐伏尔;Hadjicostis,Christopros N。 使用马尔科夫轨迹观测器对定时随机离散事件系统进行隐私和安全分析。 (英语) 兹比尔1448.93198 离散事件动态。系统。 30,第3期,413-440(2020年). 总结:根据对收集到的关于给定系统的连续测量值的适当分析,可以评估许多应用程序域中隐私和安全的各个方面。这项工作致力于在时间随机离散事件系统(DES)的背景下研究这些问题,DES是用部分可观测的时间随机Petri网模型建模的。第一个贡献是引入了一个步长轨迹观测器,该观测器可以捕获轨迹的所有可能后缀,这些后缀与已记录的给定测量序列一致。当系统按照马尔科夫动力学行为时(即所有事件的发生都以指数概率密度函数分布在时间上),提出了一种带结果观测器的时间系统的并行组合,从而导致马尔科夫过程。第二个贡献是利用马尔科夫分析计算某些重要的特征时间,在此期间基础系统应满足给定的属性(基于给定轨迹的长度后缀)。为了说明这种方法,我们考虑了两个特殊的属性,即(k)后缀语言不透明度和(k)可诊断性,这两个属性可以在随机时间上下文中使用马尔可夫轨迹观测器进行研究。 引用于4文件 MSC公司: 93元65角 离散事件控制/观测系统 93E03型 控制理论中的随机系统(综述) 93B53号 观察员 93-10 系统和控制理论相关问题的数学建模或仿真 关键词:离散事件系统;随机Petri网;隐私;安全;\(k\)-后缀语言不透明度;\(k)-可诊断性 PDF格式BibTeX公司 XML格式引用 \textit{D.Lefebvre}和\textit{C.N.Hadjicostis},离散事件动态。系统。30,第3号,413-440(2020;Zbl 1448.93198) 全文: 内政部 参考文献: [1] 巴杜埃尔,E。;Bednarczyk,M。;Borzyszkowski,A。;凯劳德,B。;Darondeau,P.,并发机密,DEDS,17,4,425-446(2007)·Zbl 1125.93320号 [2] Basile F,Chiacchio P,De Tommasi G(2008)Petri网可诊断性的充分条件。过程中。第九届世界博览会,第436-442页,瑞典哥德堡 [3] 巴兹利,F。;Chiacchio,P。;De Tommasi,G.,《离散事件系统在线诊断的有效方法》,IEEE TAC,54,4,748-759(2009)·Zbl 1367.93358号 [4] 巴兹利,F。;Chiacchio,P。;De Tommasi,G.,《通过整数线性规划实现Petri网的K-可诊断性》,Automatica,482047-2058(2012)·兹比尔1257.93064 ·doi:10.1016/j.automatica.2012.06.039 [5] 巴兹利,F。;卡巴西诺议员;Seatzu,C.,具有不可观测跃迁的标记时间Petri网系统的状态估计和故障诊断,IEEE TAC,60,4,997-1009(2015)·Zbl 1360.93413号 [6] 巴兹利,F。;De Tommasi,G.,标记Petri网中基于语言的不透明度的代数表征,IFAC-PapersOnLine,51,7,329-336(2018)·doi:10.1016/j.ifacol.2018.06.321 [7] 鲍比奥,A。;普利亚菲托,A。;Telek,M。;Trivedi,K.,《随机Petri网的最新发展》,《循环系统杂志》。,和Comp,8,1,119-158(1998)·doi:10.1142/S0218126698000067 [8] 布莱恩斯,JW;库特尼,M。;Ryan,PYA,使用Petri网建模不透明度,《Theor Comp Sci电子笔记》,121,101-115(2005)·Zbl 1272.68292号 ·doi:10.1016/j.entcs.2004.10.010 [9] Cabasino MP,Giua A,Lafortune S,Seatzu C(2009a)无界Petri网的可诊断性分析。过程中。第48届IEEE CDC,第1267-1272页,中国上海·Zbl 1369.93373号 [10] Cabasino MP,Giua A,Seatzu C(2009b)有界Petri网的可诊断性分析。过程中。第48届IEEE疾病控制与预防中心,第1254-1260页,中国上海 [11] 卡巴西诺议员;A.Giua。;Seatzu,C.,使用PN进行DES故障检测,Automatica,46,9,1531-1539(2010)·Zbl 1201.93074号 ·doi:10.1016/j.automatica.2010.06.013 [12] Chung,SL,利用部分可观测跃迁诊断基于PN的模型,Comp Int Manuf国际期刊,18,2-3,158-169(2005)·doi:10.1080/095119205200288206 [13] 科罗纳·D。;A.Giua。;Seatzu,C.,带静默转换的Petri网的标记估计,IEEE TAC,52,9,1695-1699(2007)·Zbl 1368.68261号 [14] Declerck,P。;Bonhome,P.,具有不可观测跃迁的定时标记PN的状态估计,IEEE-TASE,11,1,103-110(2014) [15] Giua A(1997)基于事件观测的Petri网状态估计,Proc。IEEE CDC,4086-4091,美国加利福尼亚州圣地亚哥 [16] Giua A(2011)《使用Petri网进行状态估计和故障检测》。第32次国际会议申请。《理论Petri网》,第38-48页,英国纽卡斯尔·Zbl 1330.68202号 [17] A.Giua。;Seatzu,C.,位置/过渡网的可观测性,IEEE TAC,47,9,1424-1437(2002)·Zbl 1364.93462号 [18] Haddad S,Moreaux P(2009)随机Petri网(第7章),《Petri网:基本模型和应用》,威利出版社·Zbl 1418.68141号 [19] Latouche G和Ramaswami V(1999)随机建模中的矩阵分析方法简介,SIAM·Zbl 0922.60001号 [20] Lefebvre,D.,SPN与contPN的渐近平均标记的近似,NAHS,6,972-987(2012)·Zbl 1270.93072号 [21] 列斐伏尔,D。;El Moudni,A.,定时Petri网的触发和启用序列估计,IEEE SMCA,31,3,153-162(2001) [22] 列斐伏尔,D。;Delherm,C.,用Petri网模型诊断DES,IEEE TASE,4,1,114-118(2007) [23] Lefebvre,D.,普通Petri网在Z3向量空间中的点火序列估计,IEEE-SMCA,38,6,1325-1336(2008) [24] Lefebvre,D.,部分观察Petri网的故障诊断和预测,IEEE SMCA,44,10,1413-1424(2014) [25] Lefebvre D和Hadjicostis C(2019)《时间随机离散事件系统的轨迹观测器:安全和隐私分析应用》,Proc。法国巴黎IEEE-CODIT [26] 李,L。;Hadjicostis,CN,带不可观测跃迁的标记PN中的最小成本跃迁触发序列估计,IEEE-TASE,8,2,394-403(2011) [27] Lin,F.,离散事件系统的不透明度及其应用,Automatica,47,3,496-503(2011)·Zbl 1216.93020号 ·doi:10.1016/j.automatica.2011.01.002 [28] Molloy,M.,使用随机Petri网进行性能分析,IEEE计算机事务C,31913-917(1982)·doi:10.1109/TC.1982.1676110 [29] Norris JR(1997)《马尔可夫链》,剑桥出版社,第60-125页·Zbl 0873.60043号 [30] Ru,Y。;Hadjicostis,CN,用部分观测Petri网建模的离散事件系统的故障诊断,DEDS,19551-575(2009)·Zbl 1180.93069号 [31] Saboori A,Hadjicostis CN(2007)《离散事件系统中的安全和不透明概念》,Proc。第46届IEEE CDC,5056-5061 [32] 萨布里,A。;Hadjicostis,CN,DES安全应用中初始状态不透明度的验证,信息科学,246115-132(2013)·Zbl 1320.68119号 ·doi:10.1016/j.ins.2013.05.033 [33] 萨布里,A。;Hadjicostis,CN,概率有限自动机中的当前状态不透明度公式,IEEE TAC,59,1,120-133(2014)·Zbl 1360.68570号 [34] Tong Y、Li Z、Seatzu C和Giua A(2016)使用验证器验证PN中基于语言的不透明度,Proc。ACC,757-763,美国波士顿 [35] Tong,Y。;Li,Z。;西特祖,C。;Giua,A.,《使用Petri网验证基于状态的不透明度》,IEEE TAC,62,62823-2837(2017)·Zbl 1369.68265号 [36] Ramírez-Treviño A、Ruiz-Beltran E、Rivera-Rangel I和Lopez-Mellado E(2007)离散事件系统的在线故障诊断。基于Petri网的方法,IEEE TASE,4(1):31-39 [37] Ushio T,Onishi L,Okuda K(1998)《基于错误行为的Petri网模型的故障检测》,Proc。美国加利福尼亚州圣地亚哥IEEE SMC的 [38] 温,Y。;李,C。;Jeng,M.,检查Petri网可诊断性的多项式算法,IEEE SMC程序,32542-2547(2005) [39] Wu,Y-C;Lafortune,S.,《集中与协调架构中不透明度相关概念的比较分析》,DEDS,23,3,307-339(2013)·Zbl 1272.93084号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。