Skip to Main content Skip to Navigation
New interface
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
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Friday, November 4, 2011 - 2:44:47 PM
Last modification on : Thursday, January 20, 2022 - 4:13:07 PM


  • HAL Id : inria-00638285, version 1


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⟩



Record views