Fixed-Time Leader-Follower Formation Control of Autonomous Underwater Vehicles With Event-Triggered Intermittent Communications | IEEE Journals & Magazine | IEEE Xplore