Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Commonsense reasoning about causality: deriving behavior from structure
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Model-based, multiple fault diagnosis of time-varying, continuous physical devices
Proceedings of the sixth conference on Artificial intelligence applications
Automatic control systems (6th ed.)
Automatic control systems (6th ed.)
Model-based monitoring of dynamic systems
Readings in model-based diagnosis
Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation
Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
A Qualitative Model of the Space Shuttle Reaction Control System
A Qualitative Model of the Space Shuttle Reaction Control System
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems UsingBehavioral Modes
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems UsingBehavioral Modes
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Integrating model-based monitoring and diagnosis of complex dynamic systems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Reasoning about linear circuits; a model-based approach
AI Communications
A qualitative approach to multiple fault isolation in continuous systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
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 efficiency than competing methods.