Active Learning of Dynamics for Data-Driven Control Using Koopman Operators | IEEE Journals & Magazine | IEEE Xplore