Quadrotor control: modeling, nonlinear control design, and ...