Alexander L. Fradkov
Abstract:A new version of classical S-procedure in system theory is proposed based on duality in the space of positive definite matrices and introduction of matrix Lagrange multipliers. A new proof and extension of the recent results of <a class="link-external link-http" href="http://T.Iwasaki" rel="external noopener nofollow">this http URL</a>, S. Hara, A. Fradkov ( Systems & Control Letters, 2005. Vol 54 (7), pp 681-691) concerning equivalence between frequency domain inequality on finite frequency range and constrained dissipativity property for linear systems is given. The results of this paper extend S-procedure to allow for analysis and design of systems with matrix inequalities constraints.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the extension of the S - procedure in system theory within a finite frequency range and its relationship with constrained dissipativity. Specifically, the main contributions of the paper include:
1. **Propose a new version of the S - procedure**: Based on the duality in the positive definite matrix space and the introduction of matrix Lagrange multipliers, a new version of the classical S - procedure is proposed.
2. **Prove and extend existing results**: Provide a new proof of the equivalence between the frequency - domain inequality (FDI) and constrained dissipativity within a finite frequency range, and extend the recent research results.
3. **Apply to robust system analysis and design**: Extend the S - procedure to allow the analysis and design of robust systems with matrix inequality constraints.
### Detailed Explanation
#### 1. Propose a new version of the S - procedure
The paper introduces a new version of the S - procedure, which is based on the duality in the positive definite matrix space and introduces matrix Lagrange multipliers. This enables the S - procedure to handle a wider range of constraint conditions, especially conic inequalities. This new version of the S - procedure provides a new tool for handling complex system constraints.
#### 2. Prove and extend existing results
The paper re - proves the equivalence between the frequency - domain inequality (FDI) and the time - domain inequality (TDI) and the linear matrix inequality (LMI) within a finite frequency range. These results were initially proposed by other researchers, but this paper provides a more concise and general proof method through the new version of the S - procedure. In addition, the paper also extends these results to make them applicable to a wider range of situations, especially when dealing with systems with matrix inequality constraints.
#### 3. Apply to robust system analysis and design
By introducing the new version of the S - procedure, the paper shows how to apply it to the analysis and design of robust systems. Specifically, the new S - procedure can be used to handle systems with matrix inequality constraints, thus providing a theoretical basis for designing more robust control systems. This method can not only handle standard frequency - domain inequalities, but also more complex constraint conditions, such as conic inequalities.
### Key Formulas
- **Frequency - Domain Inequality (FDI)**:
\[
[(j\omega I - A)^{-1}B, I]^*\Pi[(j\omega I - A)^{-1}B, I]\leq0
\]
where \(\omega\) is the frequency variable, \(A\) and \(B\) are system matrices, and \(\Pi\) is a given complex matrix.
- **Linear Matrix Inequality (LMI)**:
\[
\begin{bmatrix}
A & B\\
I & 0
\end{bmatrix}^*
\begin{bmatrix}
- Q & P + j\omega_0Q\\
P - j\omega_0Q & -\omega_1\omega_2Q
\end{bmatrix}
\begin{bmatrix}
A & B\\
I & 0
\end{bmatrix}+\Pi\leq0
\]
where \(Q\geq0\) is a positive semi - definite matrix, and \(\omega_0 = (\omega_1+\omega_2)/2\).
- **Time - Domain Inequality (TDI)**:
\[
\int_0^{\infty}\begin{bmatrix}
x\\
u
\end{bmatrix}^*\Pi\begin{bmatrix}
x\\
u
\end{bmatrix}dt\leq0
\]
where \(x\) is the state vector and \(u\) is the input vector.
### Conclusion
By introducing a new version of the S - procedure and proving its equivalence with the frequency - domain inequality, the time - domain inequality, and the linear matrix inequality, the paper provides new theoretical tools for handling robust systems with complex constraint conditions. These results not only extend the...