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.

Data Informativity for Quadratic Stabilization under Data Perturbation

Data-Driven Superstabilizing Control under Quadratically-Bounded Errors-in-Variables Noise

Quadratic matrix inequalities with applications to data-based control

Data-Driven Superstabilization of Linear Systems under Quantization

Data-driven Control of Unknown Linear Systems via Quantized Feedback

Data-Driven Control of Linear Systems via Quantized Feedback

Stabilizing control of robustness for systems with maximum uncertain parameters - A quadratic programming approach

Data-driven input-to-state stabilization with respect to measurement errors

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Data-Driven Robust Control Using Prediction Error Bounds Based on Perturbation Analysis

When sampling works in data-driven control: Informativity for stabilization in continuous time

Stability and Stabilization of Uncertain 2-D Discrete Systems with Stochastic Perturbation

Data-driven stabilization of switched and constrained linear systems

Stability-Certified Learning of Control Systems with Quadratic Nonlinearities

Data-Driven Robust Control for Discrete Linear Time-Invariant Systems: A Descriptor System Approach

Quadratic Stabilization Of Continuous Time System With State-Control Delays And Norm-Bounded Uncertainties

Data-Driven Robust Covariance Control for Uncertain Linear Systems

Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control

Direct Data-Driven Computation of Polytopic Robust Control Invariant Sets and State-Feedback Controllers

Robust Control of Unknown Switched Linear Systems from Noisy Data

Formulas for Data-driven Control: Stabilization, Optimality and Robustness