What topology tells us about diagnosability in partial order semantics

Stefan Haar 1, 2
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : From a partial observation of the behaviour of a labeled Discrete Event System, fault diagnosis strives to determine whether or not a given "invisible" fault event has occurred. The diagnosability problem can be stated as follows: does the labeling allow for an outside observer to determine the occurrence of the fault, no later than a bounded number of events after that unobservable occurrence? When this problem is investigated in the context of concurrent systems, partial order semantics adds to the difficulty of the problem, but also provides a richer and more complex picture of observation and diagnosis. In particular, it is crucial to clarify the intuitive notion of "time after fault occurrence". To this end, we will use a unifying metric framework for event structures, providing a general topological description of diagnosability in both sequential and nonsequential semantics for Petri nets.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2012, 22 (4), pp.383-402. 〈10.1007/s10626-011-0121-z〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00776799
Contributeur : Benedikt Bollig <>
Soumis le : mercredi 16 janvier 2013 - 11:23:09
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

Collections

Citation

Stefan Haar. What topology tells us about diagnosability in partial order semantics. Discrete Event Dynamic Systems, Springer Verlag, 2012, 22 (4), pp.383-402. 〈10.1007/s10626-011-0121-z〉. 〈hal-00776799〉

Partager

Métriques

Consultations de la notice

113