Kk. Johnson et Iw. Sandberg, A SEPARATION THEOREM FOR FINITE-PRECISION DIGITAL-SYSTEMS, Circuits, systems, and signal processing, 16(1), 1997, pp. 107-119
For models of zero-input direct-form digital filters implemented in fi
xed-point digital hardware it is known that if saturation arithmetic i
s used and stability holds when the quantization is ignored, then the
amplitude of all limit cycles can be made arbitrarily small by making
the bound on the magnitude of the quantization sufficiently small. In
that sense the effects of quantization and overflow can be considered
separately. Recently, this proposition was extended to the case in whi
ch the input need not be zero. Here we give a result to the effect tha
t quantization and overflow can be considered separately for a much mo
re general class of discrete-time systems, and we give as an example a
n application of this result to systems governed by state equations.