Fault Diagnosis for Satellite Attitude Control System with Using Extended Kalman Filter | IEEE Conference Publication | IEEE Xplore