×
Amira Chouchane；阿提夫·凯德（Atef Khedher）；奥斯曼·纳斯里；阿纳斯·卡蒙

基于分析冗余关系的部分观测Petri网诊断。 （英语） Zbl 1432.93210号

亚洲J.控制 21，第5期，2218-2231（2019）.
摘要：在本文中，我们设计了一种有效的诊断技术，用于由标记Petri网建模的部分可观测离散事件系统。故障检测基于从标称模型导出的分析冗余关系。将（T_{un}）诱导子网分解为连通子图可以确定可能包含故障的子图。为了评估故障定位，基于故障模型为每个故障转换建立了一组分析冗余关系。该诊断方法与观测序列的长度无关，与不可观测跃迁的数量无关。使用该方法检测到的故障是导致网络中令牌数量变化的故障。

引用于2文件

MSC公司：

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

关键词：

诊断；标记Petri网；分析冗余关系；标称模型；断开子图；故障模型
PDF格式BibTeX公司 XML格式引用
\textit{A.Chouchane}等人，《亚洲杂志》第21期，第5期，第2218-2231页（2019年；Zbl 1432.93210）
全文： DOI程序

参考文献：

[1] Wang，X.，C.Mahulea和M.Silva，“使用故障诊断图诊断时间petri网”，IEEE Trans。自动。《控制》，第60卷，第9期，第2321-2335页（2015年）·兹比尔1360.93442
[2] Cabasino，M.P.，A.Giua和C.Seatzu，“使用带有无声或不可区分故障事件的标记Petri网进行诊断”，IEEE Trans。系统。人类网络。系统。，第43卷，第2期，第345-355页（2013年）。
[3] Liu，B.、M.Ghazel和A.Toguyni，“用标记petri网建模的离散事件系统的实时和增量故障诊断技术”，《亚洲控制杂志》，第19卷，第5期，第1659-1671页（2017年）·Zbl 1386.93195号
[4] Roth，M.，《工业闭环离散事件系统的识别与故障诊断：识别与Fehlerdiagnose Industrieller Ereignisdiskreter闭环系统》，Logos Verlag，Berlin GmbH（2010）。
[5] 周，M.，Z.Wang，Y.Shen，“基于有限频域H_−/H_∞未知输入观测器设计的故障检测和隔离方法”，《亚洲控制杂志》，第19卷，第5期，第1777-1790页（2017年）·Zbl 1386.93213号
[6] Habibi，H.、I.Howard和R.Habibi.，“马尔可夫跳跃系统中的贝叶斯传感器故障检测”，《亚洲控制杂志》，第19卷，第4期，第1465-1481页（2017年）·Zbl 1370.93242号
[7] Wang，S.，Y.Jiang和Y.Li，“有损传感器网络上具有时变延迟的不确定t−S模糊系统的分布式H_∞一致性故障检测”，《亚洲控制杂志》。，第37卷，第2期，第242-264页（2018年）。
[8] Aouaouda，S.、M.Chadli、M.Boukhnifer和H.R.Karimi，“车辆动力学的鲁棒容错跟踪控制器设计：描述符方法”，机电一体化，第30卷，第316-326页（2015）。
[9] Li，L.，M.Chadli，S.X.Ding，J.Qiu，Y.Yang，“TS模糊系统的诊断观测器设计：实时加权故障检测方法的应用”，IEEE Trans。模糊系统。，第26卷，第2期，第805-816页（2017年）。
[10] Ru，Y.和C.N.Hadjicostis，“用部分观察Petri网建模的离散事件系统的故障诊断”，《离散事件动态》。系统。，第19卷，第4期，第551页（2009年）·Zbl 1180.93069号
[11] Wu，Y.和C.N.Hadjicostis，“离散事件系统中故障识别的代数方法”，IEEE Trans。自动。对照，第50卷，第12期，第2048-2055页（2005年）·Zbl 1365.93534号
[12] Barg，A，“编码理论中的复杂性问题”，《编码理论手册》，第1卷，第649-754页（1998年）·Zbl 0929.94028号
[13] Berlekamp，E.、R.Mcelice和H.Van Tilborg，“关于某些编码问题的固有难处理性”，IEEE Trans。《信息论》，第24卷，第3期，第384-386页（1978年）·Zbl 0377.94018号
[14] Mouhssine，N.、M.N.Kabbaj、M.Benbrahim和CEl Bekkali，“使用非线性奇偶空间关系检测四电机的传感器故障”，2017年国际电子信息会议。Technol公司。（ICEIT），摩洛哥拉巴特，第1-6页（2017年）。
[15] Mojallal，A.和S.Lotfifard，“风力涡轮机中基于多物理图形模型的故障检测和隔离”，IEEE Trans。智能电网，第99卷，第577-584页（2017年）。
[16] Zhang，J.，H.Yao和G.Rizzoni，“基于结构分析的电动汽车电气传动系统故障诊断”，IEEE Trans。车辆。技术。，第66卷，第2期，第1027-1039页（2017年）。
[17] Basile，F.、M.P.Cabasino和C.Seatzu，“具有不可观测跃迁的标记时间petri网系统的状态估计和故障诊断”，IEEE Trans。自动。《控制》，第60卷，第4期，第997-1009页（2015年）·Zbl 1360.93413号
[18] Ruiz‐Beltran，E.、E.Lopez‐Mellado和ARamirez‐Trevino，“基于Petri网简化模型的故障诊断”，第三届国际电子会议。《工程师》，墨西哥韦拉克鲁斯，第1-5页（2006年）。
[19] Ramirez‐Trevino，A.、E.Ruiz‐Beltran、J.Aramburo‐Lizarraga和E.Lopez‐Mellado，“DES的结构诊断能力和简化Petri网诊断仪的设计”，IEEE Trans。系统。人类网络。A： 系统。《人类》，第42卷，第2期，第416-429页（2012年）。
[20] Ran，N.、S.Wang、H.Su和C.Wang，“用有界petri网建模的离散事件系统的故障诊断”，《亚洲控制杂志》，第19卷，第1532-1541页（2017年）·Zbl 1370.93171号
[21] Lefebvre，D.，“用部分观察Petri网进行在线故障诊断”，IEEE Trans。自动。《控制》，第59卷，第7期，第1919-1924页（2014年）·Zbl 1360.93427号
[22] Dotoli，M.、M.P.Fanti、A.M.Mangini和W.Ukovich，“用Petri网和整数线性规划在离散事件系统中进行在线故障检测”，《自动化》，第45卷，第11期，第2665-2672页（2009年）·Zbl 1180.93066号
[23] Basile，F.、P.Chiacchio和J.Coppola，“具有异常的时间离散事件系统的新型模型修复方法”，IEEE Trans。自动。科学。《工程》，第13卷，第4期，第1541-1556页（2016年）。
[24] Cong，X.，M.P.Fanti，A.M.Mangini和ZLi，“用Petri网和整数线性规划进行分散诊断”，IEEE Trans。系统。人类网络。系统。，第50卷，第1期，第13624-13629页（2017年）。
[25] Fanti，M.P.，A.M.Mangini和W.Ukovich，“集中式和分布式方法中通过标记Petri网进行故障检测”，IEEE Trans。自动。科学。《工程》，第10卷，第2期，第392-404页（2013年）。
[26] Mahulea，C.、C.Seatzu、M.P.Cabasino和M.Silva，“使用连续Petri网对离散事件系统进行故障诊断”，IEEE Trans。系统。人类网络。A： 系统。《人类》，第42卷，第4期，第970-984页（2012年）。
[27] Basile，F.、P.Chiacchio和G.De Tommasi，“离散事件系统在线诊断的有效方法”，IEEE Trans。自动。《控制》，第54卷，第4期，第748-759页（2009年）·Zbl 1367.93358号
[28] Lefebvre，D.，“普通Petri网在Z3向量空间中的点火序列估计”，IEEE Trans。系统。人类网络。A、 第38卷，第6期，第1325-1336页（2008年）。
[29] Hadjicostis，C.N.和G.C.Verghese，“使用Petri网嵌入监控离散事件系统”，《国际会议应用》。《理论Petri网》，美国弗吉尼亚州，第188-207页（1999年）·Zbl 0934.93046号
[30] Yang，X.和L.J.Chen，“具有不可控和不可观测跃迁的Petri网控制器的设计和故障诊断”，J.Manuf.Syst。，第28卷，第1期，第17-22页（2009年）。
[31] Stremersch，G.和R.K.Boel，“为可达性分析和控制构建非循环Petri网”，离散事件动态。系统。，第12卷，第1期，第7-41页（2002年）·Zbl 0995.93051号
[32] Biswas，G.、M.O.Cordier、J.Lunze、L.Trave‐Massuyes和M.Staroswiecki，“复杂系统的诊断：桥接FDI和DX社区的方法”，IEEE Trans。系统。人类网络。B网络。，第34卷，第5期，第2159-2162页（2004年）。
[33] Cormen，T.H.、C.E.Leiserson和R.L.Rivest，“算法简介”，第二版，Dunod（2001）。
[34] Pothen，A.和C.J.Fan，“计算稀疏矩阵的块三角形形式”，ACM Trans。数学。软质。，第16卷，第303-324页（1990年）·Zbl 0900.65117号
[35] Cabasino，M.P.、A.Giua、M.Pocci和C.Seatzu，“使用标记Petri网进行离散事件诊断”，应用。制造系统。控制工程实践。，第19卷，第9期，第989-1001页（2011年）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。