Generalizing diagnosability definition and checking for open systems: a Game structure approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

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

Résumé

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.
Fichier principal
Vignette du fichier
dx.pdf (1.08 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00540849 , version 1 (29-11-2010)

Identifiants

  • HAL Id : inria-00540849 , version 1

Citer

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. ⟨inria-00540849⟩
132 Consultations
58 Téléchargements

Partager

Gmail Facebook X LinkedIn More