Automatic Construction of Diagnoser for Complex Discrete Event Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Automatic Construction of Diagnoser for Complex Discrete Event Systems


This paper deals with the problem of fault diagnosis of complex discrete event systems in the context of communicating timed automata. Indeed, for the diagnosis, this kind of systems can be represented by timed models whose components communicate through channels. This paper starts with a description of our modelling methodology of discrete event systems as communicating timed automata. The proposed approach for diagnosis (detection and isolation) is based on the methodology known as the diagnoser approach. This paper extends the approach of diagnoser through the taking into account of the various communicating synchronized automata representing the components of the system. It proposes an automatic step of construction of the global model. The application of the proposed algorithm allows to obtain the diagnoser of the studied system. Starting from a model of the complex system, this approach computes a deterministic automaton, called a diagnoser, which uses observable events to detect the occurrence of a failure. The different steps of the proposed method are described by algorithms and illustrated through a batch process.
Fichier principal
Vignette du fichier
article_diagnoser.pdf (194.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00676764 , version 1 (06-03-2012)


  • HAL Id : hal-00676764 , version 1


E. Gascard, Zineb Simeu-Abazi. Automatic Construction of Diagnoser for Complex Discrete Event Systems. International workshop on Dependable Control of Discrete systems, Jun 2011, Saarbrucken, Germany. pp.112-1125. ⟨hal-00676764⟩
436 View
246 Download


Gmail Facebook Twitter LinkedIn More