A smooth converse Lyapunov theorem for robust stability.

*(English)*Zbl 0856.93070The main result of the paper is a converse Lyapunov theorem for differential inclusions \(\dot x=F(x)\); specifically, when \(F(x)\) is Lipschitz, then asymptotic stability of the origin implies (and is clearly implied by) the existence of an infinitely differentiable Lyapunov function. This is a prime achievement, with a variety of applications to robust control design and perturbation analysis of differential equations. (Indeed, the differential inclusions formulation reflects the reviewer’s taste; the paper mentions this formulation, but addresses the equation \(\dot x=f(x,d(t))\) with \(d(t)\) a parameter in a compact set, and \(f(x,d)\) Lipschitz.) The construction of the Lyapunov function is given in two related versions. The technical difficulties that arise, and the way they are solved, are of interest in their own. In addition, the paper provides an overview of possible applications, and gives concrete examples that demonstrate the technique. The paper is a big step forward in the area.

Reviewer: Z.Artstein (Rehovot)

##### MSC:

93D05 | Lyapunov and other classical stabilities (Lagrange, Poisson, \(L^p, l^p\), etc.) in control theory |

93D30 | Lyapunov and storage functions |

34A60 | Ordinary differential inclusions |

93D20 | Asymptotic stability in control theory |

93D09 | Robust stability |