×
刘富春;杨鹏彪;赵睿;兹比格涅夫Dziong

随机离散事件系统的安全可诊断性验证。 （英语） Zbl 1482.93385号

国际J.控制 95，第2号，372-379（2022）.
摘要：在文献中，离散事件系统（DES）的安全可诊断性被视为容错监控的第一个必要步骤。对于安全可诊断系统，不仅要求在有限延迟内检测到系统中发生的故障，而且还要求在运行任何不安全操作之前完成检测。本文通过构造一个称为安全验证器的非确定性自动机，提出了一种处理随机DES安全诊断问题的新方法，并给出了随机DES可安全诊断的充分必要条件。值得注意的是，就状态数而言，所提出的方法比基于安全诊断器的现有方法复杂度更低。

MSC公司：

93元65角 离散事件控制/观测系统
93E03型 控制理论中的随机系统（一般）

关键词：

离散通风系统;安全可诊断性;故障诊断;随机自动机;验证器

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Liu}等人，国际期刊控制95，No.2，372--379（2022；Zbl 1482.93385）
全文： DOI程序

参考文献：

[1] 卡瓦略，L.K。；莫雷拉，M.V。；巴西利奥，J.C。；Lafortune，S.，《针对观测值永久损失的离散事件系统稳健诊断》，Automatica，49，1，223-231（2013）·Zbl 1257.93065号 ·doi:10.1016/j.automatica.2012.09.017
[2] 卡桑德拉斯，C.G。；Lafortune，S.，离散事件系统简介（2008），Springer Science Business Media，2008·兹比尔1165.93001
[3] 陈，J。；科洛格鲁，C。；Hadjicostis，C.N。；Kumar，R.，离散事件系统随机可诊断性的修订测试，IEEE自动化科学与工程学报，15，1，404-408（2018）·doi:10.1109/TASE.2016.2551746
[4] 陈，J。；Kumar，R.，离散事件系统随机可诊断性的多项式测试，IEEE自动化科学与工程学报，10，4，969-979（2013）·doi:10.1109/TASE.2013.2251334
[5] 海曼，M。；Lin，F.，非确定性系统的离散事件控制，IEEE自动控制汇刊，43，1，3-17（1998）·Zbl 0991.93060号 ·doi:10.1109/9.654883
[6] Liu，F.，模糊离散事件系统可诊断性的多项式时间验证，中国科学院（信息科学），57，6，1-10（2014）·Zbl 1336.93094号 ·数字对象标识代码：10.1007/s11432-013-4945-z
[7] Liu，F.，模糊离散事件系统的安全可诊断性和多项式时间验证，IEEE模糊系统汇刊，23，5，1534-1544（2015）·doi:10.1109/TFUZZ.2014.2362767
[8] 刘，F。；邱，D.，随机离散事件系统的安全可诊断性，IEEE自动控制汇刊，53，5，1291-1296（2008）·Zbl 1367.93620号 ·doi:10.1109/TAC.2008.921035
[9] 刘，F。；邱，D.，模糊离散事件系统的可诊断性：模糊方法，IEEE模糊系统事务，17，2，1063-6706（2009）·doi:10.1109/TFUZZ.2009.2013840
[10] 刘，F。；邱，D。；Xing，H。；Fan，Z.，随机离散事件系统的分散诊断，IEEE自动控制汇刊，53，2，535-546（2008）·Zbl 1367.93621号 ·doi:10.1109/TAC.2007.915172
[11] Luo，M.、Sun，F.和Li，Y.（2011）。测试随机离散事件系统可诊断性的多项式算法。第八届亚洲控制会议（ASCC）。2011年5月15日至18日。IEEE，台湾高雄（第1048-1053页）。
[12] 莫雷拉，M.V。；耶稣，T.C。；Basilio，J.C.，离散事件系统分散可诊断性的多项式时间验证，IEEE自动控制汇刊，56，7，1679-1684（2011）·Zbl 1368.93384号 ·doi:10.1109/TAC.2011.2124950
[13] Paoli，A。；Lafortune，S.，离散事件系统容错监控的安全诊断能力，IEEE自动控制汇刊，41，8，1335-1347（2005）·Zbl 1086.93043号 ·doi:10.1016/j.automatica.2005.03.017
[14] Qiu，D.，模糊离散事件系统的监督控制：一种形式化方法，IEEE系统汇刊，人与控制论，B部分（控制论），35，1，72-88（2005）·doi:10.1109/TSMCB.2004.840457
[15] 邱，W。；Kumar，R.，离散事件系统的分散故障诊断，IEEE系统、人与控制论汇刊-A部分：系统与人，36，2，384-395（2006）·doi:10.1109/TSMCA.2005.853503
[16] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE自动控制汇刊，40，9，1555-1575（1995）·Zbl 0839.93072号 ·doi:10.1109/9.412626
[17] 苏，R。；Wonham，W.M.，离散事件系统分布式故障诊断中的全局和局部一致性，IEEE自动控制汇刊，50，12，1923-1935（2005）·Zbl 1365.93303号 ·doi:10.1109/TAC.2005.860291
[18] 托斯利，D。；Teneketzis，D.，随机离散事件系统的可诊断性，IEEE自动控制汇刊，50，4，476-492（2005）·Zbl 1365.93478号 ·doi:10.1109/TAC.2005.844722
[19] 尹，X。；陈，J。；Li，Z。；Li，S.，随机离散事件系统的鲁棒故障诊断，IEEE自动控制汇刊，64，10，4237-4244（2019）·Zbl 1482.93616号 ·doi:10.1109/TAC.9
[20] 尹，X。；Li，Z.，离散事件系统的可靠分散故障预测，IEEE系统、人与控制论汇刊：系统，46，11，1598-1603（2016）·doi:10.1109/TSMC2015.2499178
[21] Yoo，T。；Lafortune，S.，部分观测离散事件系统可诊断性的多项式时间验证，IEEE自动控制汇刊，47，9，1491-1495（2002）·Zbl 1364.93176号 ·doi:10.10109/TAC.2002.802763
[22] 扎伊顿，J。；Lafortune，S.，《离散事件系统故障诊断方法概述》，《控制年度回顾》，37，2，308-320（2013）·doi:10.1016/j.arcontrol.2013.09.009
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。