Diagnosis of DES With Petri Net Models

The diagnosis of discrete event systems is strongly related to events estimation. This paper focuses on faulty behaviors modeled with ordinary Petri nets with some "fault" transitions. Partial but unbiased measurement of the places marking variation is used in order to estimate the firing sequences. The main contribution is to decide which sets of places must be observed for the exact estimation of some given firing sequences. Minimal diagnosers are defined that detect and isolate the firing of fault transitions immediately. Causality relationships and directed paths are also investigated to characterize the influence and dependence areas of the fault transitions. Delayed diagnosers are obtained as a consequence. Note to Practitioners-Structural tools are provided for the analysis of models used in the context of fault detection and isolation for discrete event systems. The systems that are concerned are either manufacturing processes, batch processes, digital devices, or communication protocols with single or multiple failures. Methods are proposed to decide, in a systematic way, if the considered failures can be detected and isolated according to the existing sensors. The obtained results can also be used by designers for sensor selection

[1]  Dimitri Lefebvre,et al.  Firing and enabling sequences estimation for timed Petri nets , 2001, IEEE Trans. Syst. Man Cybern. Part A.

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

[3]  Kunihiko Hiraishi,et al.  Analysis and control of discrete event systems represented by petri nets , 1988 .

[4]  Sheng-Luen Chung,et al.  Failure diagnosis: a case study on modeling and analysis by Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[5]  Dimitri Lefebvre,et al.  Structural sensitivity for the conflicts analysis in Petri nets , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[6]  Antonio Ramírez-Treviño,et al.  Diagnosability of discrete event systems: a Petri net based approach , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[7]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

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