Model-Based Approaches to Fault Detection and Diagnosis in Air-Conditioning System