closed loop systems iterative methods reinforcement learning feedback interconnection hard nonlinearities input/output behaviors integral quadratic constraints iterative algorithm polynomial vector field region of attraction sum of squares optimization uncertainty analysis