New versions of Barbalat’s lemma with applications

This note presents a set of new versions of Barbalat’s lemma combining with positive (negative) definite functions. Based on these results, a set of new formulations of Lyapunov-like lemma are established. A simple example shows the usefulness of our results.