The papers presents five diagnostic methods for discretely controlled continuous systems, which differ with respect to the model and measurement information used. From the hybrid model, four more abstract representations are derived, which have the form of embedded maps, semi-Markov processes, timed automata or nondeterministic automata. The validity of the diagnostic result is ensured by the claim that the models should be complete and, hence, consistent with all the input-output sequences of the discretely controlled system in the appropriate fault case. In this way a hierarchy of models and of diagnostic results is obtained.
Print ISSN: 0178-2312
Volume: 54, 08/2006
Pages: 385 - 395