Global finite-time attitude stabilization for spacecraft under velocity constraint | IEEE Conference Publication | IEEE Xplore