Quadratically constrained attitude control via semidefinite programming | IEEE Conference Publication | IEEE Xplore