Leader–Follower Formation Control With Prescribed Performance Guarantees | IEEE Journals & Magazine | IEEE Xplore