Observer-Based Output Feedback Attitude Stabilization for Spacecraft With Finite-Time Convergence | IEEE Journals & Magazine | IEEE Xplore