DISCRETE-EVENT MODELLING AND FAULT DIAGNOSIS OF DISCRETELY CONTROLLED CONTINUOUS SYSTEMS

The papers presents five diagnostic strategies for discretely controlled continuous systems, which differ with respect to the abstraction of the model and measurement information used. From the original hybrid model, four more abstract representations are derived, which have the form of embedded maps, semi-Markov processes, timed automata or nondeterministic automata, respectively. The validity of the diagnostic result is ensured by the claim that the models should be complete and, hence, in the appropriate fault case, consistent with the input-output sequence of the discretely controlled system. In this way a hierarchy of models and of diagnostic results is obtained.