Constrained attitude control, PSD lifts, and semidefinite programming | IEEE Conference Publication | IEEE Xplore