Diagnosis of asynchronous discrete-event systems: a net unfolding approach

Diagnosis of asynchronous discrete-event systems: a net unfolding approach

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on automatic control 2003-05, Vol.48 (5), p.714-727
Hauptverfasser: Benveniste, A., Fabre, E., Haar, S., Jard, C.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithm design and analysis
Applied sciences
Automata
Computer Science
Computer science
control theory
systems
Concurrency
Concurrent computing
Control system analysis
Control theory. Systems
Diagnosis
Discrete event systems
Exact sciences and technology
Fault diagnosis
Interleaved codes
Management
Mathematical models
Modelling and identification
Networks
Other
Petri nets
Sensor systems
Sensor systems and applications
Telecommunication network management
Telecommunications
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0018-9286
1558-2523
DOI:10.1109/TAC.2003.811249