Quadratically constrained attitude control via semidefinite programming | IEEE Journals & Magazine | IEEE Xplore