Time-Energy Efficient Path Tracking for Spacecraft in Finite-Time Under Input Saturation | IEEE Conference Publication | IEEE Xplore