Abstract
The generalized version of the $\mathcal{S}$-procedure, recently introduced by Iwasaki and co-authors and Scherer independently, has proved to be very useful for robustness analysis and synthesis of control systems. In particular, this procedure provides a nonconservative way to convert specific inequality conditions on lossless sets into numerically verifiable conditions represented by linear matrix inequalities (LMIs). In this paper, we introduce a new notion, one-vector-lossless sets, and propose a generalized $\mathcal{S}$-procedure to reduce inequality conditions on one-vector-lossless sets into LMIs without any conservatism. By means of the proposed generalized $\mathcal{S}$-procedure, we can examine various properties of matrix-valued functions over some regions on the complex plane. To illustrate the usefulness, we show that full rank property analysis problems of polynomial matrices over some specific regions on the complex plane can be reduced into LMI feasibility problems. It turns out that many existing results such as Lyapunov's inequalities and LMIs for state-feedback controller synthesis readily follow from the suggested generalized $\mathcal{S}$-procedure.
Showing the abstract — retrieve the full paper via the Exa API.