This monograph investigates the stability and performance of control systems subject to
actuator saturation. It presents new results obtained by both improving the treatment of the
saturation function and constructing new Lyapunov functions. In particular two improved
treatments of the saturation function are described that exploit the intricate structural
properties of its traditional convex hull representation. The authors apply these treatments to
the estimation of the domain of attraction and the finite-gain L2 performance by using the
quadratic Lyapunov function and the composite quadratic Lyapunov function. Additionally an
algebraic computation method is given for the exact determination of the maximal contractively
invariant ellipsoid a level set of a quadratic Lyapunov function. The authors conclude with a
look at some of the problems that can be solved by the methods developed and described
throughout the book. Numerous step-by-step descriptions examples and simulations are provided
to illustrate the effectiveness of their results. Stability and Performance of Control Systems
with Actuator Saturation will be an invaluable reference for graduate students researchers
and practitioners in control engineering and applied mathematics.