Distributed Robust Prescribed Performance 3-D Time-Varying Formation Control of Underactuated AUVs Under Input Saturations and Communication Delays | IEEE Journals & Magazine | IEEE Xplore