Application of Sum of Squares Method in Nonlinear H∞ Control for Satellite Attitude Maneuvers. (30th November 2019)