Unit quaternion observer based attitude stabilization of a rigid spacecraft without velocity measurement | IEEE Conference Publication | IEEE Xplore