Decentralized Fault Free Model Approach for Fault Detection and Isolation of Discrete Event Systems

This paper presents a Boolean discrete event model based approach for Fault Detection and Isolation (FDI) of manufacturing systems. This approach considers a system as a set of independent components composed of discrete actuators and their associated discrete sensors. Each component model is only aware of its local desired fault free behavior. The occurrence of a fault entailing the violation of the desired behavior is detected and the potential responsible candidates are isolated using event sequences, time delays between correlated events and state conditions, characterized by sensor readings and control signals issued by the controller. The proposed approach is applied to a flexible manufacturing system.

[1]  Gianfranco Lamperti,et al.  On Processing Temporal Observations in Monitoring of Discrete-Event Systems , 2006, ICEIS.

[2]  Liliana Ardissono,et al.  Enhancing Web services with diagnostic capabilities , 2005, Third European Conference on Web Services (ECOWS'05).

[3]  Stéphane Lafortune,et al.  Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..

[4]  George Jiroveanu,et al.  A distributed approach for fault detection and diagnosis based on Time Petri Nets , 2006, Math. Comput. Simul..

[5]  W. Qiu,et al.  Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[6]  Rolf Isermann,et al.  Supervision, fault-detection and fault-diagnosis methods — An introduction , 1997 .

[7]  Stéphane Lafortune,et al.  Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..

[8]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[9]  Yannick Pencolé.  Diagnosability Analysis of Distributed Discrete Event Systems , 2004, ECAI.

[10]  Christoforos N. Hadjicostis.  Probabilistic detection of FSM single state-transition faults based on state occupancy measurements , 2005, IEEE Transactions on Automatic Control.

[11]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[12]  Véronique Carré-Ménétrier,et al.  UNCONDITIONAL DECENTRALIZED STRUCTURE FOR THE FAULT DIAGNOSIS OF DISCRETE EVENT SYSTEMS , 2007 .

[13]  Moamar Sayed Mouchaweh,et al.  A process monitoring module based on fuzzy logic and pattern recognition , 2004, Int. J. Approx. Reason..

[14]  Meera Sampath.  A discrete event systems approach to failure diagnosis. , 1995 .

[15]  Marcel Staroswiecki,et al.  A game-theoretic approach to decision in FDI , 2003, IEEE Trans. Autom. Control..

[16]  Wenbin Qiu.  Decentralized/distributed failure diagnosis and supervisory control of discrete event systems , 2005 .

[17]  Marie-Odile Cordier,et al.  Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks , 2002, Discret. Event Dyn. Syst..

[18]  Alban Grastien,et al.  Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis , 2006, IJCAI.

[19]  S. Tripakis,et al.  Decentralized diagnosability of regular languages is undecidable , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[20]  Christoforos N. Hadjicostis.  Probabilistic fault detection in finite-state machines based on state occupancy measurements , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[21]  Lawrence E. Holloway,et al.  Template languages for fault monitoring of timed discrete event processes , 2000, IEEE Trans. Autom. Control..

[22]  Rong Su,et al.  Global and local consistencies in distributed fault diagnosis for discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[23]  Humberto E. Garcia,et al.  Model-based detection of routing events in discrete flow networks , 2005, Autom..

[24]  Stéphane Lafortune,et al.  Distributed Diagnosis of Discrete-Event Systems Using Petri Nets , 2003, ICATPN.

[25]  Paul M. Frank,et al.  Issues of Fault Diagnosis for Dynamic Systems , 2010, Springer London.