{"id":"arxiv/2607.01203","url":"https://arxiv.org/abs/2607.01203","tags":["eess.SY","cs.AI","cs.LG","cs.RO","math.OC"],"score":0,"title":"GPU-Parallel Linearization Error Bounds for Real-Time Robust Optimal Control of Nonlinear and Neural Network Dynamics","domain":"eess.SY","source":"arxiv","authors":["Jeffrey Fang","Keyi Shen","Anutam Srinivasan","Glen Chou"],"reviews":0,"subject":"eess.SY","summary":"This paper studies real-time robust optimal control for uncertain nonlinear systems, where linear time-varying (LTV) approximations make planning tractable but require sound linearization error bounds (LEBs) to guarantee robust constraint satisfaction. We develop tight, differentiable, GPU-parallel LEBs for LTV approximations of nonlinear and neural network (NN) dynamics. For analytic dynamics, we introduce path-based Hessian bounds that are tighter than standard interval methods. For NN dynamics, we derive certified LEBs using NN verifier-generated affine relaxations and local Jacobian…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-07-01","reactions":{}}