Computer Science ›› 2014, Vol. 41 ›› Issue (3): 17-22.
Previous Articles Next Articles
FANG Huan,FANG Xian-wen and LI De-quan
| [1] Sampath M,Sengupta R,Lafortune S,et al.Diagnosability ofdiscrete-event systems[J]．IEEE Trans．Autom．Control,1995,40(9):1555-1575 [2] Sampath M,Sengupta R,Lafortune S,et al.Failure diagnosisusing discrete-event models[J]．IEEE Trans．Control Syst．Technol.,1996,4(2):105-124 [3] 吴哲辉．Petri网导论[M]．北京:机械工业出版社,2006 [4] Ushio T,Onishi I,Okuda K．Fault detection based on Petri net models with faulty behaviors[C]∥Proceedings of 1998IEEE International Conference on Systems,Man and Cybernetics．1998:113-118 [5] Cabasino M P,Giua A,Lafortune S,et al.A new approach for diagnosability analysis of Petri nets using verifier nets[J]．IEEE Transactions on Automatic Control,2012,57(12):3104-3117 [6] Cabasino M P,Giua A,Lfortune S,et al.Diagnosability anslysis of unbounded Petri nets[C]∥Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference．Shanghai,China,Dec．2009:1267-1272 [7] Cabasino M P,Giua A,Lfortune S,et al.Diagnosability ofbounded Petri nets[C]∥Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference．Shanghai,China,Dec．2009:1254-1260 [8] Jiroveanu G,Boel R K．The diagnosability of Petri net modelsusing minimal explanations[J]．IEEE Transactions on Automa-tic Control,2010,55(7):1663-1668 [9] Ranírez-Trevino A,Ruiz-Beltrán E,Rivera-Rangel I,et al．Diagnosability of discrete event systems．A Petri net based approach[C]∥Proceedings of the 2004IEEE International Conference on Robotics & Automation．New Orleans,LA,2004:541-546 [10] Ramirez-Trevino A,Ruiz-Beltran E,Aramburo-Lizarraga J,etal．Structural diagnosability of DES and design of reduced Petri net diagnosers[J]．IEEE Transactions on System,Man and Cybernetics,A,2012,2(2):416-429 [11] Wen Yuan-lin,Jeng M D．Diagnosability of Petri nets[C]∥2004IEEE International Conference on Systems,Man and Cyberne-tics．2004:4891-4896 [12] Wen Yuan-lin,Li C H,Jeng M D．A polynomial algorithm forchecking diagnosability of Petri nets[C]∥Proceedings of．SMC’05:IEEE International Conference on System,Man,and Cybernetics．2005:2542-2547 [13] Wen Yuan-lin,Jeng M D．Diagnosability analysis based on T-invariants of Petri nets[C]∥Proceedings of IEEE Networking,Sensing and Control．2005:371-376 [14] Conona D,Giua A,Seatzu C．Marking estimation of Petri nets with silent transitions[C]∥43rd IEEE Conference on Decision and Control．2004:966-971 [15] Basile F,Chiacchio P,De Tommasi G．On K-diagnosiability of Petri nets via integer linear programming[J]．Automatica,2012(48):2047-2058 [16] Basile F,Chiacchio P,Tommasi G D．Sufficient conditions for diagnosability of Petri nets[C]∥Proceedings of the 9th International Workshop on Discrete Event Systems．Gteborg,Sweden,2008:370-375 [17] Madalinski A,Khomenko V．Diagnosability verification withparallel LTL-X model checking based on Petri net unfoldings[C]∥2010Conference on Control and Fault Tolerant Systems．Nice,France,2010:398-403 [18] Xue Fei,Zheng Da-zhong．Diagnosability for discrete event systems based on Petri net language[C]∥20048thInternational Conference on Control,Automation,Robotics and Vision．Kun-ming,China,Dec．2004:2111-2116 [19] Haar S．Qualitative diagnosability of labeled Petri nets revisited[C]∥Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference．Shanghai,China,2009:1248-1253 [20] Seatzu C,Cabasino M P,Mahulea C,et al．New result for fault detection of untimed continuous Petri nets[C]∥Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference．Shanghai,China,2009:6952-6957 [21] Cabasino M P,Giua A,Seatzu C．Diagnosis using labeled Petri nets with silent or undistinguishable fault events[J]．IEEE Transactions on System,Man and Cybernetics,Systems,2013,43(2):345-355 [22] Cabasino M P,Giua A,Hadjicosts C N,et al．Fault model identification with Petri nets[C]∥Proceedings of the 9th International Workshop on Discrete Event Systems．Goteborg,Sweden,2008:455-461 [23] Ruiz-Beltran E,Jimenez-Ochoa I,Ramirez-Trevino A,et al．Fault detection and location in DES using Petri nets[C]∥IEEE International Conference on Systems,Man and Cybernetics．2005:1645-1650 [24] Ruiz-Beltran E,Lopez-Mellado E,Ramirez-Trevino A．Fault diagnosis based on Petri net reduced models[C]∥20063rd International Conference on Electrical and Electronics Engineering．2006:1-5 [25] Hui Ren,Mi Zeng-qiang,Zhao Hong-shan,et al．Fault diagnosisfor substation automation based on Petri nets and coding theory[C]∥IEEE Power Engineering Society General Meeting．2004:1038-1042 [26] Ramirez-Trevino A,Ruiz-Beltran E,Rivera-Rangel I,et al．On-line Fault Diagnosis of discrete event systems．A Petri net-based approach[J]．IEEE Transactions on Automation Science and Engineering,2007,4(1):31-39 [27] Cabasino M P,Giua A,Pocci M,et al.Discrete event diagnosis using labeled Petri nets．An application to manufacturing systems[J]．Control Engineering Practice,2011(19):989-1001 [28] Fanti M P,Mangini A M,Ukovich W．Fault detection by labeled Petri nets and time constraints[C]∥20113rd International Workshop on Dependable Control of Discrete System．2011:168-173 [29] Cabasino M P,Giua A,Seatzu C．Fault detection for discrete event systems using Petri nets with unobservable transitions[J]．Automatica,2010(46):1531-1539 [30] Jiroveanu G,Boel R K,De Schutter B．Fault diagnosis for time Petri nets[C]∥Proceedings of the 8th International Workshop on Discrete Event Systems．Ann Arbor,Michigan,USA,2006:313-318 [31] Ru Yu,Hadjicostis C N．Fault diagnosis in discrete event sys-tems modeled by Petri nets with outputs[C]∥Proceedings of the 9th International workshop on Discrete Event Systems．Goteborg,Sweden,2008:443-448 [32] Dotoli M,Fanti M P,Mangini A M,et al．On-line fault detection in discrete event systems by Petri nets and integer linear programming[J]．Automatica,2009(45):2665-2672 [33] Qu Yi-zhi,Li Ling-xi,Chen Yao-bin,et al．Fault detection in acyclic Petri net models[C]∥2010Chinese Control and Decision Conference．2010:4059-4063 [34] Wu Ying-quan,Hadjicosts C N．Non-concurrent fault identification in discrete event systems using encoded Petri nets states[C]∥Proceedings of the 41st IEEE Conference on Decision and Control．Las Vegas,USA,2002:4018-4023 [35] Garcia E,Rodriguez L,Morant F,et al．Fault diagnosis with co-lored Petri nets using latent nesting method[C]∥IEEE International Symposium on Industrial Electronics．2008:986-991 [36] Fliss I,Tagina M．Multiple fault diagnosis of discrete event systems using Petri nets[C]∥2011International Conference on Communication,Computing and Control Applications．2011:1-6 [37] Lefebvre D,Leclercq E．Stochastic Petri net identification for the fault detection and isolation of discrete event systems[J]．IEEE Transactions on Systems,Man and Cybernetics,A,2011,41(2):213-225 [38] Fanti M P,Seatzu C．Fault diagnosis and identification of discrete event systems using Petri nets[C]∥Proceedings of the 9th International Workshop on Discrete Event Systems ．Sweden,2008:432-435 [39] Seatzu C,Mahulea C,Cabasino M P,et al．Fault diagnoser de-sign for untimed continous Petri nets[C]∥2009IEEE International Symposium on Intelligent Control Part of IEEE Multi-Conference on Systems and Control,Saint Petersburg．Russia,2009:1598-1604 [40] Mahulea C,Seatzu C,Cabasino M P,et al．Fault diagnosis of discrete-event systems using continuous Petri nets[J]．IEEE Transactions on Systems,Man and Cybernetics,A,2012,42(4):970-984 [41] Cabasino M P,Seatzu C,Mahulea C,et al.Fault diagnosis of manufacturing systems using continuous Petri nets[C]∥2010IEEE Internatioanl Conference on Systems,Man and Cyberne-tics．2010:534-539 [42] Jbairoveanu G,Boel R K．A distributed approach for fault detection and diagnosis based on time Petri net[J]．Mathematics and Computers in Simulation,2006(70):287-313 [43] Boubour R,Jard C,Aghasaryan A,et al．A Petri net approach to fault detection and diagnosis in distributed systems．Part Ⅰ:application to telecommunication networks,motivations,and mo-deling[C]∥Proceedings of the 36th Conference on Decision & Control．San Diego,California,USA,1997:720-725 [44] Aghasaryan A,Fabre E,Benveniste A,et al.A Petri net ap-proach to fault detection and diagnosis in distributed systems．Part Ⅱ:extending Viterbi algorithm and HMM techniques to Petri nets[C]∥Proceedings of the 36th Conference on Decision & Control．San Diego,California,USA,1997:726-731 [45] Ruiz-Beltran E,Ramire-Trevino A,Lopez-Mellado E．BuildingDiagnosable Petri net models for distributed fault location of DES[C]∥IEEE International Conference on Systems,Man and Cybernetics．2004:833-838 [46] Genc S,Lafortune S．Distributed diagnosis of place-bordered Petri nets[J]．IEEE Transactions on Automation Science and Engineering,2007,4(2):206-219 [47] Fanti M P,Mangini A M,Ukovich W．Distributed Fault Detection by labeled Petri nets[C]∥2012IEEE Interational Confe-rence on Systems,Man and Cybernetics．COEX,Korea,2012:1195-1200 [48] Aramburo-Lizarraga J,Lopez-Mellado E,Ramirez-Trevino A．Distributed fault diagnosis using Petri net reduced models[C]∥2005IEEE International Conference on Systems,Man and Cybernetics．2005:702-707 [49] Fanti M P,Mangini A M,Ukovich W．Fault detection by labeled Petri nets in centralized and distributed approaches [J]．IEEE Transactions on Automation Science and Engineering,2013,10(2):392-404 [50] Pencole Y,Cordier M O,Roze L．Incremental decentralized diagnosis approach for the supervision of a telecommunication network [C]∥Proceedings of the 41st IEEE Conference on Decision and Control．2002:435-440 [51] Pencole Y,Cordier M O,Roze L．A decentralized model-baseddiagnostic tool for complex systems[C]∥Proceedings of the 13th International Conference on Tools with Artificial Inteligence．2001:95-102 |
| No related articles found! |
|
||
Home