What Topology Tells us about Diagnosability in Partial Order Semantics - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

What Topology Tells us about Diagnosability in Partial Order Semantics

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.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00638285 , version 1 (04-11-2011)

Identifiers

  • HAL Id : inria-00638285 , version 1

Cite

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⟩
213 View
0 Download

Share

Gmail Facebook X LinkedIn More