Comprehensive simulation of quadrotor UAVs using ROS and gazebo
quadrotor helicopter flight dynamics and control : theory and experiment ∗ .