%0 Journal Article %A Teel, Andrew R. %A Praly, Laurent %T A smooth Lyapunov function from a class-$\mathcal {KL}$ estimate involving two positive semidefinite functions %J ESAIM: Control, Optimisation and Calculus of Variations %D 2000 %P 313-367 %V 5 %I EDP-Sciences %U http://www.numdam.org/item/COCV_2000__5__313_0/ %G en %F COCV_2000__5__313_0