Concise stability conditions for systems with static nonlinear feedback expressed by a quadratic program

The stability of the feedback connection of a strictly proper linear time-invariant stable system with a static nonlinearity expressed by a convex quadratic program (QP) is considered. From the Karush-Kuhn-Tucker conditions for the QP, quadratic constraints that may be used with a quadratic Lyapunov function to construct a stability criterion via the S-procedure are established. The approach is based on existing results in the literature, but gives a more parsimonious linear matrix inequality (LMI) criterion and is much easier to implement. This approach can be extended to model predictive control and gives equivalent results to those in the literature but with a much lower dimension LMI criterion.