DocumentCode :
2439994
Title :
Advances in Intelligent Health Reasoning and its Application to IBDM
Author :
Feldman, A. ; Caporicci, M. ; Gracia, O. ; Bos, A.
Author_Institution :
Sci. & Technol. BV, Delft
fYear :
2007
fDate :
3-10 March 2007
Firstpage :
1
Lastpage :
15
Abstract :
We report on an experiment of using model-based diagnosis (MBD) for advanced health monitoring of the hard-docking system of the international berthing and docking mechanism (IBDM). The results of this experiment illustrate our approach in solving two major problems of MBD: modeling an artifact of non-trivial size and managing the representation complexity for finding a root cause of failure. The qualitative model of the hard-docking system has 425 variables (161 components) and 1328 clauses wherein the diagnostic reasoner is capable of determining a quadruple failure in less than 6 s on a midrange PC. Our conclusion is that the qualitative modeling language LYDIA and the automated reasoning framework UPTIME are capable of delivering of sound and accurate diagnosis imposing only a moderate computational burden, making this technology attractive for future health monitoring applications.
Keywords :
aerospace computing; computational complexity; computerised monitoring; condition monitoring; model-based reasoning; simulation languages; space vehicles; International Berthing and Docking Mechanism; LYDIA qualitative modeling language; advanced health monitoring; hard-docking system; intelligent health reasoning; model-based diagnosis; qualitative model; representation complexity; Application software; Buildings; Computational modeling; Computer science; Computerized monitoring; Condition monitoring; Humans; Mathematics; Robustness; Transportation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Aerospace Conference, 2007 IEEE
Conference_Location :
Big Sky, MT
ISSN :
1095-323X
Print_ISBN :
1-4244-0524-6
Type :
conf
DOI :
10.1109/AERO.2007.352843
Filename :
4161638
Link To Document :
بازگشت