SAMPATH M,SENGUPTA R,LAFORTUNE S,et al.Diagnosability of discrete-event systems[J].IEEE Transactions on Automation Control,1995,40(9):1555-1575.
[2]
MOSTERMAN P J.Diagnosis of physical systems with hybrid models using parameterized causality[C]//Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control.London:Springer-Verlag,2001:447-458.
[3]
ASHLEY J,HOLLOWAY L E.Qualitative diagnosis of condition systems[J].Discrete Event Dynamic Systems,2004,14(4):395-412.
[4]
HADJICOSTIS C N,VERGHESE G C.Monitoring discrete event systems using Petri net embeddings[J].Lecture Notes in Computer Science,1999,1639(1):188-208.
[5]
CABASINO M P,GIUA A,LAFIRTYBE S,et al.Diagnosability analysis of unbounded Petri nets[C]//Proceeding of the 48th IEEE Conference on Decision and Control.Shanghai:IEEE Press,2009:1267-1272.
[6]
GIUA A,SEATZU C.Fault detection for discrete event systems using Petri nets with unobserved transitions[C]//Proceeding of the 44th IEEE Conference on Decision and Control.Seville:IEEE Press,2005:6323-6328.
[7]
GENC S,LAFORTUNE S.Distributed diagnosis of place-bordered Petri nets[J].IEEE Transactions on Automation Science and Engineering,2007,4(2):206-219.
[8]
LEFEBVRE D,DELHERM C.Diagnosis of EDS with Petri net models[J].IEEE Transactions on Automation Science and Engineering,2007,4(1):114-118.
[9]
YU R,HADJICOSTIS C N.Fault diagnosis in discrete event system modeled by partially observed Petri nets[J].Discrete Event Dynamic Systems,2009,19(4):551-575.
[10]
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(9):989-1001.
[11]
CABASINO M P,GIUA A,SEATZU C.Diagnosis using labeled Petri nets with silent or undistinguishable fault event[J].IEEE Transactions on System, Man, and Cybernetics-Part A: Systems and Humans,2013,43(2):345-355.
HASHIZUME S,YAJIMA T,KUWASHITA Y,et al.Integration of fault analysis and interlock controller synthesis for batch process[J].Chinese Journal of Chemical Engineering,2008,16(1):57-61.
