Skip to Main content Skip to Navigation
Conference papers

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], Inria Saclay - Ile de France
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00638285
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 2:44:47 PM
Last modification on : Monday, February 15, 2021 - 10:50:25 AM

Identifiers

  • HAL Id : inria-00638285, version 1

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. ⟨inria-00638285⟩

Share

Metrics

Record views

296