Semi-global practical stabilization for a class of second-order uncertain nonlinear systems | IEEE Conference Publication | IEEE Xplore