Incremental Diagnosis of Discrete-Event Systems

Alban Grastien 1 Marie-Odile Cordier 2 Christine Largouët 2
2 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
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.
Type de document :
Communication dans un congrès
Leslie Pack Kaelbling and Alessandro Saffiotti. IJCAI'05 (International Joint Conference on Artificial Intelligence), 2005, Edinburgh, Scotland, United Kingdom. Professionnal Book Center, pp.1564--1565, 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00511109
Contributeur : René Quiniou <>
Soumis le : lundi 23 août 2010 - 17:43:10
Dernière modification le : mercredi 11 avril 2018 - 01:57:32

Identifiants

  • HAL Id : inria-00511109, version 1

Citation

Alban Grastien, Marie-Odile Cordier, Christine Largouët. Incremental Diagnosis of Discrete-Event Systems. Leslie Pack Kaelbling and Alessandro Saffiotti. IJCAI'05 (International Joint Conference on Artificial Intelligence), 2005, Edinburgh, Scotland, United Kingdom. Professionnal Book Center, pp.1564--1565, 2005. 〈inria-00511109〉

Partager

Métriques

Consultations de la notice

132