Abstract
The classical Matrosov theorem concludes uniform asymptotic stability of time-varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semi-definite derivative along solutions) and another auxiliary function with derivative that is strictly nonzero where the derivative of the Lyapunov function is zero (Mastrosov in J Appl Math Mech 26:1337–1353, 1962). Recently, several generalizations of the classical Matrosov theorem have been reported in Loria et al. (IEEE Trans Autom Control 50:183–198, 2005). None of these results provides a construction of a strong Lyapunov function (positive definite, decrescent, with negative definite derivative along solutions) which is a very useful analysis and controller design tool for nonlinear systems. Inspired by generalized Matrosov conditions in Loria et al. (IEEE Trans Autom Control 50:183–198, 2005), we provide a construction of a strong Lyapunov function via an appropriate weak Lyapunov function and a set of Lyapunov-like functions whose derivatives along solutions of the system satisfy inequalities that have a particular triangular structure. Our results will be very useful in a range of situations where strong Lyapunov functions are needed, such as robustness analysis and Lyapunov function-based controller redesign. We illustrate our results by constructing a strong Lyapunov function for a simple Euler-Lagrange system controlled by an adaptive controller and use this result to determine an ISS controller.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aeyels D (1995). Asymptotic stability of nonautonomous systems by Lyapunov’s direct method. Syst Control Lett 25: 273–280
Angeli D (1999). Input-to-state stability of PD-controlled robotic systems. Automatica 35: 1285–1290
Angeli D, Sontag ED and Wang Y (2000). A characterization of integral input-to-state stability. IEEE Trans Autom Control 45: 1082–1097
Freeman R and Praly L (1998). Integrator backstepping for bounded controls and control rates. IEEE Trans Autom Control 43: 258–262
Jurdjević V and Quinn JP (1978). Controllability and stability. J Differ Equ 28: 381–389
Khalil HK (1996). Nonlinear systems, 2nd edn. Prentice Hall, New Jersey
Kristic M, Kanellakopoulos I and Kokotovic PV (1995). Nonlinear and adaptive control design. Wiley-Interscience, New York
LaSalle JP (1960). Some extensions of Lyapunov’s second method. IRE Trans Circuit Theory CT-7(4): 520–527
Lee TC (2003) On the equivalence relations of detectability and PE conditions with applications to stability analysis of time-varying systems. In: Proceedings of the 2003 American Control Conference, Denver, Colorado, pp 1873–1878
Loria A, Kelly R, Teel A (2003) Uniform parametric convergence in the adaptive control of manipulators: a case restudied. In: Proceedings of the IEEE Conf Robotics Automat, Taipei, Taiwan, pp 1062–1067
Loria A, Panteley E, Popović D and Teel A (2005). A nested Matrosov theorem and persistency of excitation for uniform convergence in stable non-autonomous systems. IEEE Trans Autom Control 50: 183–198
Loria A, Panteley E and Teel A (2002). Integral characterizations of uniform asymptotic and exponential stability with applications. Math Contr Sign Sys 15: 177–201
Loria A, Panteley E and Teel A (2001). Relaxed persistency of excitation for uniform asymptotic stability. IEEE Trans Autom Control 46: 1874–1886
Malisoff M and Mazenc F (2005). Further remarks on strict input-to-state stable Lyapunov functions for time-varying systems. Automatica 41: 1973–1290
Mastrosov VM (1962). On the stability of motion. J Appl Math Mech 26: 1337–1353
Mazenc F (2003). Strict Lyapunov functions for time-varying systems. Automatica 39: 349–353
Mazenc F and Nešić D (2004). Strong Lyapunov functions for systems satisfying the conditions of La Salle. IEEE Trans Autom Control 49: 1026–1030
Narendra KS and Annaswamy AM (1987). Persistent excitation in adaptive systems. Int J Control 45: 127–160
Samson C (1995). Control of chained system: Application to path following and time-varying point stabilization of mobile robots. IEEE Trans Autom Control 40: 64–77
Sastry S (1999). Nonlinear systems, analysis, stability and control. Springer, New York
Sepulchre R, Jankovic M and Kokotovic PV (1996). Constructive nonlinear Control. Springer, Berlin
Slotine JJ and Li W (1988). Adaptive manipulator control: a case study. IEEE Trans Autom Control 33: 995–1003
Sontag ED (1989). Smooth stabilization implies coprime factorization. IEEE Trans Autom Control 34: 435–443
Sontag ED (2001). The ISS philosophy as unifying framework for stability-like behavior. In: Isidori, A, Lamnabhi-Lagarrigue, F and Respondek, W (eds) Nonlinear control in the year 2000, vol. 2, pp 443–468. Springer, London
Sontag ED and Teel A (1995). Changing Supply Functions in Input/State Stable System. IEEE Trans Autom Control 40: 1476–1478
Sontag ED and Wang Y (1995). New Characterization of Input-to-State Stability. IEEE Trans Autom Control 41: 1283–1294
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mazenc, F., Nesic, D. Lyapunov functions for time-varying systems satisfying generalized conditions of Matrosov theorem. Math. Control Signals Syst. 19, 151–182 (2007). https://doi.org/10.1007/s00498-007-0015-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00498-007-0015-7