Lyapunov stability using minimum distance control (Q5930175)

The authors study the system \[ d\xi/d\tau= f(\xi(\tau),\zeta(\tau)),\quad \xi(0)=x\in \mathbb{R}^{n}, \tag{1} \] with \(\tau\in \mathbb{R}.\) The measurable function \(\zeta:\mathbb{R}\to Z\) with the compact subset \(Z\) of the Euclidean space \(\mathbb{R}^{p}\) is a disturbance of the system. The class of all such disturbances is denoted by \(L.\) The function \(f: \mathbb{R}^{n}\times Z\to \mathbb{R}^{n}\) is jointly continuous and locally Lipschitzian continuous in \(x\) and uniformly in \(z\in Z.\) The system (1) is called complete if for any \(\zeta\in L, x\in \mathbb{R}^{n}\) the trajectory \(\xi(\tau;x,\zeta)\) to (1) is defined on \((-\infty, \infty).\) The following theorem is the main result of the paper: Assume that (1) is a complete system. Let \(A\subset \mathbb{R}^{n}\), \(A\neq\emptyset\), closed and invariant for the system. The system (1) is uniformly globally asymptotically stable with respect to \(A\) if and only if there exists a smooth Lyapunov function \(V\) with respect to \(A\).