Sum of Squares Based Nonlinear Control Design Techniques. by Qian Zheng