https://www.arxiv-summary.com/posts/2303.01483/
Auxiliary Functions as Koopman Observables: Data-Driven Polynomial Optimization for Dynamical Systems