Active Fault Diagnosis for Spacecraft Attitude Control Systems Using Set-Theoretic Unknown Input Observers | IEEE Journals & Magazine | IEEE Xplore