A generalization of Kasovskii-LaSalle theorem for nonlinear time-varying systems: Converse results and applications

Ti Chung Lee, Zhong Ping Jiang

Research output: Contribution to journalArticlepeer-review


This paper presents a practically applicable characterization of uniform (global) asymptotic stability (UAS and UGAS) for general nonlinear time-varying systems, under certain output-dependent conditions in the spirit of the Krasovskii-LaSalle theorem. The celebrated Krasovskii-LaSalle theorem is extended from two directions. One is using the weak zero-state detectability property associated with reduced limiting systems of the system in question to generalize the condition that the maximal invariance set contained in the zero locus of the time-derivative of the Lyapunov function is the zero set. Another one is using an almost bounded output-energy condition to relax the assumption that the time derivative of the Lyapunov function is negative semi-definite. Then, the UAS and UGAS properties of the origin can be guaranteed by employing these two improved conditions related to certain output function for uniformly Lyapunov stable systems. The proposed conditions turn out to be also necessary under some mild assumptions and thus, give a new characterization of UGAS (and UAS). Through an equivalence relation, the proposed detectability condition can also be verified in terms of usual PE condition. To validate the proposed results, the obtained stability criteria are applied to a class of time-varying passive systems and to revisit a tracking control problem of nonholonomic chained systems. For the latter, under certain persistency of excitation conditions, the K-exponential stability is achieved based on our approach.

Original languageEnglish (US)
Pages (from-to)1147-1163
Number of pages17
JournalIEEE Transactions on Automatic Control
Issue number8
StatePublished - Aug 2005


  • Detectability
  • Nonholonomic systems
  • Nonlinear time-varying systems
  • Reduced limiting systems
  • Uniform asymptotic stability

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Computer Science Applications
  • Electrical and Electronic Engineering


Dive into the research topics of 'A generalization of Kasovskii-LaSalle theorem for nonlinear time-varying systems: Converse results and applications'. Together they form a unique fingerprint.

Cite this