Leader–Follower Formation Control of USVs With Prescribed Performance and Collision Avoidance | IEEE Journals & Magazine | IEEE Xplore