Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

K. Hornik, M. Stinchcombe, and H. White, “Multilayer feedforward networks are universal approximators,” Neural Networks

1989

Earlier work this paper cites.

K. J. Hunt, D. Sbarbaro, R. Żbikowski, and P. J. Gawthrop, “Neural networks for control systems: A survey,” Automatica

1992

Earlier work this paper cites.

S. W. Piche, “The selection of weight accuracies for madalines,” IEEE Transactions on Neural Networks

1995

Earlier work this paper cites.

S. Lawrence, C. L. Giles, A. C. Tsoi, and A. D. Back, “Face recognition: A convolutional neural-network approach,” IEEE Transactions on Neural Networks

1997

Earlier work this paper cites.

S. S. Ge, C. C. Hang, and T. Zhang, “Adaptive neural network control of nonlinear systems by state and output feedback,” IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)

1999

Earlier work this paper cites.

X. Zeng and D. S. Yeung, “Sensitivity analysis of multilayer perceptron to input and weight perturbations,” IEEE Transactions on Neural Networks

2001

Earlier work this paper cites.

X. Zeng and D. S. Yeung, “A quantified sensitivity measure for multilayer perceptron to input perturbation,” Neural Computation

2003

Earlier work this paper cites.

D. Shi, D. S. Yeung, and J. Gao, “Sensitivity analysis applied to the construction of radial basis function networks,” Neural Networks

Original

2005

Earlier work this paper cites.

L. Pulina and A. Tacchella, “An abstraction-refinement approach to verification of artificial neural networks,” in International Conference on Computer Aided Verification

2010

Earlier work this paper cites.

L. Pulina and A. Tacchella, “Challenging SMT

2012

Earlier work this paper cites.

X.-Z. Wang, Q.-Y. Shao, Q. Miao, and J.-H. Zhai, “Architecture selection for networks trained with extreme learning machine using localized generalization error model,” Neurocomputing

2013

Earlier work this paper cites.

Z.-G. Wu, P. Shi, H. Su, and J. Chu, “Exponential stabilization for sampled-data neural-network-based control systems,” IEEE Transactions on Neural Networks and Learning Systems

2014

Cited alongside, same era.

Z. Zuo, Z. Wang, Y. Chen, and Y. Wang, “A non-ellipsoidal reachable set estimation for uncertain neural networks with time-varying delay,” Communications in Nonlinear Science and Numerical Simulation

2014

Cited alongside, same era.

J. Schmidhuber, “Deep learning in neural networks: An overview,” Neural Networks

2015

Cited alongside, same era.

P. S. Duggirala, S. Mitra, M. Viswanathan, and M. Potok, “ C2E2

2015

Cited alongside, same era.

T. Wang, H. Gao, and J. Qiu, “A combined adaptive neural network and nonlinear model predictive control for multirate networked industrial process control,” IEEE Transactions on Neural Networks and Learning Systems

G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer, “Reluplex: An efficient smt solver for verifying deep neural networks,” in International Conference on Computer Aided Verification

2017

Closest in time.

X. Huang, M. Kwiatkowska, S. Wang, and M. Wu, “Safety verification of deep neural networks,” in International Conference on Computer Aided Verification

2017

Closest in time.

W. Xiang, H.-D. Tran, and T. T. Johnson, “Reachable set computation and safety verification for neural networks with R

2017

Closest in time.

Z. Xu, H. Su, P. Shi, R. Lu, and Z.-G. Wu, “Reachable set estimation for M

2017

Closest in time.

W. Xiang, H.-D. Tran, and T. T. Johnson, “Robust exponential stability and disturbance attenuation for discrete-time switched systems under arbitrary switching,” IEEE Transactions on Automatic Control

2017