Koopman-Based Reduced Order Controller Design for Quadrotors | IEEE Conference Publication | IEEE Xplore