Diagnosis of discrete event systems using timed automata

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

1 G-SCOP_GCSP - Gestion et Conduite des Systèmes de Production
2 G-SCOP - Laboratoire des sciences pour la conception, l'optimisation et la production

This paper proposes an effective way for diagnosis of discrete-event systems by using a timed automaton. It is based on the model-check 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 in the timed automaton. The proposed approach could be applied to dynamical systems, where input and output measurement can be not available. The modeling formalism permits us a formal verification of the model. The model-checking became favorite method for the checking of timed automata, our extension is an adaptation of this method for diagnoser verification. A simple real-world batch process is used to demonstrate the modeling and verification task. Finally, a backward time analysis is performed to reach diagnostic results.

Domaines: Automatique / Robotique

Zineb Simeu-Abazi, Maria Di Mascolo, Michal Knotek. Diagnosis of discrete event systems using timed automata. International Conference on cost effective automation in Networked Product Development and Manufacturing, Oct 2007, Monterrey, Mexico. pp.12. ⟨hal-00185486⟩