Finite-time control based on the time-varying sliding mode for spacecraft body-fixed hovering over an asteroid | IEEE Conference Publication | IEEE Xplore