Nonlinear Modeling and Lyapunov Stability Based Controller Design of a Quadrotor UAV | IEEE Conference Publication | IEEE Xplore