Robot navigation through cluttered environments: A Lyapunov based control design approach | IEEE Conference Publication | IEEE Xplore