Predefined-Time Cluster Formation Tracking of Networked Unmanned Surface Vehicles With Global Output Constraint | IEEE Journals & Magazine | IEEE Xplore