Leader–Follower Formation Control of USVs With Prescribed Performance and Collision Avoidance | Synapse