Abstract
The LaSalle Invariance Principle uses non-strict Lyapunov functions to show asymptotic stability. However, even when a system is known to be asymptotically stable, it is still desirable to be able to construct a strict Lyapunov function for the system, e.g., for robustness analysis and feedback design. In this chapter, we give two more methods for constructing strict Lyapunov functions, which apply to cases where asymptotic stability is already known from the LaSalle Invariance Principle. The first imposes simple algebraic conditions on the higher order Lie derivatives of the non-strict Lyapunov functions, in the directions of the vector fields that define the systems. Our second method uses our continuous time Matrosov Theorem from Chap. 3. We illustrate our approach by constructing a strict Lyapunov function for an appropriate error dynamics involving the Lotka-Volterra Predator-Prey System.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Rights and permissions
Copyright information
© 2009 Springer London
About this chapter
Cite this chapter
(2009). Systems Satisfying the Conditions of LaSalle. In: Constructions of Strict Lyapunov Functions. Communications and Control Engineering. Springer, London. https://doi.org/10.1007/978-1-84882-535-2_5
Download citation
DOI: https://doi.org/10.1007/978-1-84882-535-2_5
Publisher Name: Springer, London
Print ISBN: 978-1-84882-534-5
Online ISBN: 978-1-84882-535-2
eBook Packages: EngineeringEngineering (R0)