Quaternion-based output feedback attitude control for rigid spacecraft with bounded input constraint | IEEE Conference Publication | IEEE Xplore