Numerical synthesis of the time optimal nonlinear state controller via mixed integer programming | Synapse