An efficient algorithm for health monitoring and fault diagnosis in a spacecraft attitude determination system | IEEE Conference Publication | IEEE Xplore