Attitude Tracking Control With Constraints for Rigid Spacecraft Based on Control Barrier Lyapunov Functions | IEEE Journals & Magazine | IEEE Xplore