×
王德广;王，习;李志武

具有部分可观测输出的离散事件系统的基于状态的故障诊断。 （英语） Zbl 1461.93319号

信息科学。 529, 87-100 (2020).
摘要：本文提出了一种基于状态的方法来解决输出部分可观测的离散事件系统（DES）由于缺少传感器或传感器的局限性而导致的诊断和可诊断性问题。用于诊断的诊断器由两部分组成：状态估计器和故障决策器。状态估计器根据观察到的输出序列对系统进行状态估计，并将估计传递给确定故障是否发生的故障决策者。此外，启动诊断程序时不需要知道系统的状态或条件（故障状态）；因此，不必同时初始化系统和诊断程序，也就是说，可以在系统运行时的任何时刻初始化诊断程序。在系统输出部分可观测的前提下，给出了可诊断性的概念，并设计了一种有效的可诊断性验证算法，其计算复杂度为系统状态数的多项式。最后，将该算法应用于泵阀控制系统。

引用于4文件

MSC公司：

93元65角 离散事件控制/观测系统
93个B07 可观察性

关键词：

离散事件系统;故障诊断;可诊断性;基于国家的;部分可观测输出

软件：

UMDES公司
PDF格式BibTeX公司 XML格式引用
\textit{D.Wang}等人，《信息科学》。529，87-100（2020年；Zbl 1461.93319）
全文： 内政部

参考文献：

[1] Ramadge，P.J。；Wonham，W.M.，一类离散事件过程的监督控制，SIAM J.控制优化。，25, 1, 206-230 (1987) ·Zbl 0618.93033号
[2] Wonham，W.M。；Cai，K.，《离散事件系统的监督控制》，通信与控制工程专题丛书（2018），施普林格出版社
[3] 卡桑德拉斯，C.G。；Lafortune，S.，《离散事件系统导论》（2008），施普林格出版社·Zbl 1165.93001号
[4] Lafortune，S。；林，F。；Hadjicostis，C.N.，《离散事件系统中可诊断性和不透明度的历史》，Annu。版本控制，45，257-266（2018）
[5] A.Giua。；Silva，M.，《Petri网和自动控制：历史视角》，《年度》。版本控制，45223-239（2018）
[6] 西特祖，C。；Silva，M。；Schuppen，J.H.V.，《离散事件系统的控制：自动机和Petri网视角》（2013），伦敦：Springer-Verlag，LNCIS，第433卷·Zbl 1254.93007号
[7] Sampath，M。；Sengupta，R。；拉福琼，S。；Sinnamohideen，K。；Teneketzis，D.，离散事件系统的可诊断性，IEEE Trans。自动。控制，40，9，1555-1575（1995）·Zbl 0839.93072号
[8] Sampath，M。；Sengupta，R。；Lafortune，S。；Sinnamohideen，K。；Teneketzis，D.，使用离散事件模型进行故障诊断，IEEE Trans。控制系统。技术。，4, 2, 105-124 (1996)
[9] Lin，F.，离散事件系统的可诊断性及其应用，离散事件动力学。系统。，4, 2, 197-212 (1994) ·兹比尔0800.93030
[10] 德博克，R。；马利克，R。；Brandin，B.，《离散事件系统诊断的模块化体系结构》，Proc。第41届IEEE Conf.Dec.Cont.，417-422（2002），美国内华达州拉斯维加斯
[11] 尹，X。；Li，Z.，保证性能界的DES分散故障预测，Automatica，69，375-379（2016）·Zbl 1338.93240号
[12] 彭科尔，Y。；Cordier，M.，大型离散事件系统分散诊断的正式框架及其在电信网络中的应用，Artif。智力。，164, 2, 121-170 (2005) ·Zbl 1132.93336号
[13] 扎德·S·H。；Kwong，R.H。；Wonham，W.M.，《离散事件系统的故障诊断：框架和模型简化》，IEEE Trans。自动。控制，48，7，1199-1212（2003）·Zbl 1364.93464号
[14] Wang，Y。；Yoo，T.S。；Lafortune，S.，使用分散架构诊断离散事件系统，离散事件动态。系统。，17, 2, 233-263 (2007) ·Zbl 1115.93065号
[15] 苏·R。；Wonham，W.M.，离散事件系统分布式故障诊断中的全局和局部一致性，IEEE Trans。自动。控制，50，12，1923-1935（2005）·Zbl 1365.93303号
[16] Mohammadi-Idghamishi，A。；Hashtrudi-Zad，S.，《分层故障诊断：臭氧工厂的应用》，IEEE Trans。系统。人类网络。C部分申请。修订版，37,51040-1047（2007）
[17] Paoli，A。；Lafortune，S.，一类分层状态机的可诊断性分析，离散事件动态。系统。，18, 3, 385-413 (2008) ·Zbl 1171.93357号
[18] 卡瓦略，L.K。；巴西利奥，J.C。；Moreira，M.V.，《针对间歇性观测损失的离散事件系统稳健诊断》，Automatica，48，9，2068-2078（2012）·Zbl 1258.93077号
[19] 扎德·S·H。；Kwong，R.H。；Wonham，W.M.，《离散事件系统的故障诊断：结合定时信息》，IEEE Trans。自动。控制，50，7，1010-1015（2005）·兹比尔1365.93292
[20] Simeu Abazi，Z。；医学博士马斯科洛。；Knotek，M.，《离散事件系统的故障诊断：建模和验证》，Reliab。工程系统。安全。，95, 4, 369-378 (2010)
[21] 江，S。；Kumar，R.，《具有线性时间时序逻辑规范的离散事件系统的故障诊断》，IEEE Trans。自动。控制，49，6，934-945（2004）·Zbl 1365.93294号
[22] 托斯利，D。；Teneketzis，D.，随机离散事件系统的可诊断性，IEEE Trans。自动。控制，50，4，476-492（2005）·Zbl 1365.93478号
[23] 刘，F。；邱，D.，模糊离散事件系统的可诊断性：模糊方法，IEEE Trans。模糊系统。，17, 2, 372-384 (2009)
[24] 邓，W。；邱，D.，双模糊离散事件系统基于状态的分散诊断，IEEE Trans。模糊系统。，25, 4, 854-867 (2017)
[25] 舒曼，A。；彭科尔，Y。；Thiebaux，S.，《符号在线诊断方法谱》，Proc。第19届国家Conf.Artif。智力。，335-340 (2007)
[26] 布西夫，A。；加泽尔，M。；Klai，K.，《基于符号观测图的离散事件系统故障诊断》，国际期刊《临界计算》。系统。，8, 2, 141-168 (2018)
[27] Schmidt，K.，离散事件系统基于抽象的故障诊断，系统。对照Lett。，59, 1, 42-47 (2010) ·Zbl 1186.93044号
[28] 扎伊顿，J。；Lafortune，S.，《离散事件系统故障诊断方法概述》，年。版本控制，37，2，308-320（2013）
[29] 江，S。；黄，Z。；Chandra，V。；Kumar，R.，测试离散事件系统可诊断性的多项式算法，IEEE Trans。自动。控制，46，8，1318-1321（2001）·Zbl 1008.93053号
[30] Yoo，T.-S。；Lafortune，S.，部分观测离散事件系统可诊断性的多项式时间验证，IEEE Trans。自动。控制，47，9，1491-1495（2002）·Zbl 1364.93176号
[31] Prock，J.A.，使用petri网进行故障检测的新技术，Automatica，27，2239-245（1991）
[32] 拉米雷斯·特雷维尼奥，A。；Ruiz-Beltrán，E。；Rivera-Rangel，I。；López-Mellado，E.，离散事件系统的在线故障诊断。基于petri网的方法，IEEE Trans。自动。科学。工程，4，1，31-39（2007）
[33] Lefebvre，D.，部分观察petri网在线故障诊断，IEEE Trans。自动。控制，59，7，1919-1924（2014）·Zbl 1360.93427号
[34] Ru，Y。；Hadjicostis，C.N.，用部分观察petri网建模的离散事件系统的故障诊断，离散事件动态。系统。，19, 4, 551-575 (2009) ·Zbl 1180.93069号
[35] 卡巴西诺，M.P。；A.Giua。；Seatzu，C.，《使用具有不可观察转换的petri网对离散事件系统进行故障检测》，Automatica，46，9，1531-1539（2010）·Zbl 1201.93074号
[36] 多托利，M。；范蒂，M。；Mangini，A.，通过petri网和整数线性规划对DES进行故障检测，Automatica，45，11，2665-2672（2009）·Zbl 1180.93066号
[37] 巴兹利，F。；Chiacchio，P。；De Tommasi，G.，通过整数线性规划对标记petri网的可诊断性，Automatica，48，9，2047-2058（2012）·Zbl 1257.93064号
[38] 丛，X。；范蒂，M.P。；曼吉尼，A.M。；李，Z.，用petri网和整数线性规划进行分散诊断，IEEE Trans。系统。人类网络。A部分系统。，48, 10, 1689-1700 (2018)
[39] Yin，X.，标记petri网可预测性的验证，IEEE Trans。自动。控制，63，6，1828-1834（2018）·Zbl 1395.68200号
[40] Basile，F.，基于petri网模型的故障诊断方法概述，Proc。第13届欧洲大陆会议，2636-2642（2014）
[41] 高，Z。；Cecati，C。；Ding，S.X.，故障诊断和容错技术综述，第一部分：基于模型和基于信号的方法的故障诊断，IEEE Trans。Ind.Electron公司。，62, 6, 3757-3767 (2015)
[42] 高，Z。；Cecati，C。；Ding，S.X.，故障诊断和容错技术综述，第二部分：基于知识和混合/主动方法的故障诊断，IEEE Trans。Ind.Electron公司。，62, 6, 3768-3774 (2015)
[43] 施密特，K.W。；Breindl，C.，部分观测下离散事件系统的状态吸引框架，信息科学。，281, 10, 265-280 (2014) ·Zbl 1355.93121号
[44] 张，S。；Wu，N。；李，Z。；Qu，T。；Li，C.，基于Petri网的原油作业短期调度方法，储罐需求较少，Inf.Sci。，41, 7, 247-261 (2017) ·Zbl 1435.90077
[45] 陈，Y。；李，Z。；Al-Ahmari，A。；Wu，N。；Qu，T.，用petri网建模的柔性制造系统死锁恢复，信息科学。，38, 1, 290-303 (2017) ·Zbl 1429.90019号
[46] 林，F。；Wonham，W.M.，《离散事件系统的可观测性》，《信息科学》。，44, 3, 173-198 (1988) ·Zbl 0644.93008号
[47] 顾，C。；王，X。；李，Z。；Wu，N.，部分观测状态树结构的监督控制，信息科学。，465, 523-544 (2018) ·Zbl 1455.93118号
[48] 顾，C。；王，X。；Li，Z.，正常状态树结构部分观测监控综合，IEEE Trans。自动。科学。工程，16，2，984-997（2019）
[49] 马，C。；Wonham，W.M.，《状态树结构的非阻塞监督控制》（2005），柏林：斯普林格-Verlag，LNCIS，第317卷·Zbl 1114.93002号
[50] 李，L。；巴兹利，F。；Li，Z.，《在时间petri网系统中提高GMEC监管人员的许可性的方法》，IEEE Trans。自动。控制，65，1，237-251（2020）·Zbl 1483.93391号
[51] 刘，Y。；蔡，K。；Li，Z.，关于多智能体离散事件系统的可扩展监督控制，Automatica，108（2019）
[52] 陈，Q。；尹，L。；Wu，N。；El-Meligy，M。；沙拉夫，M。；Li，Z.，使用谓词的向量离散事件系统的可诊断性，IEEE Access，7147143-147155（2019）
[53] 王，D。；王，X。；Li，Z.，带条件抢占矩阵的状态树结构的非阻塞监督控制，IEEE Trans。Ind.通知。，16, 6, 3744-3756 (2020)
[54] 王，X。；穆尔，T。；Li，Z.，基于国家聚合的国家树结构自上而下嵌套监督控制，国际会计师联合会世界大会（2020年），接受
[55] 王，X。；李，Z。；Wonham，W.M.，基于定时DES监控的实时调度的动态多周期重构，IEEE Trans。Ind.通知。，12, 1, 101-111 (2016)
[56] 王，X。；李，Z。；Wonham，M.W.，基于DES监督控制的周期性任务的最优无优先级条件提供实时调度，IEEE Trans。系统。赛博人：系统。，471082-1098（2017）
[57] 王，X。；李，Z。；Wonham，W.M.，模块化零星实时系统的无优先级条件优先调度，Automatica，89，6，392-397（2018）·Zbl 1388.93015号
[58] 王，X。；李，Z。；Moor，T.，基于SCT的具有精确任务执行时间的模块化实时系统的无优先级条件预测调度，离散事件动态。系统。，29, 501-520 (2019) ·Zbl 1441.93183号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。