A Lyapunov-based Nonlinear Discrete-Time Controller Design for Attitude Tracking Control of Quadrotor Unmanned Aerial Vehicles | IEEE Conference Publication | IEEE Xplore