Fixed-Time Formation Tracking Control for Multiple Unmanned Surface Vessels | IEEE Conference Publication | IEEE Xplore