Switching-based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems