Lyapunov Stability - Barbalat's Lemma and Stability of Time-varying Systems

Barbalat's Lemma and Stability of Time-varying Systems

Assume that f is function of time only.

  • Having does not imply that has a limit at . For example, .
  • Having approaching a limit as does not imply that . For example, .
  • Having lower bounded and decreasing implies it converges to a limit. But it does not say whether or not as .

Barbalat's Lemma says:

If has a finite limit as and if is uniformly continuous (or is bounded), then as .

Usually, it is difficult to analyze the asymptotic stability of time-varying systems because it is very difficult to find Lyapunov functions with a negative definite derivative.

We know that in case of autonomous (time-invariant) systems, if is negative semi-definite (NSD), then also, it is possible to know the asymptotic behaviour by invoking invariant-set theorems. However, this flexibility is not available for time-varying systems. This is where "Barbalat's lemma" comes into picture. It says:

IF satisfies following conditions:
  1. is lower bounded
  2. is negative semi-definite (NSD)
  3. is uniformly continuous in time (satisfied if is finite)
then as .

The following example is taken from page 125 of Slotine and Li's book Applied Nonlinear Control.

Consider a non-autonomous system

This is non-autonomous because the input is a function of time. Assume that the input is bounded.

Taking gives

This says that by first two conditions and hence and are bounded. But it does not say anything about the convergence of to zero. Moreover, the invariant set theorem cannot be applied, because the dynamics is non-autonomous.

Using Barbalat's lemma:

.

This is bounded because, and are bounded. This implies as and hence . This proves that the error converges.

Read more about this topic:  Lyapunov Stability

Famous quotes containing the words stability and/or systems:

    “No one can doubt, that the convention for the distinction of property, and for the stability of possession, is of all circumstances the most necessary to the establishment of human society, and that after the agreement for the fixing and observing of this rule, there remains little or nothing to be done towards settling a perfect harmony and concord.”
    —David Hume (1711–1776)

    “I am beginning to suspect all elaborate and special systems of education. They seem to me to be built up on the supposition that every child is a kind of idiot who must be taught to think.”
    —Anne Sullivan (1866–1936)