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.
Type de document :
Article dans une revue
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2003, 48 (5), pp.714-727. 〈10.1109/TAC.2003.811249〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00638224
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 14:21:52
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : dimanche 5 février 2012 - 02:23:22

Fichier

BFHJ-tac03.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

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〉

Partager

Métriques

Consultations de la notice

414

Téléchargements de fichiers

150