Scalable Incremental Robustness Analysis of Neural Network Feedback Systems
ScientificML
Proposes a unified scalable framework combining structured decomposition with SDP certificates and small-gain analysis for robust stability and performance analysis of feedback systems with high-dimensional NNs and unmodeled dynamics.
See LICENSE file neural network verificationrobust controlsemidefinite programming