Constructions of Strict Lyapunov Functions

Converse Lyapunov function theory guarantees the existence of strict Lyapunov functions in many situations, but the functions it provides are often abstract and nonexplicit, and therefore may not lend themselves to engineering applications.