Fault Diagnosis in Dynamical Systems: Geometric Interpretation and Tractable Algorithms | Synapse