Modeling for Double-Pendulum Quadrotor Transportation Systems | IEEE Conference Publication | IEEE Xplore