Model Based Techniques for Fault Detection and Diagnosis