Finite-Horizon Active Fault Isolation and Identification for Spacecraft Attitude Control Systems With Multiple Constraints | IEEE Journals & Magazine | IEEE Xplore