Controller and system design for HVAC with thermal energy storage | IEEE Conference Publication | IEEE Xplore