Large-angle and High-speed Trajectory Tracking Control of a Quadrotor UAV based on Reachability | IEEE Conference Publication | IEEE Xplore