Diagnosing multiple failures using knowledge of component states

A prototype, called the generic model-based diagnostic system (GMODS), has been implemented to detect and diagnose failures in launch system hardware at the Kennedy Space Center. GMODS diagnoses both single and multiple failures from a model of the structure and function of a physical system. The diagnostic algorithm extends the strategy proposed by J. de Kleer and B. Williams (1987) for efficiently diagnosing multiple failures. GMODS departs from previous work by using knowledge of component states to diagnose failures in components that operate in one of several states. The resulting approach also prunes suspects by using knowledge of the failed-state behavior of components.<
>