Generalized S -procedure and finite frequency KYP lemma. Iwasaki, Tetsuya, Meinsma, Gjerrit, Fu, Minyue (2000) Mathematical Problems in Engineering