Strict lyapunov functions for the super-twisting algorithm

A method to construct a family of strict Lyapunov functions, i.e., with negative definite derivative, for the super-twisting algorithm, without or with perturbations, is provided. This second order sliding modes algorithm is widely used to design controllers, observers and exact differentiators. The proposed Lyapunov functions ascertain finite time convergence, provide an estimate of the convergence time, and ensure the robustness of the finite-time or ultimate boundedness for a class of perturbations wider than the classical ones for this algorithm. Since the Lyapunov functions and their derivatives are quadratic forms, the operation with them is as simple as for linear time invariant systems.