Ein Ansatz zur qualitativen Modellierung und Regelung dynamischer Systeme

A linear discrete-time continuous-variable system is considered for which only a quantised state measurement is available. It is shown that the qualitative behaviour of the system is nondeterministic and, thus, nondeterministic or stochastic automata represent reasonable forms of qualitative models. On the basis of such models, a qualitative regulator is designed. The results are illustrated by means of the pole balancing problem