Finite-time stabilization in the large for uncertain nonlinear systems | IEEE Conference Publication | IEEE Xplore