Fault model identification with Petri nets

Most of the fault identification problems in the discrete event systems literature assume knowledge of the structure of the net system, including the nature (and behavior) of the possible faults. In this paper we deal with this problem within the framework of Petri nets by removing the requirement that the nature (and behavior) of the fault is known. In particular, we devise a way to identify the structure of the faulty transitions of the system given its language. Then, we generalize this procedure to unobservable faults, in which case the structure of the faulty system needs to be recognized from the knowledge of the structure of the fault-free system, and the projection of the faulty system language on the set of non-faulty events, that are assumed to be observable.

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

[2]  C. Seatzu,et al.  Identification of free-labeled Petri nets via integer programming , 2005, Proceedings of the 44th IEEE Conference on Decision and 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]  Alessandro Giua,et al.  Identification of Petri Nets from Knowledge of Their Language , 2007, Discret. Event Dyn. Syst..

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

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

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

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

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

[10]  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..