Petersen's lemma on matrix uncertainty and its generalizations

Various generalizations and refinements are proposed for a well-known result on robust matrix sign-definiteness, which is extensively exploited in quadratic stability, design of robustly quadratically stabilizing controllers, robust LQR-problem, etc. The main emphasis is put on formulating the results in terms of linear matrix inequalities.