Modular Fault Diagnosis Based on Discrete Event Systems

An awareness of failure type and location is an indispensable requirement for the establishment of adequate recovery strategies and the maintenance of Factory Automation and Process Control systems. The failure diagnosis methodology presented in this paper is based on Discrete Event Systems models and in the diagnoser concept, which enable the off-line and on-line analysis of systems failures. We present an approach for models and associated diagnosers based on a modular decomposition of the global system, with the aim of avoiding problems of exponential explosion in the number of states and computational complexity of the diagnosis process.

[1]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[2]  Manuel Silva.  Las Redes de Petri : en la Automática y la Informática , 2002 .

[3]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[4]  Yadati Narahari,et al.  Performance modeling of automated manufacturing systems , 1992 .

[5]  Albert Benveniste,et al.  Distributed diagnosis for large discrete event dynamic systems , 2002 .

[6]  S. Laurie Ricker,et al.  Decentralized failure diagnosis with asynchronous communication between supervisors , 2001, 2001 European Control Conference (ECC).

[7]  Gianfranco Lamperti,et al.  Diagnosis of a class of distributed discrete-event systems , 2000, IEEE Trans. Syst. Man Cybern. Part A.

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

[9]  Stéphane Lafortune,et al.  Coordinated decentralized protocols for failure diagnosis of discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[10]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[11]  M. J. Denham.  A Petri-net approach to the control of discrete-event systems , 1988 .

[12]  Raja Sengupta.  Diagnosis and Communication in Distributed Systems , 1999 .

[13]  Stéphane Lafortune,et al.  Failure diagnosis using discrete event models , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[14]  이석,et al.  이산사건 시스템의 Failure Diagnosis , 2000 .

[15]  H. P. Kim,et al.  Modular Failure Diagnosis for Discrete Event Systems , 2002 .

[16]  E. García Moreno,et al.  Centralized Modular Diagnosis and the Phenomenon of Coupling , 2006 .

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

[18]  S. L. Ricker,et al.  On the construction of modular observers and diagnosers for discrete-event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).