A smooth Lyapunov function from a class-
estimate involving two positive semidefinite functions
ESAIM: COCV, 5 (2000) 313-367
Published online: 15 August 2002
DOI: 10.1051/cocv:2000113