Scalable Incremental Robustness Analysis of Neural Network Feedback Systems

arXiv:2609.22576 · math.OC, cs.LG, cs.SY, eess.SY · Submitted 2026-09-18 · Read on arXiv

math.OC, cs.LG, cs.SY, eess.SY

Submitted: 2026-09-18

Updated: 2026-09-18

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Robustness — 1× in this paper · explained in 5 episodes
• Semidefinite Programming (SDP) — 1× in this paper · explained in 3 episodes
• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Lions and Muons: Optimization via Stochastic Frank-Wolfe under Heavy-Tailed Noise
• Adam-HNAG: A Convergent Reformulation of Adam with Accelerated Rate
• Incremental Learning in Mirror Flows
• Online Control via Counterfactual Tracking
• Asynchronous Replanning in Two Population Linear Quadratic Mean Field Games: Information Requirements and Stability
• Petrov-Galerkin operator inference with application to stability-encouraging identification