Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2003

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

Albert Benveniste
Stefan Haar

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
BFHJ-tac03.pdf (268.44 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

inria-00638224 , version 1 (04-11-2011)

Identifiants

Citer

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⟩
163 Consultations
248 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More