All Roads Lead to Fault Diagnosis: Model-Based Reasoning with LYDIA
Alexander Feldman, Jurryt Pietersma, Arjan J. C. van Gemund · Research Repository (Delft University of Technology) · 2006
Model-Based Reasoning (MBR) over qualitative models of complex, real-world systems has proven succesful for automated fault diagnosis, control, and repair. Expressing a system under diagnosis in a formal model and infering a diagnosis given observations are both challenging problems. In this paper we address these challenges. By building a fault model of a real-world artifact (the fuel-system of a light aircraft), we introduce the software package for MBR Lydia and show its applicability in practice. We demonstrate how structure exploitation and compilation can be used to attack the main challenge to MBR- its high computational cost. Last, we compare our approach to other state-of-the art techniques for MBR and analyze its performance. 1