×
汤马斯·马斯托普斯;尹、香

确定标记Petri网的可检测性。 （英语） Zbl 1415.93063号

Automatica公司 104, 238-241 (2019).
摘要：离散事件系统的可检测性是一种属性，用于决定是否可以根据观察结果确定当前和后续状态。我们研究了被建模为标记Petri网的系统的强可检测性和弱可检测性检查算法的存在性。强大的可检测性要求我们能够总是在有限次数的观察后，确定系统的当前和后续标记，而弱可检测性要求我们可以在有限次数观察后确定系统的现有和后续标记一些系统的轨迹。我们证明了有一种算法可以检查需要指数空间的强可检测性，而没有算法可以检查弱可检测性。

引用于8文件

MSC公司：

93个B07 可观察性
93元65角 离散事件控制/观测系统
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

离散事件系统;Petri网;可探测性;复杂性;可判定性
PDF格式BibTeX公司 XML格式引用
\textit{T.Masopust}和\textit{X.Yin}，Automatica 104，238--241（2019；Zbl 1415.93063）
全文： DOI程序 arXiv公司

参考文献：

[1] 阿提格，M.F。；Habermehl，P.，论Yen的Petri网路径逻辑，国际计算机科学基础杂志，22，4，783-799（2011）·Zbl 1230.68153号
[2] 卡巴西诺，M.P。；A.Giua。；Lafortune，S。；Seatzu，C.，使用验证器网络进行Petri网可诊断性分析的新方法，IEEE自动控制事务，57，12，3104-3117（2012）·Zbl 1369.93373号
[3] Dickson，L.，具有不同素因子的奇完全原始充裕数的有限性，美国数学杂志，35，4，413-422（1913）
[4] Esparza，J.，Petri nets，（演讲笔记（2018））
[5] Hack，M.，《Petri网的可判定性问题》（1976），麻省理工学院：麻省理学院剑桥分校，马萨诸塞州，美国（博士论文）
[6] 科洛格鲁，C。；Hadjicostis，C.N.，概率有限自动机中可检测性的验证，Automatica，86，192-198（2017）·Zbl 1375.93118号
[7] König，D.，《数学科学学报》，第3期，第121-130页（1927年）
[8] Masopus，T.，《决定离散事件系统可检测性的复杂性》，Automatica，93，257-261（2018）·Zbl 1400.93188号
[9] Masopus，T。；Yin，X.，决定标记Petri网的可检测性（2018），arxiv预印本：1802.02087·Zbl 1415.93063号
[10] Ozveren，C.M。；Willsky，A.S.，离散事件动态系统的可观测性，IEEE自动控制汇刊，35，7，797-806（1990）·Zbl 0709.68030号
[11] Peterson，J.L.，Petri网理论和系统建模（1981），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔，美国·Zbl 0461.68059号
[12] Ramadge，P.J.，离散事件系统的可观测性，（决策与控制会议（CDC）（1986）），1108-1112
[13] 舒，S。；Lin，F.，离散事件系统的广义可检测性，《系统与控制快报》，60，5，310-317（2011）·Zbl 1214.93066号
[14] 舒，S。；Lin，F.，离散事件系统的延迟可检测性，IEEE自动控制汇刊，58，4，862-875（2013）·Zbl 1369.93384号
[15] 舒，S。；林，F。；Ying，H.，离散事件系统的可检测性，IEEE自动控制汇刊，52，12，2356-2359（2007）·Zbl 1366.93366号
[16] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，标记Petri网系统中不透明度验证问题的可判定性，Automatica，80，48-53（2017）·Zbl 1370.93172号
[17] Yen，H.-C.，确定某些Petri网路径存在性的统一方法，信息与计算，96，1，119-137（1992）·Zbl 0753.68078号
[18] Yin，X.，具有概率传感器故障的随机离散事件系统的初始状态可检测性，Automatica，80，127-134（2017）·Zbl 1370.93173号
[19] Yin，X.，标记Petri网的可预测性验证，IEEE自动控制汇刊，63，61828-1834（2018）·Zbl 1395.68200号
[20] 尹，X。；Lafortune，S.，关于标记Petri网可诊断性的可判定性和复杂性，IEEE自动控制事务，62，11，5931-5938（2017）·Zbl 1390.93539号
[21] 尹，X。；Lafortune，S.，模块离散事件系统一类观测属性的验证复杂性，Automatica，83，199-205（2017）·Zbl 1373.93220号
[22] Zhang，K.，确定离散事件系统弱（周期）可检测性的问题是PSPACE完备的，Automatica，81217-220（2017）·Zbl 1372.93143号
[23] 张凯。；Giua，A.，带抑制弧的标记Petri网系统的弱（近似）可检测性，（WODES（2018）），179-183
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。