Lyapunov稳定性定理虽然在实际系统稳定性分析和理论研究中得到了广泛的应用,但是应用该定理分析系统的渐进稳定性时,导数为负定的Lyapunov函数时有时难以找到,尽管LaSalle不变集原理可以处理Lyapunov函数的导数为半负定的情况,但是只适用于自治系统。
Barbalat引理弥补了Lyapunov稳定性定理和Lasalle不变集原理的不足,在分析非自治系统稳定性方面起到了十分关键的作用
Barbalat’s Lemma是用来解决针对Non-Automonous System得出渐近稳定结论的工具,是一个有关函数与它的导数渐近稳定的纯粹地数学结论