Lyapunov indicator of discrete inclusions. I (Q1116934)

An equivalence is proved between the negativity of the Lyapunov indicator corresponding to a discrete inclusion defined by \(F(y)=\{Ay\), \(A\in {\mathcal U}\}\), a polyhedral set: \[ {\mathcal U}=\{A+\sum^{m}_{i=1}b_ i\nu_ ic^ T_ i,\quad 0\leq \nu_ i\leq \mu_ i,\quad b_ i,c_ i\in {\mathbb{R}}^ n\}, \] and the absolute stability of the discrete control system: \[ x_{k+1}=Ax_ k+\sum^{m}_{i=1}b_ i\xi^ i_ k,\quad \sigma^ i_ k=c^ T_ ix_ k,\quad \xi^ i_ k=\phi_ i(\sigma^ i_ k,k) \] in a class of nonlinearities that satisfy the conditions \(0\leq \phi_ i(\sigma,k)\sigma \leq \mu_ i\sigma^ 2\) for any \(\sigma\in R\), \(i=1,...,m\), \(k=0,1,2,...\). It is also shown that the existence of an unbounded solution of a nonsingular inclusion is equivalent to a positive Lyapunov indicator. [For part II see the author, Autom. Remote Control 49, No.3, 283-287 (1988; Zbl 0665.93044).]