This book contains a broad repertoire of Lyapunov constructions for nonlinear systems, focusing on methods for transforming non-strict Lyapunov functions into strict ones. Their explicitness and simplicity make them suitable for feedback design, and for quantifying the effects of uncertainty. Readers will benefit from the authors’ mathematical rigor and unifying, design-oriented approach, as well as the numerous worked examples.