Stochastic Fault-Tolerant Attitude Tracking and Control Allocation of Overactuated Spacecraft | Synapse