Constructions of Strict Lyapunov Functions