Model-based approaches to fault detection and diagnosis in HVAC systems