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? In 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 :
Communication dans un congrès
Proceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Aug 2010, Berlin, Germany. pp.221-226, 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00638285
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 14:44:47
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : inria-00638285, version 1

Collections

Citation

Stefan Haar. What Topology Tells us about Diagnosability in Partial Order Semantics. Proceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Aug 2010, Berlin, Germany. pp.221-226, 2010. 〈inria-00638285〉

Partager

Métriques

Consultations de la notice

227