Skip to Main content Skip to Navigation
New interface
Journal articles

Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.

Albert Benveniste 1 Eric Fabre 1 Stefan Haar 1 Claude Jard 2 
1 SIGMA2 - Signal, models, algorithms
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper, we consider the diagnosis of asynchronous discrete event systems. 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. Our basic mathematical tool is that of net unfoldings originating from the Petri net research area. This study was motivated by the problem of event correlation in telecommunications network management.
Document type :
Journal articles
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/inria-00638224
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Friday, November 4, 2011 - 2:21:52 PM
Last modification on : Friday, February 4, 2022 - 3:22:00 AM
Long-term archiving on: : Sunday, February 5, 2012 - 2:23:22 AM

File

BFHJ-tac03.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach.. IEEE Transactions on Automatic Control, 2003, 48 (5), pp.714-727. ⟨10.1109/TAC.2003.811249⟩. ⟨inria-00638224⟩

Share

Metrics

Record views

151

Files downloads

219