Technical University of Munich, Department of Computer Science
MQM Paper: [Struss 97b]

Peter Struss

Fundamentals of Model-Based Diagnosis of Dynamic Systems.

Proceedings of the International Joint Conference on Artificial Intelligence IJCAI 97, Nagoya, Japan, Morgan Kaufmann Publishers, pp. 480-485, 1997.

Abstract

The paper discusses theoretical foundations and practical aspects of applying model-based diagnosis (particularly consistency-based diagnosis) to dynamic systems. Many approaches to this task take it for granted that it requires simulation of the system to be diagnosed. We present conditions for avoiding the often prohibitively expensive step of simulation, which are stated as properties of the model and the predictive algorithm and the observability of the system. The results provide design criteria for models and diagnostic systems and a foundation for tackling new significant types of applications. This fact is illustrated by a case study on diagnosis of the hydraulic circuit of an anti-lock braking system.

Download


If you have comments or suggestions, email me at mauss@in.tum.de
created: Anton Seidl, Jan 23, 1997, last updated: Jakob Mauss, December 4, 1998