Proposition 4.16 (Petersen's lemma), p. 17 — robust strict and non-strict LMIs over $F^\top F\leqslant\bar F$ iff $C+\lambda EE^\top+\lambda^{-1}G^\top\bar FG<0$ ($\leqslant0$) for some $\lambda>0$

Initializing...

Proposition 4.16 (Petersen's lemma), p. 17 — robust strict and non-strict LMIs over $F^\top F\leqslant\bar F$ iff $C+\lambda EE^\top+\lambda^{-1}G^\top\bar FG<0$ ($\leqslant0$) for some $\lambda>0$ · Prove2Me