Lyapunov stability analysis of higher-order 2-D systems

Abstract

In this paper we prove a necessary and sufficient condition for the asymptotic stability of a 2-D system described by a system of higher-order linear partial difference equations. We show that asymptotic stability is equivalent to the existence of a vector Lyapunov functional satisfying certain positivity conditions together with its divergence along the system trajectories. We use the behavioral framework and the calculus of quadratic difference forms based on four-variable polynomial algebra.