Velocity-Observer-Based Distributed Finite-Time Attitude Tracking Control for Multiple Uncertain Rigid Spacecraft | IEEE Journals & Magazine | IEEE Xplore