Secure Leader–Follower Formation Control of Networked Mobile Robots Under Replay Attacks | IEEE Journals & Magazine | IEEE Xplore