The S-procedure is a mathematical technique used in convex optimization and control theory, specifically in the context of robust control and system stability analysis. It provides a way to transform certain types of inequalities involving quadratic forms into conditions that can be expressed in terms of linear matrix inequalities (LMIs).
New to topics? Read the docs here!