Nonlinear control synthesis by sum of squares optimization: a Lyapunov-based approach | IEEE Conference Publication | IEEE Xplore