In this section we consider the method to solve
BMI problems by using QE [2].
This method is applicable to not only BMI but also
general matrix inequality (Polynomial Matrix Inequality; PMI).
Here we denote a polynomial matrix inequality by
,
where
and we use
for definiteness of matrices in order to
distinguish ordinary inequality sign.
Determining (semi)definiteness for a real symmetric matrix
is achieved without computing eigenvalues
by using the following well-known as Sylvester's theorem;
For a matrix
R
,
we denote by
(i)
M is positive semi-definite if and only if
all principal minors of M are non negative i.e.
![]() |
(6) |
(ii)
M is positive definite if and only if
all leading principal minors of M are positive i.e.
![]() |
(7) |