Adaptive Leader–Follower Formation Control of Underactuated Surface Vehicles With Guaranteed Performance | IEEE Journals & Magazine | IEEE Xplore