A Mixed-Integer Nonlinear Problem Algorithm to Control Finite State Machines using Branch and Bound | IEEE Conference Publication | IEEE Xplore