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.