An efficient approach for on-line diagnosis of discrete event systems

In this paper a new approach to fault diagnosis of discrete events systems modeled with Petri nets is presented. Fault events are associated to a subset of unobservable transitions of the net. Negative markings, called generalized marking, are used to estimate the explanations of the observed transitions. The generalized markings allow to cope with the problems related with the explosion of the state space estimation in a very efficient way in terms of memory usage. This feature makes the proposed approach suitable for the on-line fault diagnosis of discrete event systems.

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

[2]  Alessandro Giua,et al.  Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.

[3]  W. Wonham,et al.  Control of vector discrete-event systems. II. Controller synthesis , 1994, IEEE Trans. Autom. Control..

[4]  René Boel,et al.  Contextual distributed diagnosis for very large systems , 2004 .

[5]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

[6]  Christoforos N. Hadjicostis,et al.  Algebraic approaches for fault identification in discrete-event systems , 2005, IEEE Transactions on Automatic Control.

[7]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[8]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[9]  Sahika Genc,et al.  Predictability in Discrete-Event Systems Under Partial Observation1 , 2007 .

[10]  Stéphane Lafortune,et al.  Distributed Diagnosis of Place-Bordered Petri Nets , 2007, IEEE Transactions on Automation Science and Engineering.

[11]  Alessandro Giua,et al.  Marking estimation of Petri nets with silent transitions , 2004 .

[12]  Francesco Basile,et al.  Feedback Control Logic for Backward Conflict Free Choice Nets , 2007, IEEE Transactions on Automatic Control.

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

[14]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[15]  Stéphane Lafortune,et al.  Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[16]  Toshimitsu Ushio,et al.  Fault detection based on Petri net models with faulty behaviors , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[17]  Shahin Hashtrudi-Zad,et al.  Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..