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

被引:113
作者
Pencolé, Y
Cordier, MO
机构
[1] Australian Natl Univ, CSL, Canberra, ACT 0200, Australia
[2] Univ Rennes 1, IRISA, F-35000 Rennes, France
关键词
model-based diagnosis; discrete event systems; decentralised model; distributed artificial intelligence; telecommunication networks fault propagation;
D O I
10.1016/j.artint.2005.01.002
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:121 / 170
页数:50
相关论文
共 30 条
[1]  
ARNOLD A, 1987, MATH PROBLEMS COMPUT, P9
[2]   Diagnosis of large active systems [J].
Baroni, P ;
Lamperti, G ;
Pogliano, P ;
Zanella, M .
ARTIFICIAL INTELLIGENCE, 1999, 110 (01) :135-183
[3]   Diagnosis of a class of distributed discrete-event systems [J].
Baroni, P ;
Lamperti, G ;
Pogliano, P ;
Zanella, M .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2000, 30 (06) :731-752
[4]  
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[5]  
Clarke EM, 1999, MODEL CHECKING, P1
[6]   Process algebras for systems diagnosis [J].
Console, L ;
Picardi, C ;
Ribaudo, M .
ARTIFICIAL INTELLIGENCE, 2002, 142 (01) :19-51
[7]  
Cordier M.O., 2000, P 4 S FAULT DET SUP, P286
[8]   Coordinated decentralized protocols for failure diagnosis of discrete event systems [J].
Debouk, R ;
Lafortune, S ;
Teneketzis, D .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2) :33-86
[9]  
DOUSSON C, 1993, IJCAI-93, VOLS 1 AND 2, P166
[10]  
FABRE E, 2002, P IFAC WORLD C BARC