Verification of Neural Network Control Systems in Continuous Time

Ali ArjomandBigdeli, Andrew Mata, Stanley Bak

Neural network controllers are currently being proposed for use in many safety-critical tasks. Most analysis methods for neural network control systems assume a fixed control perio…