Asymptotic Stability and Smooth Lyapunov Functions

  title={Asymptotic Stability and Smooth Lyapunov Functions},
  author={Frank H. Clarke and Yu. S. Ledyaev and Ronald J. Stern},
  journal={Journal of Differential Equations},
Abstract We establish that differential inclusions corresponding to upper semicontinuous multifunctions are strongly asymptotically stable if and only if there exists a smooth Lyapunov function. Since well-known concepts of generalized solutions of differential equations with discontinuous right-hand side can be described in terms of solutions of certain related differential inclusions involving upper semicontinuous multifunctions, this result gives a Lyapunov characterization of asymptotic… 

Smooth Lyapunov Functions for Discontinuous Stable Systems

It has been proved that a differential system d x / d t = f(t, x) with a discontinuous right-hand side admits some continuous weak Lyapunov function if and only if it is robustly stable. This paper

Asymptotic Stability and Smooth Lyapunov Functions for a Class of Abstract Dynamical Systems

This paper deals with asymptotic stability of a class of dynamical systems in terms of smooth Lyapunov pairs. We point out that well known converse Lyapunov results for differential inclusions cannot

Results on existence of smooth Lyapunov functions for (pre-)asymptotically stable hybrid systems with non-open basins of attraction

This work demonstrates several applications of the converse Lyapunov theorem by establishing robustness of pre-asymptotic stability to various types of perturbations and achieving input-to-state stabilization for hybrid-feedback-control systems.

A Lyapunov characterization of robust stabilization

Non-coercive Lyapunov functions for infinite-dimensional systems

Smooth Lyapunov Functions for Hybrid Systems Part II: (Pre)Asymptotically Stable Compact Sets

The converse Lyapunov theorems are used to establish semiglobal practical robustness to slowly varying, weakly jumping parameters, to temporal regularization, and to the insertion of jumps according to an ldquoaverage dwell-timerdquo rule.

Smooth Lyapunov Functions for Hybrid Systems—Part I: Existence Is Equivalent to Robustness

The equivalence between the robustness of stability with respect to two measures and a characterization of such stability in terms of a smooth Lyapunov function is established.

On the topological structure of attraction basins for differential inclusions

Results on converse Lyapunov functions from class-KL estimates

  • A. TeelL. Praly
  • Mathematics
    Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304)
  • 1999
We state results on converse Lyapunov functions for differential inclusions where a positive semidefinite function of the solutions satisfies a class-KL estimate in terms of time and a second



Liapunov and lagrange stability: Inverse theorems for discontinuous systems

A converse Liapunov theorem is proved which applies to systems of ordinary differential equations with a discontinuous righthand side and it is shown that in order to achieve a necessary and sufficient condition in terms of continuous Liap unov functions, the classical definitions need to be strengthened in a convenient way.

Nonsmooth control-Lyapunov functions

It is shown that the existence of a continuous control-Lyapunov function (CLF) is necessary and sufficient for null asymptotic controllability of nonlinear finite-dimensional control systems. The CLF

Inverse of Lyapunov’s Second Theorem for Measurable Functions

A Smooth Converse Lyapunov Theorem for Robust Stability

This paper presents a converse Lyapunov function theorem motivated by robust control analysis and design. Our result is based upon, but generalizes, various aspects of well-known classical theorems.

Asymptotic stability and feedback stabilization

General theorems are established which are strong enough to show that a) there is a continuous control law (u,v) = (u(xry, z) rv(x,y,z)) which makes the origin asympEoticatly stable for x=u y=v z=xy and that b) there exists no continuous control laws.

On Liapounoff's Conditions of Stability

1. In his well known paper, "Problbme general de la stabilite du mouvement" [3], Liapounoff has given several general criteria for the stability of a solution of a system of differential equations,

Asymptotic controllability implies feedback stabilization

It is shown that every asymptotically controllable system can be globally stabilized by means of some (discontinuous) feedback law. The stabilizing strategy is based on pointwise optimization of a

Subgradient Criteria for Monotonicity, The Lipschitz Condition, and Convexity

Abstract Let ƒ:H → (—∞,∞] be lower semicontinuous, where H is a real Hilbert space. An approach based upon nonsmooth analysis and optimization is used in order to characterize monotonicity of ƒ with