{"id":"arxiv/2609.22576","url":"https://arxiv.org/abs/2609.22576","tags":["math.OC","cs.LG","eess.SY"],"score":0,"title":"Scalable Incremental Robustness Analysis of Neural Network Feedback Systems","domain":"math.OC","source":"arxiv","authors":["Zichen Wang","Peter Seiler","Geir Dullerud","Bin Hu"],"reviews":0,"subject":"math.OC","summary":"Semidefinite programming (SDP) certificates for feedback systems containing deep neural networks (NNs) typically scale with the total number of neurons, whereas small-gain tests are scalable but can be highly conservative. This paper develops a unified and scalable framework for incremental robust stability and performance analysis of feedback interconnections involving high-dimensional NNs and unmodeled dynamics. By combining a structured decomposition of the full-order SDP condition with scalable Lipschitz constant estimation algorithms, we derive reduced verification conditions that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}