Active Fault Tolerant Control Design for Satellite Attitude Systems with Mixed Actuator Faults | IEEE Conference Publication | IEEE Xplore