Diagnosis of modular discrete event systems 1

Abstract The diagnosis of unobservable fault events in discrete event systems modeled in a modular manner by means of parallel composition is considered. The notion of modular diagnosability is introduced for these systems. Necessary and sufficient conditions for this new notion of diagnosability are given. A new algorithm for verifying modular diagnosability is presented. The main feature of this algorithm is the exploitation of the modular structure of the system in order to save on computational efforts.

[1]  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).

[2]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

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

[4]  Sujeet Chand,et al.  Time templates for discrete event fault monitoring in manufacturing systems , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[5]  R. Blasco-Gimenez,et al.  Centralized modular diagnosis and the phenomenon of coupling , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[6]  Stéphane Lafortune,et al.  Failure diagnosis of dynamic systems: an approach based on discrete event systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

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

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

[9]  R. Malik,et al.  A modular architecture for diagnosis of discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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