Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
721941 | IFAC Proceedings Volumes | 2006 | 6 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
Jan Lunze,