Control synthesis for polynomial nonlinear systems | IEEE Conference Publication | IEEE Xplore