Approximate dynamic programming-based control of a building cooling system with thermal storage | IEEE Conference Publication | IEEE Xplore