Fault tolerant PI control design for satellite attitude systems with actuator fault | IEEE Conference Publication | IEEE Xplore