|
Alban Grastien and Marie-Odile Cordier and Christine Largouët
Incremental Diagnosis of Discrete-Event Systems
, IJCAI'05 (International Joint Conference on Artificial Intelligence)
, Professionnal Book Center
, Edinburgh, Scotland
, 1564--1565
, August
, 2005
, Poster
|
|
Abstract
This paper formalizes the incremental computation of diagnosis for
discrete-event systems. In this framework, the system model and the
observations are generally represented as finite-state machines (or
automata) and the diagnosis formally defined as the synchronised
composition of the model with the observations. Rather than globally
considering all the observations to elaborate the global diagnosis,
this approach lies in slicing the observations and in computing the
diagnosis slices explaining each observation slices. In order to reach
this objective we introduce the concept of automata chain and
the computation of the diagnosis using this chain, that can be
obtained first in a modular way and then, more efficiently, in an
incremental way. These results can be extended to the case where
observations are sliced according to temporal windows. This study is
done in an off-line context and is a first necessary step before
dealing with the on-line context introduced in the conclusion.
|
|