Predictive Control for Energy Efficient Buildings with Thermal Storage: Modeling, Stimulation, and Experiments | IEEE Journals & Magazine | IEEE Xplore