A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

Yannick Pencolé 1 Marie-Odile Cordier 2
2 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : We address the problem of diagnosing large discrete event systems. Given a flow of observations from the system, the goal is to explain these observations on-line by identifying and localising possible failures and their consequences across the system. Model-based diagnosis approaches deal with this problem but, apart very recent proposals, either they require the computation of a global model of the system which is not possible with large discrete event systems, or they cannot perform on-line diagnosis. The contribution of this paper is the description and the implementation of a formal framework for the on-line decentralised diagnosis of such systems, framework which is based on the ~divide and conquer~ principle and does not require the global model computation. This paper finally describes the use of this framework in the monitoring of a real telecommunication network.
Type de document :
Article dans une revue
Artificial Intelligence Journal, elsevier, 2005, 164 (1-2), pp.121-170
Liste complète des métadonnées

https://hal.inria.fr/inria-00511104
Contributeur : René Quiniou <>
Soumis le : lundi 23 août 2010 - 17:37:10
Dernière modification le : mercredi 11 avril 2018 - 01:56:46

Identifiants

  • HAL Id : inria-00511104, version 1

Citation

Yannick Pencolé, Marie-Odile Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence Journal, elsevier, 2005, 164 (1-2), pp.121-170. 〈inria-00511104〉

Partager

Métriques

Consultations de la notice

240