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 metadatas

Cited literature [34 references]  Display  Hide  Download

https://hal.inria.fr/inria-00638224
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 2:21:52 PM
Last modification on : Friday, November 16, 2018 - 1:25:13 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, Institute of Electrical and Electronics Engineers, 2003, 48 (5), pp.714-727. ⟨10.1109/TAC.2003.811249⟩. ⟨inria-00638224⟩

Share

Metrics

Record views

465

Files downloads

172