Observer-Based Fault Diagnosis of Satellite Systems Subject to Time-Varying Thruster Faults | Synapse