Observer-Based Output Feedback Attitude Stabilization for Spacecraft With Finite-Time Convergence | Synapse