Constructions of strict lyapunov functions - Malisoff, Michael (Communications and Control Engineering,, 2009)