Nonlinear controller synthesis for ship course with actuator using sum-of-squares optimization | IEEE Conference Publication | IEEE Xplore