local analysis region of attraction sum of squares uncertain systems iterative methods lyapunov functions uncertain systems local analysis non-convex constraints optimization problems polynomial nonlinear systems positively invariant sets region of attraction sum of squares sum-of-squares relaxations uncertainty analysis