Bounded-input bounded-output stability of nonlinear time-varying discrete control systems

It is shown that a discrete control system is bounded-input bounded-output (BIBO) stable if and only if there exist Liapunov functions possessing certain properties. As an illustration, a frequency criterion is developed for the BIBO stability of a class of non-linear discrete systems.