Model-based design of an HVAC control strategy