Spectral Koopman-Hopf Formula for Reachability with Adversary

Abstract

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 function and backward reachable sets. Koopman eigenfunctions are computed using a path-integral-based Galerkin framework that avoids spatial discretization of the associated eigenfunction PDEs. Numerical examples demonstrate tractable approximation of backward reachable sets for nonlinear adversarial systems.

Topological invariants for anisotropic quasilinear elliptic systems: A Poincaré-Hopf formula
Natalino Borgia
arXiv30 Sep 2026PreprintarXiv licenceFull textAnalysis & PDEsarXiv
Elementary cellular automata: spectral properties of Koopman operator for finite periodic realizations
Qingying Zhu, Serge Richard
arXiv7 Oct 2026PreprintCC BY 4.0Full textAnalysis & PDEsarXiv
fSRD: Fuzzy Spectral Region Decomposition -- Automated Multi Operator Koopman Representations via an Adaptive Spectral Learning Architecture
Charles Bokor, Mark Cary, Denise Morrey +1
arXiv14 Sep 2026PreprintCC BY 4.0Full textDynamical systemsarXiv
The Spectral Skeleton of Chaos: Koopman Wave Packets on Poincaré Sections
Jason J. Bramburger, Shiloh-Sheray Gagnon, Rachel Morris +1
arXiv6 Sep 2026PreprintarXiv licenceFull text1 citedDynamical systems Statistical & nonlinear physicsarXiv
On the absolute convergence of the spectral side of the twisted trace formula
Werner Müller, Satoshi Wakatsuki
arXiv22 Sep 2026PreprintarXiv licenceFull textAlgebra & number theory Analysis & PDEsarXiv

Cite

BibTeX RIS

BibTeX

@misc{sutavani2026spectral,
  title = {{Spectral Koopman-Hopf Formula for Reachability with Adversary}},
  author = {Sarang Sutavani and Umesh Vaidya},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.06878},
  eprint = {2609.06878},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.06878},
  note = {CC BY 4.0},
}

RIS

TY  - UNPB
TI  - Spectral Koopman-Hopf Formula for Reachability with Adversary
AU  - Sarang Sutavani
AU  - Umesh Vaidya
PY  - 2026
DA  - 2026/09/06
PB  - arXiv
DO  - 10.48550/arxiv.2609.06878
UR  - https://arxiv.org/abs/2609.06878
AB  - 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 function and backward reachable sets. Koopman eigenfunctions are computed using a path-integral-based Galerkin framework that avoids spatial discretization of the associated eigenfunction PDEs. Numerical examples demonstrate tractable approximation of backward reachable sets for nonlinear adversarial systems.
ER  -

Abstract

Related

Cite