L2-Gain Analysis and Control Design of Linear Systems with Input Saturation using Matrix Sum of Squares Relaxation | IEEE Conference Publication | IEEE Xplore