Distributed Control Algorithm for Leader–Follower Formation Tracking of Multiple Quadrotors: Theory and Experiment | IEEE Journals & Magazine | IEEE Xplore