Finite-time control of underactuated spacecraft hovering. (November 2017)