Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems Award Number ECCS-2028001 Sponsor NSF Lead PI Taylor T Johnson