Text this: Nonlinear control synthesis by sum of squares optimization: A Lyapunov-based approach