Distributed unfoldings: a tool to address distributed discrete event systems diagnosis

Albert Benveniste 1 Stefan Haar 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 : This paper deals with distributed and asynchronous discrete event systems diagnosis. This paper has proposed an unfolding approach to the distributed diagnosis of concurrent and asynchronous discrete event dynamical systems. This presentation was informal, based on a toy illustrative examples. Fault diagnosis for distributed discrete event systems with asychronous communication is analyzed.
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.3742-3747, 2003, 〈10.1109/CDC.2003.1271731〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638327
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 15:28:33
Dernière modification le : jeudi 11 janvier 2018 - 06:20:11

Identifiants

Collections

Citation

Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard. Distributed unfoldings: a tool to address distributed discrete event systems diagnosis. Proceedings of the 42nd IEEE Conference on Decision and Control (CDC'03), 2003, Hawaii, USA, United States. IEEE Control System Society, 4, pp.3742-3747, 2003, 〈10.1109/CDC.2003.1271731〉. 〈inria-00638327〉

Partager

Métriques

Consultations de la notice

300