Andreas Malik and Peter Struss
We present a paradigmatic example of a feedbackcontrolled 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 identification in the motor example. Some of the general preconditions for this are discussed.