Algebraic Fault Diagnosis of Robots | Synapse