General Inertia and Circle Criterion

In this paper we extend the well known Kalman-Yacubovic-Popov (KYP) lemma to the case of matrices with general regular inertia. We show that the version of the lemma that was derived for the case of pairs of stable matrices whose rank difference is one, extends to the more general case of matrices with regular inertia and in companion form. We then use this result to derive an easily verifiable spectral condition for a pair of matrices with the same regular inertia to have a common Lyapunov solution (CLS), extending a recent result on CLS existence for pairs of Hurwitz matrices that can be considered as a time-domain interpretation of the famous circle criterion