Barbalat’s Lemma

Hence, V0 is negative semi-definite this guarantees the boundedness of and 90. By invoking Barbalat s lemma [3], it can be recognized that V0 -> 0, which implies the global uniform convergence to 0 of as t -> oo, while 9a is only guaranteed to be uniformly bounded. ... 

---

See also in sourсe #XX -- [ , , , , ]

---