Evaluation, Selection, and Application of Model-Based Diagnosis Tools and Approaches

Model-based approaches have proven fruitful in the design and implementation of intelligent systems that provide automated diagnostic functions. A wide variety of models are used in these approaches to represent the particular domain knowledge, including analytic state-based models, input-output transfer function models, fault propagation models, and qualitative and quantitative physics-based models. Diagnostic applications are built around three main steps: observation, comparison, and diagnosis. If the modeling begins in the early stages of system development, engineering models such as fault propagation models can be used for testability analysis to aid definition and evaluation of instrumentation suites for observation of system behavior. Analytical models can be used in the design of monitoring algorithms that process observations to provide information for the second step in the process, comparison of expected behavior of the system to actual measured behavior. In the final diagnostic step, reasoning about the results of the comparison can be performed in a variety of ways, such as dependency matrices, graph propagation, constraint propagation, and state estimation. Realistic empirical evaluation and comparison of these approaches is often hampered by a lack of standard data sets and suitable testbeds. In this paper we describe the Advanced Diagnostics and Prognostics Testbed (ADAPT) at NASA Ames Research Center. The purpose of the testbed is to measure, evaluate, and mature diagnostic and prognostic health management technologies. This paper describes the testbed’s hardware, software architecture, and concept of operations. A simulation testbed that

[1]  A.H. Haddad,et al.  Applied optimal estimation , 1976, Proceedings of the IEEE.

[2]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[3]  Prakash P. Shenoy,et al.  Axioms for probability and belief-function proagation , 1990, UAI.

[4]  Krishna R. Pattipati,et al.  Multi-signal flow graphs: a novel approach for system testability analysis and fault diagnosis , 1994 .

[5]  Krishna R. Pattipati,et al.  Decentralized real-time monitoring and diagnosis , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[6]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

[7]  Pieter J. Mosterman,et al.  Diagnosis of continuous valued systems in transient operating regions , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[8]  Gabor Karsai,et al.  Building observers to address fault isolation and control problems in hybrid dynamic systems , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[9]  M. Ceraolo,et al.  New dynamical models of lead-acid batteries , 2000 .

[10]  J. Buttriss 3rd edition, 2000 , 2001 .

[11]  Adnan Darwiche,et al.  A differential approach to inference in Bayesian networks , 2000, JACM.

[12]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[13]  Gabor Karsai,et al.  A robust method for hybrid diagnosis of complex systems , 2003 .

[14]  Sriram Narasimhan,et al.  Combining Particle Filters and Consistency-Based Approaches for Monitoring and Diagnosis of Stochastic Hybrid Systems , 2004 .

[15]  Lee,et al.  [American Institute of Aeronautics and Astronautics 46th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference - Austin, Texas ()] 46th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference - Aeroelastic Studies on a Folding Wing Configuration , 2005 .

[16]  A. Ledeczi,et al.  Model Integrated Computing in the Large , 2005, 2005 IEEE Aerospace Conference.

[17]  Sherif Abdelwahed,et al.  Online fault adaptive control for efficient resource management in Advanced Life Support Systems. , 2005, Habitation.

[18]  Pieter J. Mosterman,et al.  A Method for Efficient Simulation of Hybrid Bond Graphs , 2006 .

[19]  Adnan Darwiche,et al.  Solving MAP Exactly by Searching on Compiled Arithmetic Circuits , 2006, AAAI.

[20]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .

[21]  Gabor Karsai,et al.  Diagnostic Technology Evaluation Report For On-Board Crew Launch Vehicle , 2006 .

[22]  Gabor Karsai,et al.  Component-oriented modeling of hybrid dynamic systems using the generic modeling environment , 2006, Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06).

[23]  Robyn R. Lutz,et al.  Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle , 2006, Requirements Engineering.

[24]  David C. Wilkins,et al.  Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering , 2006, Artif. Intell..

[25]  Adnan Darwiche,et al.  Compiling Bayesian Networks Using Variable Elimination , 2007, IJCAI.

[26]  Gautam Biswas,et al.  Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs , 2007, HSCC.

[27]  Ole J. Mengshoel Macroscopic Models of Clique Tree Growth for Bayesian Networks , 2007, AAAI.

[28]  Ole J. Mengshoel,et al.  Designing Resource-Bounded Reasoners using Bayesian Networks: System Health Monitoring and Diagnosis , 2007 .

[29]  Gautam Biswas,et al.  Model-Based Diagnosis of Hybrid Systems , 2003, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.