A new variation of the frequency selective Kalman - Yakubovich - Popov lemma with applications in signal processing and control

The Kalman-Yakubovich-Popov (KYP) lemma is a useful tool in control and signal processing that allows an important family of computationally intractable semi-infinite programs in the entire frequency range to be characterized by computationally tractable semidefinite programs. The first part of this thesis presents a new variation of the frequency selective Kalman-Yakubovich-Popov (FS-KYP) lemma for single input single output systems, which generalizes the conventional KYP lemma on given frequency intervals. Based on the transfer function representation of single input single output systems, the proposed FS-KYP lemma provides a unified framework to convert an important family of semi-infinite programs with generic frequency selective constraints that arise from a variety of analysis and synthesis problems for infinite impulse response systems into semidefinite programs. In contrast to existing variations of the FS-KYP lemma, which invariably involves Lyapunov variables of large dimensions, the proposed FS-KYP lemma is free from Lyapunov variables. As a consequence, the proposed semidefinite programs require a minimal number of additional variables, thus can be efficiently solved by general purpose semidefinite programming solvers on a standard personal computer. The second part of this thesis studies several applications of the FS-KYP lemma to control and signal processing. Firstly, we investigate the beam pattern synthesis of an antenna array with bounded sidelobe and mainlobe levels. It is shown that the pattern synthesis problem can be posed as a convex semi-infinite program that is turned into an semidefinite program via the proposed FS-KYP lemma. The attractive feature of the proposed method is that our semidefinite program uses only a minimal number of auxiliary variables. This subsequently enables the design of patterns for arrays with several hundred elements to be achieved on a standard personal computer using existing SDP solvers. Secondly, we develop an efficient method to design several types of digital and analog infinite impulse response filters and filter banks via the new FS-KYP lemma. The proposed method is more flexible than analytical methods in the sense that it allows direct control of more design parameters, which in turn enables more requirements such as degree of flatness to be incorporated into the design process. Finally, we examine some applications of the new FS-KYP to robustness analysis of continuous control systems. Specifically, we introduce a new bisection method to compute the H∞ gain of uncertain polytopic systems