实现故障无二义诊断的部分可观系统设计方法

系统仿真学报 ›› 2015, Vol. 27 ›› Issue (3): 470-479.

• 仿真建模与仿真算法及数值仿真 • 上一篇下一篇

实现故障无二义诊断的部分可观系统设计方法

方欢^1,2, 陆阳^1,3, 岳峰¹, 官骏鸣³

1.合肥工业大学计算机与信息学院, 合肥 230009;
2.安徽理工大学理学院, 淮南 232001;
3.安徽省矿山物联网与安全监控技术重点实验室, 合肥 230088

收稿日期:2014-02-26 修回日期:2014-09-06 出版日期:2015-03-08 发布日期:2020-08-20
作者简介:方欢(1982-),女,安徽池州人,博士,副教授,研究方向为Petri网理论及应用,离散事件动态系统的建模与分析,智能控制等。
基金资助:
国家自然科学基金项目(61070220,61472003,61272153,61340003,61402011);国家"863”计划项目(2011AA060406);安徽省高等学校自然科学研究重点项目(KJ2014A067)

Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis

Fang Huan^1,2, Lu Yang^1,3, Yue Feng¹, Guan Junming³

1. School of Computer & Information, Heifei University of Technology, Hefei 230009, China;
2. College of Science, Anhui University of Science & Technology, Huainan 232001, China;
3. The Anhui Provincial Key Laboratory of Mine IoT and Mine Safety Supervisory Control, Hefei 230088, China

Received:2014-02-26 Revised:2014-09-06 Online:2015-03-08 Published:2020-08-20

摘要/Abstract

摘要： 针对故障无二义性诊断下的部分可观系统设计方法进行分析和研究,提出系统可见库所集S_O的确定算法OPD,给出算法OPD解存在的充要条件,证明系统在S_O可见的情况下,系统所有变迁都是可区分的,并指出该算法满足多项式级的时间复杂度。在OPD算法的基础上,提出系统运行状态诊断算法SOSD,SOSD是S_O的一步前向标识计算方法,不需要已知系统的初始状态M₀就可以进行系统状态诊断。证明所提出的部分可观系统设计方法满足最优监控条件,达到了优化监控的目的。

关键词: 部分可观系统, 系统设计方法, 故障诊断, Petri网, 事件驱动系统

Abstract: The construction methodology of partially observed system realizing unambiguous fault diagnosis was studied. The observable places determination algorithm OPD was proposed, and the necessary and sufficient condition for solution existence of the algorithm with polynomial time complexity was presented, then it is proved that all transitions in the modeled system could be distinguished by setting S_O. The system operating state determination algorithm SOSD was presented based on the OPD algorithm. The proposed SOSD algorithm was realized by 1-step forward marking computation of observable places set $S_O$, it doesn't rely on the initial marking $M_0$ of the controlled system while judging system status. It is proved that the proposed construction method for partially observed system satisfies the optimum supervisory condition, which achieves the optimal supervisory purpose.

Key words: partially observed system, system design method, fault diagnosis, Petri nets, Event Based System

中图分类号:

TP301

方欢, 陆阳, 岳峰, 官骏鸣. 实现故障无二义诊断的部分可观系统设计方法[J]. 系统仿真学报, 2015, 27(3): 470-479.

Fang Huan, Lu Yang, Yue Feng, Guan Junming. Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis[J]. Journal of System Simulation, 2015, 27(3): 470-479.

参考文献

[1] P J Ramadge, W M Wonham. Supervisory Control of a Class of Discrete Event Processes [J]. Siam Journal on Control and Optimization (S0363-0129), 1987, 25(1):206-230.
[2] P J Ramadge, W M Wonham. Modular Feedback Logic for Discrete Event System [J]. Siam Journal on Control and Optimization (S0363-0129), 1987, 25(5): 1202-1218.
[3] M Dotoli, M P Fanti, A M Mangini, W Ulkovich. On-line Fault Detection in Discrete Event Systems by Petri Nets and Integer Linear Programming [J]. Automatica (S0005-1098), 2009, 45(11): 2665-2672.
[4] A V Ramesh, D W Twigg, U R Sandadi, et al. Reliability Analysis of Systems with Operation-time Management [J]. IEEE Transactions on Reliability (S0018-9529), 2002, 51(1): 39-48.
[5] J Jorge, R K Boel. A continuous Petri Net Approach for Model Predictive Control of Traffic Systems [J]. IEEE Transactions on Systems, Man, and Cybernetics, A (S1083-4427), 2010, 40(4): 686-697.
[6] 古天龙, 周衿畅, 周春晖. 离散事件系统的一种 N 步在线监控策略 [J]. 自动化学报, 1997, 23(3): 404-407.
[7] 王飞, 胡奇英. 离散事件系统的混合分散监控 [J]. 控制理论与应用, 2005, 22(2): 277-280.
[8] S Z Hashtrudi, R H Kwong, W M Wonham. Fault Detection in Discrete-event Systems: Framework and Model Reduction [J]. IEEE Transaction on Automatic Control (S0018-9286), 2003, 48(7): 1199-1212.
[9] D Lefebvre, C Delherm. Diagnosis of DES with Petri Net Models [J]. IEEE Transactions on Automation Science and Engineering (S1545-5955), 2007, 4(1): 114-118.
[10] M P Cabasino, A Giua, C Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions [J]. Automatica (S0005-1098), 2010, 46(9): 1531-1539.
[11] Yu Ru, C N Hadjicostis. Fault Detection in Discrete Event Systems Modeled by Partially Observed Petri Nets [J]. Discrete Event Dynamic Systems (S1573-7594), 2009, 19(4): 551-575.
[12] C Mahulea, C Seatzu, M P Cabasino, et al. Fault Diagnosis of Discrete-event Systems Using Continuous Petri Nets [J]. IEEE Transactions on Systems, Man and Cybernetics A (S1083-4427), 2012, 42(4): 970-984.
[13] S Jiang, R Kumar. Failure Diagnosis of Discrete-event Systems with Linear-time Temporal Logical Specifications [J]. IEEE Transaction on Automatic and Control (S0018-9286), 2004, 49(6): 934-945.
[14] C. N. Hadjicostis, G. C Verghese. Monitoring Discrete Event Systems Using Petri Net Embeddings [J]. Lecture Notes in Computer Science, 1999, 1639(1): 188-208.
[15] Y Wu, C N Hadjicostis. Algebraic Approaches for Fault Identification in Discrete-event Systems [J]. IEEE Transactions on Automatic Control (S0018-9286), 2005, 50(12): 2048-2055.
[16] A Aghasaryan, E Fabre, A Benveniste, et al. Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets [J]. Discrete Event Dynamic System: Theory and Applications (S0924-6703), 1998, 8(2): 203-231.
[17] A Benveniste, E Fabre, S Harr, et al. Diagnosis of Asynchronous Discrete-event Systems: A Net Unfolding Approach [J]. IEEE Transactions on Automatic Control (S0018-9286), 2003, 48(5): 714-727.
[18] M Sampath, R Sengupta, S Lafortune, et al. Diagnosability of Discrete Event Systems [J]. IEEE Transactions on Automatic Control (S0018-9286), 1995, 40(9): 1555-1575.
[19] S H Zad, R H Kwong, W M Wonham. Diagnosis in Discrete-event Systems: Incorporating Timing Information [J]. IEEE Transactions on Automatic Control (S0018-9286), 2005, 50(7): 1010-1015.
[20] A Ramírez-Treviňo, E Ruiz-Beltrăn, I Rivera-Rangel, et al. Online Fault Diagnosis of Discrete Event Systems: A Petri Net-based Approach [J]. IEEE Transactions on Automation Science and Engineering (S1545-5955), 2007, 4(1): 31-39.
[21] D Lefebvre, E Leclercq. Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems [J]. IEEE Transactions on System, Man and Cybernetic A (S1083-4427), 2011, 41(2): 213-225.
[22] G Jiroveanu, R K Boel. A Distributed Approach for Fault Detection and Diagnosis based on Time Petri Nets [J]. Mathematics and Computers in Simulation (S1998-0159), 2006, 70(3): 287-313.
[23] S Genc, S Lafortune. Distributed Diagnosis of Place- bordered Petri Nets [J]. IEEE Transactions on Automation Science and Engineering (S1545-5955), 2007, 4(2): 206-219.
[24] F Basil, P Chiacchio, G De Tommasi. On K-diagnosability of Petri Nets via Integer Linear Programming [J]. Automatica (S0005-1098), 2012, 48(9): 2047-2058.
[25] J Lunze, J Schroder. State Observation and Diagnosis of Discrete-event Systems Described by Stochastic Automata [J]. Discrete Event Dynamic Systems (S1573-7594), 2001, 11(4): 319-369.
[26] R Debouk, S Lafortune, D Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete event systems [J]. Discrete Event Dynamic Systems (S1573-7594), 2000, 10(1): 33-86.
[27] A Paoli, S Lafortune. Safe Diagnosability for Fault-tolerant Supervision of Discrete-event Systems [J]. Automatica (S0005-1098), 2005, 41(8): 1335-1347.
[28] Yu Ru, C N Hadjicostis. Sensor Selection for Structural Observability in Discrete Event Systems Modeled by Petri Nets [J]. IEEE Transactions on Automatic Control (S0018-9286), 2010, 55(8): 1751-1764.
[29] 吴哲辉. Petri 网导论 [M]. 北京: 机械工业出版社,2006: 1-108.
[30] J Sun, S Y Qin, Y H Song. Fault Diagnosis of Electric Power Systems based on Fuzzy Petri Nets [J]. IEEE Transactions on Power Systems (S0885-8950), 2004, 19(4): 2053-2059.
[31] M Zhou, F Dicesare. Petri Net Synthesis for Discrete Event Control of Manufacturing System [M]. Norwell, MA, USA: Kluwer, 1993.
[32] F Basile, A Giua, C Seatzu. Petri Net Control Using Event Observers and Timing Information [C]// Proceedings of 41th IEEE Conference on Decision Control (S1573-2878). USA: IEEE, 2002: 787-792.
[33] M P Cabasino, A Giua, M Pocci, C Seatzu. Discrete Event Diagnosis Using Labeled Petri Nets: An Application to Manufacturing Systems [J]. Control Engineering and Practice (S0967-0661), 2011, 19(9): 989-1001.

实现故障无二义诊断的部分可观系统设计方法

Partially Observed System Design Method Realizing Unambiguous Fault Diagnosis

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	黄光球, 吴甜甜. 基于对象函数Petri网的关联区域VOCs危害成因解析[J]. 系统仿真学报, 2022, 34(3): 470-481.
[2]	祝志超, 吴定会, 岳远昌. 基于监督核熵成分分析的发动机磨损故障诊断[J]. 系统仿真学报, 2022, 34(1): 45-52.
[3]	李元, 耿泽伟. 基于LLE与K均值聚类算法的工业过程故障诊断[J]. 系统仿真学报, 2021, 33(9): 2066-2073.
[4]	王印松, 孙天舒. 基于二分类NMF网络的执行器故障状态评估[J]. 系统仿真学报, 2021, 33(8): 1882-1891.
[5]	位晶晶, 刘勤明, 叶春明, 李冠林. 基于GA-SVR的小样本数据缺失下的设备故障诊断[J]. 系统仿真学报, 2021, 33(6): 1342-1349.
[6]	吴定会, 祝志超, 韩欣宏. 基于BO-SDAE多源信号的风电机组轴承故障诊断[J]. 系统仿真学报, 2021, 33(5): 1148-1156.
[7]	李炜, 周丙相, 蒋栋年. 基于深度学习序贯检验的电源车故障诊断方法[J]. 系统仿真学报, 2020, 32(4): 638-648.
[8]	郑红, 叶成, 邓文轩, 潘理. 一种基于工作流网的游戏作弊检测系统[J]. 系统仿真学报, 2020, 32(3): 455-463.
[9]	黄光球, 何通, 陆秋琴. 矿尘迁移致生态系统损害级联传播评价研究[J]. 系统仿真学报, 2020, 32(2): 278-288.
[10]	樊名鲁, 王艳, 纪志成. 基于特征生成的轴承不均衡数据故障诊断[J]. 系统仿真学报, 2020, 32(12): 2438-2448.
[11]	张志利, 张云荣, 马世欣. 基于CPN Tools的“多种权限+操作队列”并发冲突控制方法研究[J]. 系统仿真学报, 2019, 31(6): 1092-1100.
[12]	张云荣, 张志利, 李向阳, 徐卫昌, 韩奎侠, 李良. 虚拟维修人员与工步等级匹配调解方法研究[J]. 系统仿真学报, 2019, 31(4): 624-631.
[13]	李炜, 葛振福, 申富媛, 龚建兴. 基于FDRE的3D威亚编码器故障检测与容错控制[J]. 系统仿真学报, 2019, 31(4): 740-749.
[14]	孙启鹏, 郭鑫, 马飞. 基于petri网的城际旅客出行服务流程建模与仿真[J]. 系统仿真学报, 2019, 31(2): 189-198.
[15]	周鹏飞, 邢小伟. 回字形布置的双轨轮小车自动化码头仿真[J]. 系统仿真学报, 2018, 30(9): 3264-3273.