Diagnosis of discrete event systems using timed automata

Zineb Simeu-Abazi 1, * Maria Di Mascolo 1 Michal Knotek 2
* Corresponding author
G-SCOP - Laboratoire des sciences pour la conception, l'optimisation et la production
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

Contributor : Zineb Simeu-Abazi <>
Submitted on : Tuesday, November 6, 2007 - 11:27:46 AM
Last modification on : Monday, April 9, 2018 - 9:34:02 AM
Long-term archiving on: Monday, April 12, 2010 - 1:26:54 AM


Files produced by the author(s)


  • HAL Id : hal-00185486, version 1


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⟩



Record views


Files downloads