Optimal control of an HVAC system using cold storage OptimalcontrolofanHVACsystemusingcoldstorageandbuildingthermalcapacitanceandbuildingthermalcapacitance