Other
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...
Paper Details
Title
What Topology tells us about Diagnosability in partial order semantics
Published Date
Jan 1, 2010
Journal
Volume
43
Issue
12
Pages
211 - 216
Citation AnalysisPro
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
- Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.
Notes
History