Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings

Stefan Haar 1 Albert Benveniste 1 Eric Fabre 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 truly asynchronous, distributed systems, neither global state nor global time are available. The diagnosis approach with Petri net unfoldings, motivated by the problem of event correlation in telecommunications network management and proposed, uses only local states in combination with a partial order model of time. Here, we give a definition of weak and strong diagnosability in terms of partially ordered executions, and characterize diagnosable systems; the characterizing property can be effectively verified using a finite complete prefix of the net unfolding.
Type de document :
Communication dans un congrès
Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. IEEE Control System Society, 4, pp.3748-3753, 2003, 〈10.1109/CDC.2003.1271732〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638329
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:30:23
Dernière modification le : mercredi 16 mai 2018 - 11:23:06

Identifiants

Citation

Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Partial Order Diagnosability of Discrete Event Systems Using Petri Net Unfoldings. Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. IEEE Control System Society, 4, pp.3748-3753, 2003, 〈10.1109/CDC.2003.1271732〉. 〈inria-00638329〉

Partager

Métriques

Consultations de la notice

196