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) |