阿卜杜拉·布西夫;穆罕默德·加泽尔;乔·卡洛斯·巴西利奥 离散事件系统的间歇性故障可诊断性:基于自动机方法的概述。 (英语) Zbl 1478.93382号 离散事件动态。系统。 31,第1号,59-102(2021). 总结:实际经验表明,间歇故障是检测和隔离最具挑战性的故障类型之一,存在于大多数生产系统中。这种关注使得间歇性故障成为离散事件和连续变量动态系统的一个活跃研究领域。本文回顾了用有限状态自动机建模的离散事件系统间歇性故障可诊断性的研究现状。为此,我们重新审视了间歇性故障可诊断性的主要定义,并对其进行了比较,考虑了验证和分析技术,并讨论了可用的复杂性结果。本文中使用了一些例子来说明所审查的概念和验证算法。我们还展望未来,为未来的研究提出一些展望。 引用于2文件 MSC公司: 93元65角 离散事件控制/观测系统 93个B07 可观察性 65年第68季度 形式语言和自动机 关键词:离散事件系统;自动机;间歇性故障;可诊断性 软件:UMDES公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Boussif}等人,离散事件动态。系统。31,编号1,59--102(2021;Zbl 1478.93382) 全文: 内政部 哈尔 参考文献: [1] Anderson RJ、Aylward SR(1993),神经网络实验室测试,用于改进飞机机载诊断系统的飞行就绪硬件。年度可靠性和可维护性研讨会,第404-410页 [2] Aydin I、Karaköse E、Karaköse M、Gençolu MT、Akn E(2013)主动受电弓控制的新计算机视觉方法。IEEE智能系统和应用创新国际研讨会,第1-5页 [3] Ball M,Hardie F(1969)数字系统中间歇性故障的影响和检测。摘自:《计算机会议记录》,第329-335页 [4] Banerjee N,Khilar P(2010)《无线传感器网络分布式间歇性故障诊断的性能分析》(使用集群)。摘自:工业和信息系统国际会议,第13-18页 [5] 巴西里奥,JC;利马,STS;Lafortune,S。;Moreira,MV,确保可诊断性的最小事件基计算,离散事件动态系统,22,3,249-292(2012)·Zbl 1252.93082号 [6] Biswas,S.,《离散事件系统对临时故障的可诊断性》,计算机与电气工程,38,61534-1549(2012) [7] Boussif A(2016)对离散事件系统故障诊断的贡献。里尔科技大学博士论文 [8] 布西夫,A。;Ghazel,M.,使用模型检查对输入/输出离散事件系统进行可诊断性分析,第五届国际会计师联合会离散系统可靠控制国际研讨会,48,7,71-78(2015) [9] Boussif A,Ghazel M(2016a)《模型检查框架下工业系统的间歇性故障诊断》,摘自:IEEE国际预测与健康管理会议,第1-6页 [10] Boussif A,Ghazel M(2016b)使用模型检测技术对间歇性故障进行可诊断性分析——铁路案例研究。计算机和通信系统的验证与评估,第93-104页 [11] Boussif A,Ghazel M(2017)离散事件系统间歇性故障诊断的基于诊断程序的方法。In:美国控制会议,第3860-3867页 [12] 布西夫,A。;Ghazel,M.,《使用模型检查对离散事件系统间歇性故障可诊断性进行形式验证》,《基于关键计算机系统的国际期刊》,8,2,193-213(2018) [13] 布西夫,A。;Ghazel,M.,使用双涂层结构对离散事件系统中间歇性故障的可诊断性分析,国际控制自动化与系统杂志,18,682-695(2020) [14] Boussif A,Liu B,Ghazel M(2016)基于双板的间歇性故障可诊断性分析方法。第十三届离散事件系统国际研讨会第237-244页 [15] Carvalho LK、Basilio JC、Moreira MV(2010),离散事件系统在传感器间歇性故障下的鲁棒诊断性。离散事件系统国际研讨会,第84-89页 [16] 卡瓦略,LK;巴西里奥,JC;Moreira,MV,《针对间歇性观测损失的离散事件系统稳健诊断》,Automatica,48,9,2068-2078(2012)·Zbl 1258.93077号 [17] Carvalho LK、Basilio JC、Moreira MV、Clavijo LB(2013)离散事件系统中间歇性传感器故障的可诊断性。In:美国控制会议,第929-934页 [18] 卡瓦略,LK;MV莫雷拉;Basilio,JC,离散事件系统中传感器间歇性故障的可诊断性,Automatica,79,315-325(2017)·Zbl 1371.93127号 [19] Cassandras C,Lafortune S(2008)离散事件系统导论,第2版。斯普林格科学·Zbl 1165.93001号 [20] Chang JTY,McCluskey EJ(1997)《检测动态CMOS电路中的桥接故障》。IEEE IDDQ测试国际研讨会,第106-109页 [21] Cherkassky,BV公司;Goldberg,AV;Radzik,T.,《最短路径算法:理论和实验评估》,《数学程序》,73,2,129-174(1996)·Zbl 0853.9011号 [22] Cimatti A,Pecheur C,Cavada R(2003)通过符号模型检查对可诊断性进行形式验证。摘自:第18届国际人工智能联合会议记录,第363-369页 [23] Contant O(2005)关于离散事件系统的监测和诊断类别。密歇根大学博士论文 [24] Contant O,Lafortune S,Teneketzis D(2002)《离散事件系统的故障诊断:间歇性故障案例》。In:国际决策与控制会议,第4006-4017页 [25] 康坦特,O。;Lafortune,S。;Teneketzis,D.,间歇性故障诊断,离散事件动态系统,14,2,171-202(2004)·Zbl 1063.93031号 [26] Correcher,A。;加西亚,E。;Morant,F。;Quiles,E.,工业过程中的间歇性故障诊断,IEEE工业电子国际研讨会,2723-728(2003) [27] 邓,G。;邱,J。;刘,G。;Lyu,K.,基于环境应力水平评估的新型故障诊断方法,机械工程师学会学报,第G部分:航空航天工程杂志,227,5,816-826(2013) [28] 邓,G。;邱,J。;刘,G。;Lyu,K.,《用离散事件系统方法区分间歇性故障和永久性故障》,《中国航空学报》,27,2,390-396(2014) [29] 邓,G。;邱,J。;刘,G。;Lyu,K.,区分间歇性故障和永久性故障的随机自动机方法,机械工程师学会学报,第G部分:航空航天工程杂志,228,6,880-888(2014) [30] 艾默生,EA,时间和模态逻辑,理论计算机科学手册,B卷:形式模型和符号学(B),995,1072,1-5(1990)·Zbl 0900.03030号 [31] 雅加达州埃尔科云库;Khan,S。;侯赛因,SMF;Roy,R.,《无故障事件成本估算框架》,《国际生产经济学杂志》,173,207-222(2016) [32] Fabre E,Hélouet L,Lefaucheux E,Marchand H(2016)可修复故障的可诊断性。第13届离散事件系统国际研讨会,第230-236页 [33] Fabre,E。;Hélouét,L。;Lefaucheux,E。;Marchand,H.,可修复故障的可诊断性,离散事件动态系统,28,2,183-213(2018)·Zbl 1398.93214号 [34] MPJ Fromherz;Bobrow,DG;de Kleer,J.,可重构系统设计和控制的基于模型的计算,AI Mag,24,4,120-130(2004) [35] García E,Rodriguez L,Morant F,Correcher a,Quiles E(2008a)潜在雏形方法:一种新的复杂系统故障诊断方法。致:第34届工业电子年会,IEEE,第253-258页 [36] García E,Rodríguez L,Morant F,Correcher a,Quiles E,Blasco R(2008b)使用潜伏雏形法对彩色Petri网进行故障诊断。在:IEEE工业电子国际研讨会,IEEE,第986-991页 [37] 加西亚,HE;Yoo,TS,离散流网络中基于模型的路由事件检测,Automatica,41,4,583-594(2005)·Zbl 1061.93517号 [38] 加泽尔,M。;Toguyéni,A。;Yim,P.,DES在时间Petri网部分观测下的状态观测器,离散事件动态系统,19,2,137-165(2009)·Zbl 1169.93366号 [39] Goldberg,AV,最短路径问题的缩放算法,SIAM J Compute,24,3,494-504(1995)·Zbl 0831.68046号 [40] Gougam HE,Subias A,PencoléY(2013a)《监管模式:利用Petri网展开的可诊断性检查》。第四届IFAC离散系统可靠控制研讨会,第73-78页 [41] Gougam HE,Subias A,PencoléY(2013b)《监管模式:通过Petri网展开的正式可诊断性检查》。IFAC离散系统可靠控制研讨会,第73-78页 [42] Gougam,HE;Subias,A。;Pencolé,Y.,《通过净展开对监管模式的可辨别性分析》,国际会计师联合会会议记录,47,2,459-464(2014) [43] Gougam,HE;彭科莱,Y。;Subias,A.,有界标记优先petri网上模式的可诊断性分析,离散事件动态系统,27,1,143-180(2017)·Zbl 1356.93055号 [44] Gracia J、Saiz LJ、Baraza JC、Gil D、Gil PJ(2008)《微控制器间歇性故障的影响分析》。摘自:第11届IEEE电子电路和系统设计与诊断研讨会,IEEE,第1-6页 [45] Grastien A(2009)可诊断性的符号测试。第20届诊断原理国际研讨会 [46] FH哈迪;Suhocki,RJ,土星计算机设计中故障模拟的设计和使用,IEEE跨电子计算,EC-16,4,412-429(1967) [47] Hashtrudi Zad,S。;Kwong,RH;Wonham,WM,《离散事件系统的故障诊断:框架和模型简化》,IEEE Trans-Autom Control,48,7,1199-1212(2003)·Zbl 1364.93464号 [48] Hsu,YT;Hsu,CF,长寿命计算机系统可靠性和安全措施的间歇性故障新模型,国际电子杂志,71,6,917-937(1991) [49] Huang Z(2003)基于规则的故障离散事件系统建模及其诊断。肯塔基大学博士论文 [50] Isermann R(2006)《故障诊断系统:从故障检测到容错的介绍》。施普林格科技与商业媒体 [51] Ismaeel,AA;Bhatnagar,R.,组合电路中间歇性故障的检测和定位测试,IEEE Trans Reliab,46,2269-274(1997) [52] Jéron T,Marchand H,Pinchinat S,Cordier MO(2006)离散事件系统诊断中的监督模式。摘自:2006年第八届离散事件系统国际研讨会,第262-268页 [53] 江,S。;Kumar,R.,《具有线性时间时序逻辑规范的离散事件系统的故障诊断》,IEEE Trans-Autom Control,49,6,934-945(2004)·Zbl 1365.93294号 [54] 江,S。;Kumar,R.,《具有线性时间时序逻辑规范的离散事件系统重复故障诊断》,IEEE Trans-Autom Sci Eng,3,1,47-59(2006) [55] 江,S。;黄,Z。;Chandra,V。;Kumar,R.,测试离散事件系统可诊断性的多项式算法,IEEE Trans-Autom Control,46,8,1318-1321(2001)·Zbl 1008.93053号 [56] 江,S。;库马尔,R。;Garcia,HE,离散事件系统中重复/间歇性故障的诊断,IEEE Trans Robotic Autom,19,2,310-323(2003) [57] DB约翰逊,求有向图的所有基本回路,SIAM J Compute,4,1,77-84(1975)·Zbl 0275.05112号 [58] Kim,CJ,低压电弧故障的电磁辐射行为,IEEE Trans Power Delivery,24,1,416-423(2009) [59] Kimseng,K。;霍伊特,M。;蒂瓦里,N。;Pecht,M.,《巡航控制模块的失效物理评估》,微电子Reliab,39,10,1423-1444(1999) [60] 库马尔,R。;Takai,S.,关于“离散事件系统分散可诊断性的多项式时间验证”与“离散事件系分散故障诊断”的评论:复杂性澄清,IEEE Trans-Autom Control,59,5,1391-1392(2014)·Zbl 1370.68206号 [61] Lamperti G,Zanella M(2004)通过关注点分离、知识汇编和重用诊断离散事件系统。摘自:第16届欧洲人工智能会议记录,IOS出版社,第838-842页 [62] 列斐伏尔,D。;Leclercq,E.,离散事件系统故障检测和隔离的随机petri网识别,IEEE系统、人类和控制论汇刊第A部分:系统和人类,41,22113-225(2011) [63] Lin F(1991)使用时序逻辑分析和合成离散事件系统。IEEE智能控制国际研讨会,第140-145页 [64] Lin,F.,离散事件系统的可诊断性及其应用,离散事件动态系统,4,2,197-212(1994)·Zbl 0800.93030号 [65] 林,F。;WM Wonham,《离散事件系统的可观测性》,《信息科学》,44、3、173-198(1988)·Zbl 0644.93008号 [66] 米高梅·马登;Nolan,PJ,使用故障树归纳法监测和诊断多个早期故障,IEE会议录-控制理论和应用,146,2,204-212(1999) [67] Martínez MAT,Moreno EG(2008),液体包装过程的故障诊断和建模。基于Petri网的研究。在:第10届控制、自动化、机器人和视觉国际会议,IEEE,第1620-1624页 [68] 摩尔,C。;JW麦克布莱德;Swingler,J.,电气连接器中的间歇性现象,IEEE组件和封装技术汇刊,24,3,370-377(2001) [69] MV莫雷拉;耶稣,TC;Basilio,JC,离散事件系统分散可诊断性的多项式时间验证,IEEE Trans-Autom Control,56,7,1679-1684(2011)·Zbl 1368.93384号 [70] MV莫雷拉;巴西里奥,JC;Cabral,FG,离散事件系统分散可诊断性的多项式时间验证”与“离散事件系统的分散故障诊断”:关键评估,IEEE自动控制汇刊,61,1,178-181(2016)·Zbl 1359.68198号 [71] Overton D(2006)移动行业每年花费45亿美元的无故障回报。WDSGlobal,juille [72] 潘,S。;胡,Y。;Li,X.,Ivf:《表征微处理器结构对间歇性故障的脆弱性》,《IEEE超大规模集成系统汇刊》,20,5,777-790(2012) [73] PencoléY,Subias A(2018)通过模型检查诊断有界标记petri网上的监督模式。第28届诊断原理国际研讨会,第184-199页 [74] 邱伟。;Kumar,R.,离散事件系统的去中心化故障诊断,IEEE系统、人类和控制论汇刊A部分:系统和人类,36,2384-395(2006) [75] Rintanen J等人(2007),简洁过渡系统的诊断工具和可诊断性。附:国际人工智能联合会议,第538-544页 [76] Roberts M(1989)处理时序电路中间歇性和瞬态故障的容错方案。摘自:第32届中西部电路与系统研讨会论文集,第36-39页 [77] Rodriguez L,Garcia E,Morant F,Correcher A,Quiles E(2008)使用有色Petri网的潜在雏形方法在风力涡轮机子集中的故障诊断应用。摘自:2008年IEEE国际会议论文集新兴技术和工厂自动化,第767-773页 [78] Rodriguez-Urrego L,García E,Quiles E,Correcher a,Morant F,PizáR(2015)使用混合有色Petri网的潜伏雏形方法诊断IGBT中的间歇性故障。数学问题工程,第2015页 [79] Salvatore JB、Elizabeth R、Joanne Bechta D、Kishor ST、Nitin M、Robert MG、Mark DS(2003)混合自动化可靠性预测集成可靠性工具系统HARP(7.0版)。NASA兰利技术报告服务器 [80] Sampath,M。;Sengupta,R。;Lafortune,S.,离散事件系统的可诊断性,IEEE Trans Autom Control,40,9,1555-1575(1995)·Zbl 0839.93072号 [81] Sampath,M。;Sengupta,R。;Lafortune,S。;Sinnamohideen,K。;Teneketzis,DC,使用离散事件模型进行故障诊断,IEEE Trans Control Syst Technol,4,2,105-124(1996)·Zbl 0941.68613号 [82] 桑帕斯,M。;Sengupta,R。;Lafortune,S。;Sinnamohideen,K。;Teneketzis,DC,使用离散事件模型进行故障诊断,IEEE Trans Control Syst Technol,4,2,105-124(1996)·Zbl 0941.68613号 [83] Santoro,LP;MV莫雷拉;Basilio,JC,《使用验证器计算离散事件系统的最小诊断基》,Automatica,77,93-102(2017)·Zbl 1355.93120号 [84] Schumann A,Pencole Y(2007),事件驱动系统的可扩展诊断性检查。附:国际人工智能联合会议,第575-580页 [85] 沙尔马,R。;Dewan,L。;Chatterji,S.,《计算机网络可靠性评估和间歇性故障》,《国际电子与电气工程杂志》,3,6,465-471(2015) [86] 沙尔马,R。;Dewan,L。;Chatterji,S.,《动态系统中的故障诊断方法:综述》,《国际电子与电气工程杂志》,3,6,465-471(2015) [87] 沈(音)。;邱,J。;刘,G。;Lyu,K.,间歇故障参数框架和基于随机Petri网的形式化模型,Eksploatacja I neizawodnosco,18,2,1-210(2016) [88] Söderholm,P.,未发现故障现象的系统视图,可靠性工程与系统安全,92,1,1-14(2007) [89] Soldani S、Combacau M、Subias A、Thomas J(2006)《通过消息交换进行间歇性故障检测:基于一致性的方法》。国际研讨会原理诊断,第251-257页 [90] Soldani S、Combacau M、Subias A和Thomas J(2007)《间歇性故障诊断:源自正常行为的诊断仪》。国际研讨会原理诊断,第391-399页 [91] 索尔达尼,S。;Combacau,M。;Subias,A。;Thomas,J.,《间歇性故障车载诊断系统:在汽车工业中的应用》,IFAC会议论文集,40,22,151-158(2007) [92] Sorensen B,Kelly G,Sajecki A,Sorensen P(1994)一种用于检测电子设备间歇性故障的分析仪。摘自:IEEE系统就绪技术会议记录,第417-421页 [93] Steadman B、Pombo T、Madison I、Shively J、Kirkland L(2002)使用统计处理和专家系统减少未发现故障。收录:AUTOTESTCON会议记录,IEEE,第872-878页 [94] Steadman B、Sievert S、Sorensen B、Berghout F(2005)《攻击坏演员和未发现故障的电子盒子》。包含:IEEE AUTOTESTCON,第821-824页 [95] Steadman B、Berghout F、Olsen N、Sorensen B(2008)《间歇性故障检测和隔离系统》。IEEE AUTOTESTCON,第37-40页 [96] 西耶德,华盛顿州;Khan,S。;菲利普斯,P。;Perinpanayagam,S.,间歇性故障查找策略,Procedia CIRP,11,74-79(2013) [97] Thistle,J。;Wonham,W.,《时序逻辑框架中的控制问题》,《国际控制杂志》,44,4,943-976(1986)·Zbl 0606.93002号 [98] 托斯利,D。;Teneketzis,D.,随机离散事件系统的可诊断性,IEEE Trans Autom Control,50,4,476-492(2005)·Zbl 1365.93478号 [99] Trigos,M。;Barrientos,A。;Del-Cerro,J.,基于Petri网的无人直升机故障诊断,ID Revista de Investigaciones,08,2,91-103(2016) [100] 维亚纳,GS;MV莫雷拉;Basilio,JC,用加权自动机建模的离散事件系统的可协同诊断性分析,IEEE Trans-Autom Control,64,10,4361-4368(2019)·Zbl 1482.68128号 [101] 维亚纳,GS;Basilio,JC,《重新审视离散事件系统的可协诊断性:一个新的充要条件及其应用》,Automatica,101,354-364(2019)·Zbl 1415.93067号 [102] Viana GS、Basilio JC、Moreira MV(2015)离散事件系统故障诊断最长时间的计算。在:美国控制会议,第396-401页 [103] Yan R,He X,Zhou D(2015)带参数摄动的线性离散随机系统间歇故障的鲁棒检测。致:第34届中国控制会议,第6308-6313页 [104] Yan Y,Ye L,Dague P(2010)分布式离散事件系统模式的可诊断性。In:第21届诊断原理国际研讨会DX'10·Zbl 1211.90063号 [105] Yang,H。;江,B。;Zhang,Y.,航天器姿态控制中间歇性故障的容差:切换系统方法,IET控制理论与应用,6,13,2049-256(2012) [106] Ye L,Dague P(2012)分布式离散事件系统模式可诊断性的通用算法。2012年IEEE第24届人工智能工具国际会议(ICTAI),第1卷。IEEE,第130-137页 [107] Ye L,Dague P,Yan Y(2009)分布式离散事件系统中模式可诊断性的增量方法。2009年IEEE第21届人工智能工具国际会议,IEEE,第123-130页 [108] Yoo,TS;Garcia,HE,具有一致和非一致有界诊断延迟的离散事件系统的事件诊断,美国控制会议论文集,2004,6,5102-5107(2004) [109] Yoo TS,Garcia HE(2005)可靠和不可靠观测信息下离散事件计数的新结果。摘自:IEEE网络、传感和控制会议录,第688-693页 [110] Yoo,TS;Garcia,HE,不可靠观测下离散事件系统的随机事件计数器,美国控制会议,2008,1145-1152(2008) [111] Yoo,TS;Garcia,HE,具有一致和非一致有界诊断延迟的部分观测离散事件系统的事件计数,离散事件动态系统,19,2,167-187(2009)·兹比尔1169.93369 [112] Yoo,TS;Lafortune,S.,部分观测离散事件系统可诊断性的多项式时间验证,IEEE Trans-Autom Control,47,9,1491-1495(2002)·Zbl 1364.93176号 [113] 扎伊顿,J。;Lafortune,S.,《离散事件系统故障诊断方法概述》,《年度版本控制》,37,2,308-320(2013) [114] Zayton J,Sayed-Mouchaweh M(2012)《离散事件系统故障诊断方法的讨论》。第11届IFAC离散事件系统研讨会,第9-12页 [115] 周,C。;Kumar,R.,具有可重复故障的系统的可诊断故障发生指数计算,IEEE Trans-Autom Control,54,7,1477-1489(2009)·Zbl 1367.93380号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。