Technical University of Munich, Department of Computer Science
MQM Paper: [Malik/Struss 96a]

Andreas Malik, Peter Struss

Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation

In: Workshop Notes of the 10th International Workshop on Qualitative Reasoning QR-96, AAAI Press, pages 127-136, 1996.


We present a paradigmatic example of a feedback-controlled system: an electric motor with sensor and controller. Diagnosis of this system is performed based on a qualitative model that reflects deviations of parameters and behavior from a fixed reference state. The hypothesis that has been examined in this case study is that detection of behavior discrepancies does not necessarily require simulation of behavior, but can be done by checking (qualitative) states only. The qualitative models and the state-based diagnosis algorithm proved to establish a basis sufficient for fault detection and fault identifi-cation in the motor example. Some of the general pre-conditions for this are discussed.


If you have comments or suggestions, email me at
created: Anton Seidl, Jan 27, 1997, last updated: Jakob Mauss, December 4, 1998