Incremental stability properties for discrete-time systems

Incremental stability describes the asymptotic behavior between any two trajectories of a dynamical system. Such properties are of interest, for example, in the study of observers or synchronization of chaotic systems. In this paper, we develop the notions of incremental stability and incremental input-to-state stability (ISS) for discrete-time systems. We derive Lyapunov function characterizations for these properties as well as a useful summation-to-summation formulation of the incremental stability property