Constructive Barrier Feedback for Collision Avoidance in Leader-Follower Formation Control | IEEE Conference Publication | IEEE Xplore