×
兰浩;童，尹;郭、金;卡拉·西特祖

使用Petri网验证C可检测性。 （英语） Zbl 1459.68146号

信息科学。 528, 294-310 (2020).
概述：可检测性描述了系统在有限次数的观察后唯一确定当前和后续状态的特性。在本文中，我们将可检测性扩展到C-可检测性这只需要将一组给定的关键状态与其他状态区分开来。我们在标记Petri网的框架中定义了四种类型的C-可检测性：强C-可测性、弱C-可探测性、周期性强C-可以探测性和周期性弱C-可以检测性。此外，我们提出了在有界标记Petri网系统的情况下验证这些性质的有效方法。提出的方法使用了基标记的概念，因此不需要对可达性空间进行穷举。

引用于2文件

MSC公司：

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

关键词：

可探测性;Petri网;离散通风系统;状态估计

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Lan}等人，《信息科学》。528294-310（2020年；Zbl 1459.68146）
全文： 内政部 arXiv公司

参考文献：

[1] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》（2008），施普林格出版社·Zbl 1165.93001号
[2] 林，F。；Wonham，W.M.，《离散事件系统的可观测性》，《信息科学》。，44, 3, 173-198 (1988) ·Zbl 0644.93008号
[3] 拉马奇，P.J.G。；Wonham，W.M.，离散事件系统的控制，Proc。IEEE，77，1，81-98（1989）
[4] 舒，S。；林，F。；Ying，H.，离散事件系统的可检测性，IEEE Trans。自动化。控制，52，12，2356-2359（2007）·兹比尔1366.93366
[5] Wu，Y。；Lafortune，S.，集中和协调架构中不透明相关概念的比较分析，Disc。事件动态。系统。，23, 3, 307-339 (2013) ·Zbl 1272.93084号
[6] 卡巴西诺，M.P。；A.Giua。；Seatzu，C.，《使用具有不可观测转换的Petri网对离散事件系统进行故障检测》，Automatica，46，9，1531-1539（2010）·Zbl 1201.93074号
[7] A.Giua。；西特祖，C。；Basile，F.，《带死锁恢复的定时Petri网的基于观测器的状态反馈控制》，IEEE Trans。自动化。控制，49，1，17-29（2004）·Zbl 1365.68341号
[8] Tong，Y。；李，Z。；西特祖，C。；Giua，A.，使用Petri网验证基于状态的不透明度，IEEE Trans。自动化。控制，62，6，2823-2337（2017）·Zbl 1369.68265号
[9] A.Giua。；西特祖，C。；Corona，D.，带沉默转移的Petri网的标记估计，IEEE Trans。自动化。控制，52，9，1695-1699（2007）·Zbl 1368.68261号
[10] 舒，S。；Lin，F.，离散事件系统的广义可检测性，系统。控制信函。，60, 5, 310-317 (2011) ·Zbl 1214.93066号
[11] Zhang，K.，《确定离散事件系统弱（周期）可检测性的问题是PSPACE-complete，Automatica，81，217-220（2017）》·Zbl 1372.93143号
[12] 舒，S。；Lin，F.，离散事件系统的延迟可检测性，IEEE Trans。自动化。控制，58,4862-875（2013）·Zbl 1369.93384号
[13] Masopus，T.，《决定离散事件系统可检测性的复杂性》，Automatica，93，257-261（2018）·Zbl 1400.93188号
[14] 卡巴西诺，M.P。；A.Giua。；波奇，M。；Seatzu，C.，使用标记Petri网进行离散事件诊断。制造系统应用，控制工程实践。，19, 9, 989-1001 (2011)
[15] 李，Z。；梁，J。；卢，Y。；Wang，A.，多资源采集FMS的死锁预防方法，ICARCV 2004第八届控制、自动化、机器人和视觉会议。，第3卷，2117-2122（2004）
[16] Masopus，T。；Yin，X.，确定标记Petri网的可检测性，Automatica（2019）·Zbl 1415.93063号
[17] 童，Y。；兰·H。；Jin，G.，标记Petri网中可检测性的验证，出版社，美国控制会议（ACC），5627-5632（2019）
[18] Tarjan，R.，深度-第一搜索和线性图算法，SIAM J.Compute。，1, 2, 146-160 (1972) ·兹比尔0251.05107
[19] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，77，4，541-580（1989）
[20] 马，Z。；Tong，Y。；李，Z。；Alessandro，G.，Petri网可达空间的基标记表示及其在可达性问题中的应用，IEEE Trans。自动化。对照，621078-1093（2017）·Zbl 1366.93357号
[21] Bang-Jensen，J。；Gutin，G.Z.，有向图：理论、算法和应用（2008），Springer科学与商业媒体
[22] Johnson，D.B.，《寻找有向图的所有基本回路》，SIAM J.Compute。，4, 1, 77-84 (1975) ·Zbl 0275.05112号
[23] A.Giua。；DiCesare，F。；Silva，M.，具有不可控跃迁的网络上的广义互斥约束，1992年IEEE国际系统会议，人与控制论，第2卷，974-979（1992）
[24] 卡巴西诺，M.P。；A.Giua。；Lafortune，S。；Seatzu，C.，使用验证器网络进行Petri网可诊断性分析的新方法，IEEE Trans。自动化。控制，57，12，3104-3117（2012）·Zbl 1369.93373号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。