Numerical synthesis of the time optimal nonlinear state controller via mixed integer programming | IEEE Conference Publication | IEEE Xplore