Skip to Main content Skip to Navigation
Reports

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach

Albert Benveniste 1 Eric Fabre 1 Claude Jard 2 Stefan Haar 1
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : In this paper we formulate asynchronous diagnosis by means of hidden state history reconstruction, from alarm observations. We follow a so-called true concurrency approach, in which no global state and no global time is available. Instead, we use only local states in combination with a partial order model of time, in which local events are ordered if they are either generated on the same site, or related via some causality relation. Our basic mathematical tool is that of net unfoldings originating from the research area. This study was motivated by the problem of event correlation in telecommunications network management.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072127
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 7:51:16 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:54:26 PM

Identifiers

  • HAL Id : inria-00072127, version 1

Citation

Albert Benveniste, Eric Fabre, Claude Jard, Stefan Haar. Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach. [Research Report] RR-4461, INRIA. 2002. ⟨inria-00072127⟩

Share

Metrics

Record views

411

Files downloads

329