How can this system not be asymptotically stable

control theorydynamical systemslyapunov-functionsordinary differential equationsstability-in-odes

I am currently studying stability of nonautonomous systems using the book Applied Nonlinear Control by Slotine & Li. On page 125, there is example 4.13:

$$
\begin{align}
\dot{e} &= -e + \theta \, w(t) \\
\dot{\theta} &= -e \, w(t)
\end{align} \tag{1}
$$

with $w(t)$ a bounded, continuous but otherwise arbitrary time-varying function. They consider the Lyapunov function

$$V(e, \theta) = e^2 + \theta^2$$

with derivative

$$\dot{V}(e, \theta) = -2 e^2 \leq 0 \tag{2}$$

so $e$ and $\theta$ are bounded. Then, they use Barbalat's lemma to show that $\dot{V}(e, \theta) \rightarrow 0$ as $t \rightarrow \infty$, so also $e \rightarrow 0$. Then they say:

Note that, although $e$ converges to zero, the system is not asymptotically stable, because $\theta$ is only guaranteed to be bounded.

However, isn't it like this: If $e \rightarrow 0$ then this implies that $\dot{e} \rightarrow 0$ as well. So, for $t \rightarrow \infty$, system $(1)$ reduces to

$$
\begin{align}
0 &= \theta \, w(t) \\
\dot{\theta} &= 0
\end{align} \tag{3}
$$

Because $w(t)$ can be arbitrary for all time, the first equation of $(3)$ is only true if $\theta \rightarrow 0$ as well. The second equation of $(3)$ also confirms that $\theta$ doesn't change anymore for $t \rightarrow \infty$.

So, my conclusion would be: Since $e \rightarrow 0$ and $\theta \rightarrow 0$, the system is actually asymptotically stable. However, this is in contradiction to the citation above.

Question: Basically two questions:

  1. Where is the mistake in my argument? Or is it actually correct and the book is wrong?

  2. Is system $(1)$ now asymptotically stable or not?

Note: I also tried some functions like $w(t) = \sin(t)$ with different initial conditions in simulation, and at least for those examples, the system always seemed to converge to $(0,0)$.

Best Answer

It is a standard problem in adaptive control and estimation. To ensure that $\theta$ converges you have to assume something about $w$. The required condition is known as persistency of excitation: there exist $T>0$ and $a>0$ such that for all $t$ $$\int_{t}^{t+T}w(s)w^\top(s)ds \ge aI.$$

For example, $w(t)\equiv 0$ or $w(t) = e^{-t}$ are not persistently exciting.

Related Question