Text this: Fault diagnosis method for closed-loop satellite attitude control systems based on a fuzzy parity equation