Stability of Equilibria of Discrete-Time Systems and Localization of Invariant Compact Sets

Abstract

The stability (or asymptotic stability) of equilibria of an time-invariant discrete-time system can be verified with the use of stability and asymptotic stability criteria stated in terms of invariant sets. An earlier proposed method reduces the verification of these criteria to some set operations. However, the method is analytical and hard to implement. We propose another approach to the verification of these criteria based on the functional method for localizing invariant compact sets.