The contribution of this paper is twofold. First we give a generalization o
f the S-procedure which has been proven useful for robustness analysis of c
ontrol systems. We then apply the generalized S-procedure to derive an exte
nsion of the Kalman-Yakubovich-Popov lemma thar converts a frequency domain
condition within a finite interval to a linear matrix inequality condition
suitable for numerical computations.