Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes

Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect inconsistencies. However, sophisticated systems such as QSIM and QPE have been developed for qualitative modeling and simulation of continuous dynamic systems. We present an integration of these two lines of research as implemented in a system called QDOCS for multiple-fault diagnosis of continuous dynamic systems using QSIM models. The main contributions of the algorithm include a method for propagating dependencies while solving a general constraint satisfaction problem and a method for verifying the consistency of a behavior with a model across time. Through systematic experiments on two realistic engineering systems, we demonstrate that QDOCS demonstrates a better balance of generality, accuracy, and e ciency than competing methods.

• Type: Conference
• Year: 1996
• Where: AAAI
• Authors: Siddarth Subramanian, Raymond J. Mooney
• Keywords: AAAI 1996, Continuous Dynamic Systems, Intelligent Agents, Model-based Diagnosis Systems, Simple Constraint Propagation