State-Transformation-Based Recursive Design Strategy for Leader-Follower Safety Formation Control of Uncertain Multiple Quadrotors | IEEE Journals & Magazine | IEEE Xplore