Fault detection for discrete event systems using Petri nets with unobservable transitions

In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. We prove that the set of all possible firing sequences corresponding to a given observation can be described as follows. First a set of basis markings corresponding to the observation are computed together with the minimal set of transitions firings that justify them. Any other marking consistent with the observation must be reachable from a basis marking by firing only unobservable transitions. For the computation of the set of basis markings we propose a simple tabular algorithm and use it to determine a basis reachability tree that can be used as a diagnoser.

[1]  Jan Lunze,et al.  Sensor and actuator fault diagnosis of systems with discrete inputs and outputs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

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

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

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

[6]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

[7]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[8]  Shengbing Jiang,et al.  Failure diagnosis of discrete-event systems with linear-time temporal logic specifications , 2004, IEEE Transactions on Automatic Control.

[9]  J. Prock.  A new technique for fault detection using Petri nets , 1991, Autom..

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

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

[12]  J.H. van Schuppen,et al.  Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[13]  René Boel,et al.  Contextual Analysis of Petri Nets for Distributed Applications , 2004 .

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

[15]  René Boel,et al.  Distributed contextual diagnosis for very large systems , 2004 .

[16]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete event systems, a net unfolding approach , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

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

[18]  Albert Benveniste,et al.  Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets , 1998, Discret. Event Dyn. Syst..

[19]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

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

[21]  B. De Schutter,et al.  Fault Diagnosis for Time Petri Nets , 2006, 2006 8th International Workshop on Discrete Event Systems.