Fault diagnosis for a satellite system using sliding mode observers