Model-Based Fault Diagnosis: Methods for State-Space Systems