Formation control of car-like mobile robots: A Lyapunov function based approach | IEEE Conference Publication | IEEE Xplore