Modeling and control of HVAC systems with ice Cold Thermal Energy Storage | IEEE Conference Publication | IEEE Xplore