Robust Formation Control of Underactuated Autonomous Underwater Vehicles with Disturbances under Input Saturation | IEEE Conference Publication | IEEE Xplore