Predictive Control for Energy Efficient Buildings with Thermal Storage: Modeling, Stimulation, and Experiments | Synapse