Adaptive Leader–Follower Formation Control of Underactuated Surface Vehicles With Guaranteed Performance