Spacecraft constrained attitude control using positively invariant constraint admissible sets on SO(3) × ℝ3 | IEEE Conference Publication | IEEE Xplore