Adaptive Kalman filtering for sensor fault estimation and isolation of satellite attitude control based on descriptor systems. (April 2019)