Incremental Diagnosis of Discrete-Event Systems

Alban Grastien 1 Marie-Odile Cordier 1 Christine Largouët 1, 2
1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observations and the system are thus both represented as finite-state machines (or automata) and the diagnosis formally defined as the synchronized composition of the model with the observations. The problem we deal with in this paper is that, taking into account partially ordered observations rather than sequential ones, it becomes difficult to consider the observations one after the other and to incrementally compute the global diagnosis. In this paper, we rely on a 'slicing' of the observation automaton and propose to compute diagnosis slices (for each observation slice) before combining them to get the global diagnosis. In order to reach this objective, we introduce the concept of 'automata chain' and define the computation of the diagnosis using this chain, first in a modular way and then, more efficiently, in an incremental way. These results are then extended to the case where observations are sliced according to temporal windows. This study is done in an off-line context. It is a first and necessary step before considering the on-line context which is discussed in the conclusion.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000121
Contributor : Alban Grastien <>
Submitted on : Tuesday, June 21, 2005 - 6:05:24 PM
Last modification on : Thursday, June 20, 2019 - 12:04:05 PM
Long-term archiving on : Thursday, April 1, 2010 - 9:44:21 PM

Identifiers

  • HAL Id : inria-00000121, version 1

Citation

Alban Grastien, Marie-Odile Cordier, Christine Largouët. Incremental Diagnosis of Discrete-Event Systems. DX, Richard Dearden et Sriram Narasimhan, Jun 2005, Pacific Grove, California, USA. ⟨inria-00000121⟩

Share

Metrics

Record views

680

Files downloads

144