Active Diagnosis of Deterministic I/O Automata

A method for the active fault diagnosis of systems modeled by sets of deterministic input/output automata is presented, where each automaton describes the behavior of the system subject to a different fault. It is shown that the system is diagnosable if and only if there are no equivalent states in different automata. An active diagnostic algorithm is presented, which generates adequate input sequences for the system and evaluates the outputs of the system in order to identify the present fault. The applicability of the developed method is demonstrated by means of an example.