Combining FDI and AI approaches within causal-model-based diagnosis

被引:37
作者
Gentil, S [1 ]
Montmain, J
Combastel, C
机构
[1] UJF, CNRS, INPG, Lab Automat Grenoble, F-38402 St Martin Dheres, France
[2] Ecole Mines Ales, F-30035 Nimes 1, France
[3] ENSEA, F-95014 Cergy Pontoise, France
来源
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS | 2004年 / 34卷 / 05期
关键词
causal graph; causal reasoning; diagnosis; fault detection; fault filtering; fault isolation; supervision;
D O I
10.1109/TSMCB.2004.833335
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a model-based diagnostic method designed in the context of process supervision. It has been inspired by both artificial intelligence and control theory. AI contributes tools for qualitative modeling, including causal modeling, whose aim is to split a complex process into elementary submodels. Control theory, within the framework of fault detection and isolation (FDI), provides numerical models for generating and testing residuals, and for taking into account inaccuracies in the model, unknown disturbances and noise. Consistency-based reasoning provides a logical foundation for diagnostic reasoning and clarifies fundamental assumptions, such as single fault and exoneration. The diagnostic method presented in the paper benefits from the advantages of all these approaches. Causal modeling enables the method to focus on sufficient relations for fault isolation, which avoids combinatorial explosion. Moreover, it allows the model to be modified easily without changing any aspect of the diagnostic algorithm. The numerical submodels that are used to detect inconsistency benefit from the precise quantitative analysis of the FDI approach. The FDI models are studied in order to link this method with DX component-oriented reasoning. The recursive on-line use of this algorithm is explained and the concept of local exoneration is introduced.
引用
收藏
页码:2207 / 2221
页数:15
相关论文
共 53 条
[1]  
AHRIZ H, 1997, P 11 INT WORKSH QUAL, P3
[2]  
[Anonymous], 1985, KAGAKU KOGAKU RONBUN
[3]  
Basseville M., 1993, DETECTION ABRUPT CHA
[4]  
CHARMIAK E, 1991, P AM ASS ART INT AN
[5]  
Console L., 1991, Journal of Logic and Computation, V1, P661, DOI 10.1093/logcom/1.5.661
[6]   AN APPROACH TO THE COMPILATION OF OPERATIONAL KNOWLEDGE FROM CAUSAL-MODELS [J].
CONSOLE, L ;
TORASSO, P .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1992, 22 (04) :772-789
[7]   Using compiled knowledge to guide and focus abductive diagnosis [J].
Console, L ;
Portinale, L ;
Dupre, DT .
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (05) :690-706
[8]  
Cordier MO, 2000, FR ART INT, V54, P136
[9]  
CORDIER MO, 2000, P 4 IFAC S FAULT DET, P274
[10]  
Cox P. T., 1987, Proceedings of the 1987 Symposium on Logic Programming (Cat. No.87CH2472-9), P183