Underactuated Autonomous Underwater Vehicle Time-Varying Formation Consensus Control With Multiple Actuator Constraints | IEEE Journals & Magazine | IEEE Xplore