First Steps Towards Incremental Diagnosis of Discrete-Event Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

First Steps Towards Incremental Diagnosis of Discrete-Event Systems


This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing the observations emitted by the system on a whole time period. The idea of this paper is to slice this global automaton according to temporal windows and to compute local diagnoses for each of these windows. It is shown that, under some conditions, the global diagnosis can be computed from the local diagnosis. This paper presents the formalization used to compute an incremental diagnosis, relying on the new concept of automata chain. It is then shown that it is possible to take into account the diagnosis obtained for the previous temporal windows to incrementally compute the current diagnosis more efficiently. This work is a first and necessary step before considering the on-line diagnosis computation. The main difficulty is then to ensure the correct slicing of the observation automaton and to determine the appropriate temporal windows.
Fichier principal
Vignette du fichier
canada.pdf (234.5 Ko) Télécharger le fichier

Dates and versions

inria-00000529 , version 1 (28-10-2005)


  • HAL Id : inria-00000529 , version 1


Alban Grastien, Marie-Odile Cordier, Christine Largouët. First Steps Towards Incremental Diagnosis of Discrete-Event Systems. Canadian AI'05, May 2005, Victoria / Canada. ⟨inria-00000529⟩
193 View
88 Download


Gmail Facebook Twitter LinkedIn More