Model-Based Fault Diagnosis for the Spacecraft Power System

Model-based diagnosis has a great advantage compared to other diagnostic methods. This paper develops a fault diagnosis system for the power system of spacecraft using model-based consistent diagnostic theory. Designing the nominal and faulty modes of each component, the qualitative model of the power system is built in a component-based manner using JMPL language. The fault diagnostic engine is constructed using conflict-A* algorithm. Experiments on the spacecraft power system verify that the model of the power system is correct and the diagnosis system developed is very effectively.