{"id":"arxiv/2609.06878","url":"https://arxiv.org/abs/2609.06878","tags":["eess.SY","math.OC"],"score":0,"title":"Spectral Koopman-Hopf Formula for Reachability with Adversary","domain":"eess.SY","source":"arxiv","authors":["Sarang Sutavani","Umesh Vaidya"],"reviews":0,"subject":"eess.SY","summary":"This paper develops a spectral Koopman-Hopf framework for adversarial reachability analysis of nonlinear systems. By lifting the nonlinear drift dynamics into Koopman eigenfunction coordinates, the proposed approach transforms the original state-dependent Hamilton-Jacobi-Isaacs (HJI) equation into an approximate state-independent optimization problem in spectral coordinates. The transformed control and disturbance directions are approximated using least-squares spectral projections, and upper and lower bounds on the transformed Hamiltonian are used to derive corresponding bounds on the value…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}