Robust leader-following formation control of multiple mobile robots using Lyapunov redesign | IEEE Conference Publication | IEEE Xplore