A distributed Kalman filter for actuator fault estimation of deep space formation flying satellites | IEEE Conference Publication | IEEE Xplore