Time-optimal attitude maneuver for underactuated spacecraft based on Pseudospectral method | IEEE Conference Publication | IEEE Xplore