Model-based design of diagnostic system

Abstract

A framework of diagnostic models and diagnostic systems is presented in this paper. It can describe fault models and multiple faults nicely. It is shown how the design of a diagnostic system using a diagnostic model can be done with diagnostic test. Two important properties, sound and complete, that describe the power of a diagnostic system are discussed. For designing a diagnostic system, a set of models is selected to be tested such that a diagnostic system based on these tests is sound and complete, then tests are designed for all selected model to obtain a diagnostic system. Finally, the equivalence between diagnostic system using tests and the model-based diagnostic system is proved.