Fault diagnosis for discrete event systems: Modelling and verification

Zineb Simeu-Abazi (1) , Maria Di Mascolo (1) , Michal Knotek (2)

1 G-SCOP_GCSP - Gestion et Conduite des Systèmes de Production
2 Honewell

This paper proposes an effective way for the diagnosis of discrete-event systems by using a timed automaton. It is based on the model-checking technique, thanks to the time analysis of the timed model. This paper gives a method to construct all timed models and details the different steps used to obtain the diagnosis path. A dynamic model with temporal transitions is proposed in order to model the system. By "dynamical model", we mean an extension of timed automata for which the faulty states are identified. The model of the studied system contains the faultless functioning states and all the faulty states. Our method is based on the backward exploitation of the dynamic model, where all possible reverse paths are searched. The reverse path is the connection of the faulty state to the initial state. The diagnosis method is based on the coherence between the occurrence time of the fault and the reverse path length. A simple real-world batch process is used to demonstrate the modeling steps and the proposed backward time analysis method to reach the diagnosis results.

Mots clés: Backward analysis; Discrete-Event Systems (DES); Diagnosis; Fault location; Timed automata; Detection; Backward analysis.

Domaines: Automatique / Robotique

Zineb Simeu-Abazi, Maria Di Mascolo, Michal Knotek. Fault diagnosis for discrete event systems: Modelling and verification. Reliability Engineering and System Safety, 2010, 95 (4), pp.369-378. ⟨10.1016/j.ress.2009.11.007⟩. ⟨hal-00452398⟩