Study of Neural Network Control Stability Based on Mixed Linear Integer Programming | IEEE Conference Publication | IEEE Xplore