The contribution addresses the problem of approximating continuous or hybrid plant models by nondeterministic automata. The accuracy of the discrete approximation can be adjusted to reflect various design specifications. The behaviour of the underlying continuous (or hybrid) system is covered by the behaviour of its discrete approximation. Hence, a supervisory control scheme which forces an approximating automaton to meet a given set of specifications will also make the continuous (hybrid) "base" system obey the specifications.
展开▼