Scalable Incremental Robustness Analysis of Neural Network Feedback Systems

Zichen Wang, Peter Seiler, Geir Dullerud +1

Semidefinite programming (SDP) certificates for feedback systems containing deep neural networks (NNs) typically scale with the total number of neurons, whereas small-gain tests ar…