Generalized $mathcal{S}$-Procedure for Inequality Conditions on One-Vector-Lossless Sets and Linear System Analysis

Yoshio Ebihara, Katsutoshi Maeda, Tomomichi Hagiwara

研究成果: Contribution to journalArticle査読


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.
ジャーナルSIAM Journal on Control and Optimization
出版ステータス出版済み - 2008


「Generalized $mathcal{S}$-Procedure for Inequality Conditions on One-Vector-Lossless Sets and Linear System Analysis」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。