计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 62-67.doi: 10.11896/j.issn.1002-137X.2014.07.012

• 2013'Petri 网 • 上一篇    下一篇

基于EFPN的模糊离散事件系统可诊断性分析

佘维,叶阳东,陈倩   

  1. 郑州大学信息工程学院 郑州450052;北京交通大学轨道交通控制与安全国家重点实验室 北京100044;郑州大学信息工程学院 郑州450052;郑州大学信息工程学院 郑州450052
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家863计划资助

Diagnosability Analysis of Fuzzy Discrete Event System Based on Extended Fuzzy Petri Net

SHE Wei,YE Yang-dong and CHEN Qian   

  • Online:2018-11-14 Published:2018-11-14

摘要: 针对模糊有限自动机及模糊Petri网在模糊离散事件系统(Fuzzy Discrete Event System,FDES)行为建模中的不足,提出一种扩展模糊Petri网(Extended Fuzzy Petri Net,EFPN),并基于EFPN构造了FDES行为模型及系统故障诊断器。EFPN以一种新的事件模型为基础对FDES的系统行为进行建模,并根据事件触发矩阵计算下一系统状态中各分量的可能性分布。与模糊有限自动机及模糊Petri网的对比分析表明,在描述FDES模糊事件时,对于同步距离为0的一组事件所造成的影响,EFPN的表达能力强于经典模糊Petri网;在对含有多个状态分量的FDES建模时,EFPN模型的规模远小于模糊有限自动机。在基于EFPN构造的系统行为模型中,运用可达状态标识图分析系统状态集,可有效地构造FDES的故障诊断器,并可据此进行系统可诊断性分析。

关键词: 扩展模糊Petri网,模糊离散事件系统,事件模型,行为建模,可诊断性 中图法分类号TP301.2文献标识码A

Abstract: Aiming at the shortcomings of fuzzy finite automata and fuzzy Petri net in Fuzzy Discrete Event System(FDES) behavioral modeling,a kind of extended fuzzy Petri net(EFPN) was porposed.Based on EFPN,a FDES beha-vior model and system fault diagnosers were constructed.The key of the FDES behavioral modeling is a new event mo-del,and the probability distribution of next system state is calculated by the event trigger matrix of EFPN.It is showed that the expression ability of EFPN is stronger than classical fuzzy Petri net,when evaluating the effects of the events in which the synchronic distance is 0.In contrast,when a FDES contains more than one state component,the size of the EFPN model is far less than fuzzy finite automaton.According to a FDES behavior model based on EFPN,we could effectively construct the fault daignoser of the model by reachability graph,and analysed the diagnosability of the FDES model.

Key words: Extended fuzzy Petri net,Fuzzy discrete event system,Event model,Behavioral modling,Diagnosability

[1] Ho Y,Cassandras C G.Computing co-state variables for discrete event systems[C]∥Proceedings of the 19th IEEE Conference on Decision and Control Including the Symposium on Adaptive Processes.IEEE,1980:697-700
[2] Carvalho L K,Moreira M V,Basilio J C,et al.Robust diagnosis of discrete-event systems against permanent loss of observations[J].Automatica,2013,49(1):223-231
[3] Lin F.Control of networked discrete event systems[C]∥Proceedings of the 24th Chinese Control and Decision Conference.IEEE Computer Society,2012:51-56
[4] Shu S,Lin F.I-detectability of discrete-event systems[J].IEEE Transactions on Automation Science and Engineering,2013,10(1):187-196
[5] Shu S,Lin F.Detectability of discrete event systems with dynamic event observation[J].Systems and Control Letters,2010,59(1):9-17
[6] Schmidt K W,Boutalis Y S.Fuzzy discrete event systems formultiobjective control:Framework and application to mobile robot navigation[J].IEEE Transactions on Fuzzy Systems,2012,20(5):910-922
[7] Lin F,Ying H.Modeling and control of fuzzy discrete event systems[J].IEEE Transactions on Systems,Man,and Cybernetics,Part B:Cybernetics,2002,32(4):408-415
[8] 叶阳东,贾利民.模糊离散事件动态系统相关问题的研究[J].中国铁道科学,2001,22(6):45-50
[9] 张颖,邵世煌.基于规则的模糊离散事件系统建模与控制研究[J].控制与决策,2006,21(11):1257-1263
[10] Qiu D.Supervisory control of fuzzy discrete event systems:Aformal approach[J].IEEE Transactions on Systems,Man,and Cybernetics,Part B:Cybernetics,2005,35(1):72-88
[11] Liu F,Qiu D.Diagnosability of fuzzy discrete-event systems:A fuzzy approach[J].IEEE Transactions on Fuzzy Systems,2009,17(2):372-384
[12] Suzuki I,Kasami T.Characterization of weight vectors forweighted synchronic distance in petri nets[C]∥Proceedings of the 20th Annual Allerton Conference on Communication,Control,and Computing.Univ of Illinois at Urbana-Champaign,1982:406-415
[13] 佘维,叶阳东.一种基于贝叶斯Petri网的故障诊断方法[J].小型微型计算机系统,2011,32(11):2303-2308
[14] Klir G J,Yuan B.Fuzzy Sets and Fuzzy Logic:Theory and Applications [M].Englewood Cliffs,NJ:Prentice-Hall,1995
[15] Ying H,Lin F,Macarthur R D,et al.A self-learning fuzzy discrete event system for HIV/AIDS treatment regimen selection[J].IEEE Transactions on Systems,Man,and Cybernetics,Part B:Cybernetics,2007,37(4):966-979
[16] 李占山,陈超,叶寒锋.基于时序的离散事件系统的可诊断性[J].计算机科学,2012,39(8):210-214,251
[17] Kilic E.Diagnosability of fuzzy discrete event systems[J].Information Sciences,2008,178(3):858-870
[18] Peterson J L.Petri网理论与系统模拟[M].徐州:中国矿业大学出版社,1989
[19] Qiu D,Liu F.Fuzzy discrete-event systems under fuzzy observability and a test algorithm[J].IEEE Transactions on Fuzzy Systems,2009,17(3):578-589
[20] Ying H,Lin F,Macarthur R D,et al.A fuzzy discrete event sys-tem approach to determining optimal HIV/AIDS treatment regimens[J].IEEE Transactions on Information Technology in Biomedicine,2006,10(4):663-676

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!