Lyapunov-based controller synthesis and stability analysis for the execution of high-speed multi-flip quadrotor maneuvers | IEEE Conference Publication | IEEE Xplore