Existence of an ISS-Lyapunov function satisfying: [ |x| \geq \rho(|d|) \Rightarrow \dotV \leq -\alpha(|x|) ]

Ideal for systems with a known nominal stabilizing controller (u_nom = \phi(x)) that guarantees AS for the nominal system. When uncertainty (\Delta(x,t)) appears, we add a robustifying term.

Flight control systems with uncertain aerodynamic coefficients.

Lyapunov’s direct method transforms stability analysis into a search for a scalar "energy function" (V(x)).

Robust Nonlinear Control Design: Leveraging State Space and Lyapunov Techniques

(\dotV \leq -W(x) + |L_g V|\Delta - \rho |L_g V| \leq -W(x)). Thus robustness is achieved without full re-design.