Spacecraft Attitude Stabilization Control Under Actuator Faults and Input Saturation | IEEE Conference Publication | IEEE Xplore