Performance-Guaranteed Attitude Tracking Control for RLV: A Finite-Time PPC Approach | IEEE Journals & Magazine | IEEE Xplore