A Novel Efficient Method for Conflicts Set Generation for Model-Based Diagnosis

被引:1
|
作者
Fijany, Amir [1 ]
Barrett, Anthony [2 ]
Vatan, Farrokh [2 ]
机构
[1] Italian Inst Technol, Genoa, Italy
[2] CALTECH, Jet Prop Lab, Pasadena, CA 91125 USA
关键词
model-based diagnosis; fault detection; conflict; analytical redundancy relation; hitting set problem; ANALYTICAL REDUNDANCY RELATIONS;
D O I
10.1109/SMC-IT.2009.58
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
In this paper we present a new efficient algorithmic method for generating the conflicts set for model-based diagnosis. Our new method combines the strength of the two different approaches proposed in the literature, that is, the Fault Detection and Isolation (FDI), which is based on automatic control theory and statistical decision theory, and the other one, known as DX, which is based on artificial intelligence techniques. The first building block in our method is a new efficient algorithm for generation of the complete set of Analytical redundancy Relations (ARRs) for the system in an implicit form. For the diagnosis, our method first performs (similar to DX approaches) a system simulation to calculate the expected values of the measurements. Any discrepancy, i.e., the difference between expected and actual value of measurement, would trigger our diagnosis process. To this end, only those ARRs which involve the measurement with discrepancy are checked for consistency which lead a to a significant reduction in the number of consistency checks usually performed by DX approaches. We demonstrate the efficiency of our new method by its application to several synthetic systems and compare it with that of GDE.
引用
收藏
页码:346 / +
页数:2
相关论文
共 50 条
  • [1] Test Generation for Model-Based Diagnosis
    Provan, Gregory
    [J]. ECAI 2008, PROCEEDINGS, 2008, 178 : 199 - +
  • [2] A Novel Method of Model-based Diagnosis by Propagating Failure Value
    Ouyang, Dantong
    Zhang, Liming
    Zhao, Xiangfu
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (11): : 263 - 267
  • [3] A Novel Encoding for Model-Based Diagnosis
    Zhou, Huisi
    Ouyang, Dantong
    Tian, Xinliang
    Zhang, Liming
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2023, 60 (01): : 95 - 102
  • [4] A FRAMEWORK FOR HYPOTHESIS GENERATION IN MODEL-BASED DIAGNOSIS
    PURNA, YW
    YAMAGUCHI, T
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 1995, 9 (01) : 41 - 54
  • [5] Parallelized Hitting Set Computation for Model-Based Diagnosis
    Jannach, Dietmar
    Schmitz, Thomas
    Shchekotykhin, Kostyantyn
    [J]. PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1503 - 1510
  • [6] Efficient Model-Based Diagnosis of Sequential Circuits
    Feldman, Alexander
    Pill, Ingo
    Wotawa, Franz
    Matei, Ion
    de Kleer, Johan
    [J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2814 - 2821
  • [7] A Generalized Model-based Test Generation Method
    Bonifacio, Adilson Luiz
    Moura, Arnaldo Vieira
    Simao, Adenilso da Silva
    [J]. SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 139 - +
  • [8] RESIDUAL GENERATION IN MODEL-BASED FAULT-DIAGNOSIS
    GERTLER, J
    [J]. CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1993, 9 (01): : 259 - 285
  • [9] Model-based diagnosis with improved implicit hitting set dualization
    Huisi Zhou
    Dantong Ouyang
    Liming Zhang
    Naiyu Tian
    [J]. Applied Intelligence, 2022, 52 : 2111 - 2118
  • [10] Method for the automated model-based machine diagnosis
    Methode zur automatisierten modellgestützten Maschinendiagnose
    [J]. 2012, VDI Fachmedien GmBH & Co. KG (102):