Abstract: | This paper considers a discrete-time continuous-variable autonomous system for which only a quantised state measurement x(k)] is available. The qualitative model of this system is a nondeterministic automaton thay describes, for a given quantised initial state x(0)], the sequence of quantised states x(k)]. The paper deals with the question for which stable linear systems is the qualitative model also stable. A necessary and sufficient condition on the qualitative model is proved under which the continuous-variable system is stable. This condition refers to the eventual boundedness of the nondeterministic automation. An example demonstrates that this stability criterion can be used only if a qualitative model of the system is available. |