A discrete-event model of asynchronous quantised systems (Q1614387)

For continuous-variable dynamical systems, whose input and state signals are measured through quantisers, a discrete-event modelling technique is proposed by considering a change of the quantised input or state value as an input or state event, respectively. A nondeterministic automaton is used for the qualitative description of such dynamics where the input and state events may occur asynchronously. To express the state transition relation of the automaton, the modelling technique exploits the signal space partitions induced by the quantisers and the reachability sets of the system. It is shown that the resulting models are complete, i.e. they generate all solutions of the quantised system with the best possible transition relation. The models can be hierarchically ordered with respect to the set of spurious behaviours.