Attitude stabilization of an under-actuated rigid spacecraft via logic-based switching control | IEEE Conference Publication | IEEE Xplore