Diagnosis in Automotive Applications A Case Study with the Model Compilation Approach

This paper addresses intricate diagnosis situations in modern cars. It employs a rather new and little known diagnosis paradigm, which is a mixture of model-based and heuristic diagnosis and which is called model compilation [5, 25, 26]. The basic idea is to simulate a model of the system under study in various fault modes and over its typical input range to compile a simulation database C. A simplified rule-based behavior model is constructed from C, in which long cause-effect chains are replaced with much simpler associations and which is optimized for heuristic classification of the fault being studied. The main contribution of the paper is the application of this idea to the complex discrete event / continuous system models of modern cars. Our experiments, which are based on the latest simulation models from the automotive industry, are encouraging and may indicate a paradigm shift away from the diagnosis approaches used so far in this field.

[1]  Daniele Theseider Dupré,et al.  On-Board Diagnosis of Automotive Systems: From Dynamic Qualitative Diagnosis to Decision Trees , 1999 .

[2]  Gautam Biswas,et al.  Designing Distributed Diagnosers for Complex Physical Systems , 2005 .

[3]  Franz Wotawa,et al.  Detecting and locating faults in the control software of autonomous mobile robots , 2005, IJCAI.

[4]  Rolf Isermann,et al.  Fault detection for modern Diesel engines using signal- and process model-based methods , 2005 .

[5]  E. Ziegel.  Regression: A Second Course in Statistics , 1988 .

[6]  W. Seibold,et al.  Sichere Fehlerdiagnose in der Automobilwartung mit RODON 3 , 2004 .

[7]  Gianfranco Lamperti,et al.  Diagnosis of Active Systems , 1998, ECAI.

[8]  Nico Roos,et al.  A protocol for multi-agent diagnosis with spatially distributed knowledge , 2003, AAMAS '03.

[9]  Benno Stein,et al.  Model Construction in Analysis and Synthesis Tasks , 2001 .

[10]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[11]  Meir Kalech,et al.  Towards Model-Based Diagnosis of Coordination Failures , 2005, AAAI.

[12]  Irene Grosclaude.  Model-based monitoring of component-based software systems , 2004 .

[13]  Daniele Theseider Dupré,et al.  Model-Based Diagnosis Meets Error Diagnosis in Logic Programs , 1993, IJCAI.

[14]  W. Mayer,et al.  Approximate Modeling for Debugging of Program Loops , 2004 .

[15]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[16]  Russell Greiner,et al.  A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..

[17]  Yoshua Bengio,et al.  Pattern Recognition and Neural Networks , 1995 .

[18]  W. M. Wonham,et al.  Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[19]  Mattias Nyberg,et al.  Model-based diagnosis of an automotive engine using several types of fault models , 2002, IEEE Trans. Control. Syst. Technol..

[20]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[21]  Sherif Abdelwahed,et al.  A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems ∗ , 2005 .

[22]  Feng Zhao,et al.  Distributed Diagnosis of Networked, Embedded Systems , 2002 .

[23]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[24]  Benno Stein,et al.  Model Compilation and Diagnosability of Technical Systems , 2003 .

[25]  Brian C. Williams,et al.  Diagnosing Complex Systems with Software-Extended Behavior using Constraint Optimization , 2005 .

[26]  Peter Struss,et al.  Model-Based Diagnosis - Progress and Problems , 1989, Wissensbasierte Systeme.