Generalizing diagnosability definition and checking for open systems: a Game structure approach

Tarek Melliti 1 Philippe Dague 2, 3
1 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
3 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 partially observable system with a given set of possible faults, that these faults can be detected with certainty with a finite observation. Usually, the definition and the verification methods of diagnosability ignore the nature of the system events, controllable (by the system) or uncontrollable. In this paper we show the influence of controllability of events on the diagnosability definition and verification. We show that the classical diagnosability is a special case where we consider the whole system as controllable. Using Game Structure we generalize the definition of diagnosability by the mean of strategies. Then, Alternating-time Temporal Logic is used in order to model check diagnosability in the case of uncontrollable events. We show how the framework is suitable for one system and also for a set of interacting systems.
Type de document :
Communication dans un congrès
21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States. 2010
Liste complète des métadonnées

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

Fichier

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

Identifiants

  • HAL Id : inria-00540849, version 1

Collections

Citation

Tarek Melliti, Philippe Dague. Generalizing diagnosability definition and checking for open systems: a Game structure approach. 21st International Workshop on Principles of Diagnosis DX'10, Oct 2010, Portland, OR, United States. 2010. 〈inria-00540849〉

Partager

Métriques

Consultations de la notice

263

Téléchargements de fichiers

112