Active Fault-Tolerant Control System Design for Spacecraft Attitude Maneuvers with Actuator Saturation and Faults | IEEE Journals & Magazine | IEEE Xplore