autoencoders data-driven-dynamics deep-learning dynamic-mode-decomposition dynamical-systems koopman koopman-operators reachability sindy system-identification