On some relaxations commonly used in the study of linear systems
This note proposes a quite general mathematical proposition which can be a starting point to prove many well-known results encountered while studying the theory of linear systems through matrix inequalities, including the S-procedure, the projection lemma and few others. Moreover, the problem of robustness with respect to several parameter uncertainties is revisited owing to this new theorem, leading to LMI (Linear Matrix Inequality)-based conditions for robust stability or performance analysis...