This construction of strict Lyapunov functions is an ongoing engineering challenge. This book contains a broad repertoire of Lyapunov constructions for nonlinear systems, focusing on methods for transforming non-strict Lyapunov functions into strict ones.