Fast Fixed-Time Output Multi-Formation Tracking of Networked Autonomous Surface Vehicles: A Mathematical Induction Method | IEEE Journals & Magazine | IEEE Xplore