Receding Horizon Formation Tracking Control of Constrained Underactuated Autonomous Underwater Vehicles | IEEE Journals & Magazine | IEEE Xplore