A Markov Process Approach to Ensemble Control of Smart Buildings | IEEE Conference Publication | IEEE Xplore