Derivative-Based Koopman Operators for Real-Time Control of Robotic Systems | IEEE Journals & Magazine | IEEE Xplore