Diagnosability Analysis of Discrete Event Systems with Autonomous Components

Lina Ye 1, 2 Philippe Dague 1, 2
2 LEO - Distributed and heterogeneous data and knowledge
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : Diagnosability is the property of a given partially observable system model to always exhibit unambiguously a failure behavior from its only available observations in finite time after the fault occurrence, which is the basic question that underlies diagnosis taking into account its requirements at design stage. However, for the sake of simplicity, the previous works on diagnosability analysis of discrete event systems (DESs) have the same assumption that any observable event can be globally observed, which is at the price of privacy. In this paper, we first briefly describe cooperative diagnosis architecture for DESs with autonomous components, where any component can only observe its own observable events and thus keeps its internal structure private. And then a new definition of cooperative diagnosability is consequently proposed. At the same time, we present a formal framework for cooperative diagnosability checking, where global consistency of local diagnosability analysis can be achieved by analyzing communication compatibility between local twin plants without any synchronization. The formal algorithm with its discussion is provided as well.
Type de document :
Communication dans un congrès
European Conference on Artificial Intelligence ECAI, Aug 2010, Lisbonne, Portugal. 2010
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00540649
Contributeur : Philippe Dague <>
Soumis le : lundi 29 novembre 2010 - 00:47:29
Dernière modification le : jeudi 5 avril 2018 - 12:30:08
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 22:17:44

Fichier

ecai2010_camera_A4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00540649, version 1

Collections

Citation

Lina Ye, Philippe Dague. Diagnosability Analysis of Discrete Event Systems with Autonomous Components. European Conference on Artificial Intelligence ECAI, Aug 2010, Lisbonne, Portugal. 2010. 〈inria-00540649〉

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

124