“…As such, these Lyapunov functions can be chosen as class K ∞ functions of the Lyapunov functions used in this paper. These types of Lyapunov functions have been proposed for stabilization of stochastic nonholonomic systems in [48]. whereV 4 = W 4 (X e ) + Nτ El (τ min El ,τ max El ,τ El ,τ El ) + N δ El (δ min El , δ max El , δ El ,δ El ) + N τ Er (τ min Er , τ max Er , τ Er ,τ Er ) + N δ Er (δ min Er , δ max Er , δ Er ,δ Er ).…”