First Steps Towards Incremental Diagnosis of Discrete-Event Systems

Alban Grastien 1 Marie-Odile Cordier 1 Christine Largouët 1
1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000529
Contributor : Alban Grastien <>
Submitted on : Friday, October 28, 2005 - 11:56:29 AM
Last modification on : Thursday, June 20, 2019 - 12:04:05 PM
Long-term archiving on : Friday, April 2, 2010 - 6:03:37 PM

Identifiers

  • HAL Id : inria-00000529, version 1

Citation

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⟩

Share

Metrics

Record views

329

Files downloads

155