Invariance results for linear, time-invariant, discrete-time systems

We establish a general invariance result for linear, time-invariant, discrete-time systems. This result, which constitutes necessary and sufficient conditions for asymptotic stability in the large is very general and yields several important variants. The results presented herein are in the same spirit as the authors’ earlier results for linear, time-invariant continuous-time systems. We demonstrate the applicability of the present results by means of a specific example.