Stabilization of non-holonomic mobile robots using Lyapunov functions for navigation and sliding mode control | IEEE Conference Publication | IEEE Xplore