Classical Converse Theorems in Lyapunov's Second Method

Abstract

Lyapunov's second or direct method is one of the most widely used techniques for investigating stability properties of dynamical systems. This technique makes use of an auxiliary function, called a Lyapunov function, to ascertain stability properties for a specific system without the need to generate system solutions. An important question is the converse or reversability of Lyapunov's second method; i.e., given a specific stability property does there exist an appropriate Lyapunov function? We survey some of the available answers to this question.

Cited by in corpus (11)

• Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers
• Learning Stability Certificates from Data
• A Lyapunov function construction for a non-convex Douglas-Rachford iteration
• Estimation of non-symmetric and unbounded region of attraction using shifted shape function and R-composition
• Cone-Copositive Lyapunov Functions for Complementarity Systems: Converse Result and Polynomial Approximation
• Intrinsic Construction of Lyapunov Functions on Riemannian Manifold
• On the relationship between the energy shaping and the Lyapunov constraint based methods
• Invariance and Contraction in Geometrically Periodic Systems with Differential Inclusions
• Existence of non-coercive Lyapunov functions is equivalent to integral uniform global asymptotic stability
• Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
• Nonpathological ISS-Lyapunov Functions for Interconnected Differential Inclusions