New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems

Abstract : Diagnosability is an important property that determines at design stage how accurate any diagnosis algorithm can be on a partially observable system. Most existing approaches assumed that each observable event in the system is globally observed. Considering the cases where there is no global information, a recent work has proposed a new framework to check diagnosability in a system where each component can only observe its own observable events to keep the internal structure private in terms of observations. However, the authors implicitly assume that the local paths in each component can be exhaustively enumerated, which is not true in a general case where there are embedded cycles. In this paper, we get some new results about diagnosability in such a system, i.e., what we call joint diagnosability in a self-observed distributed system. First we prove its undecidability with unobservable communication events by reducing the Post's Correspondence Problem (PCP) to an observation problem, inspired from an existing work. Then we propose an algorithm to check a sufficient but not necessary condition of joint diagnosability. Finally we briefly discuss about the decidable case where communication events are all observable.
Type de document :
Communication dans un congrès
DX - 23rd International Workshop on Principles of Diagnosis, Jul 2012, Great Malvern, United Kingdom. 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00790146
Contributeur : Philippe Dague <>
Soumis le : mardi 19 février 2013 - 14:55:40
Dernière modification le : mardi 24 avril 2018 - 13:38:28
Document(s) archivé(s) le : lundi 20 mai 2013 - 04:02:31

Fichier

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

Identifiants

  • HAL Id : hal-00790146, version 1

Collections

Citation

Lina Ye, Philippe Dague. New Results for Joint Diagnosability of Self-observed Distributed Discrete Event Systems. DX - 23rd International Workshop on Principles of Diagnosis, Jul 2012, Great Malvern, United Kingdom. 2012. 〈hal-00790146〉

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

46