Abstract:This paper studies several problems related to quadratic matrix inequalities (QMI's), i.e., inequalities in the Loewner order involving quadratic functions of matrix variables. In particular, we provide conditions under which the solution set of a QMI is nonempty, convex, bounded, or has nonempty interior. We also provide a parameterization of the solution set of a given QMI. In addition, we state results regarding the image of such sets under linear maps, which characterize a subset of ``structured" solutions to a QMI. Thereafter, we derive matrix versions of the classical S-lemma and Finsler's lemma, that provide conditions under which all solutions to one QMI also satisfy another QMI. The results will be compared to related work in the robust control literature, such as the full block S-procedure and Petersen's lemma, and it is demonstrated how existing results can be obtained from the results of this paper as special cases. Finally, we show how the various results for QMI's can be applied to the problem of data-driven stabilization. This problem involves finding a stabilizing feedback controller for an unknown dynamical system influenced by noise on the basis of a finite set of data. We provide general necessary and sufficient conditions for data-based quadratic stabilization. In addition, we demonstrate how to reduce the computational complexity of data-based stabilization by leveraging the aforementioned results. This involves separating the computation of the Lyapunov function and the controller, and also leads to explicit formulas for data-guided feedback gains.

Low nonconvexity-rank bilinear matrix inequalities: algorithms and applications in robust controller and structure designs

An Off-line Algorithm of Constrained Predictive Control Model Using Linear Matrix Inequalities

Convex Relaxation of Bilinear Matrix Inequalities Part II: Applications to Optimal Control Synthesis

A successive convex optimization method for bilinear matrix inequality problems and its application to static output‐feedback control

Method of Reduction of Variables for Bilinear Matrix Inequality Problems in System and Control Designs

Neural-model based robust H∞ controllers for discrete-time nonlinear systems: an BMI approach

Neural-model based robust H/sub /spl infin// controllers for discrete-time nonlinear systems: an BMI approach

A collection of robust control problems leading to LMIs

Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case

Optimality-based domain reduction for inequality-constrained NLP and MINLP problems

LMI optimization approach to robust decentralized controller design

Quadratic matrix inequalities with applications to data-based control

Matrix Approximation with Constraints of Matrix Inequalities and Applications in Robust Control

Constrained Dynamic Control Allocation in the Presence of Singularity and Infeasible Solutions

Optimization on linear matrix inequalities for polynomial systems control

Exploring Algorithmic Limits of Matrix Rank Minimization under Affine Constraints

Robust control of uncertain multi-inventory systems via Linear Matrix Inequality

Solving Sparse Separable Bilinear Programs Using Lifted Bilinear Cover Inequalities

Dynamic system methods for solving mixed linear matrix inequalities and linear vector inequalities and equalities

Large-Scale Optimization with Linear Equality Constraints Using Reduced Compact Representation

Structured Semidefinite Representation of Some Convex Sets