A smooth Lyapunov function from a class-
estimate involving two positive semidefinite functions
ESAIM: COCV, 5 (2000) 313-367
DOI: https://doi.org/10.1051/cocv:2000113
estimate involving two positive semidefinite functions