Stochastic control of energy efficient buildings: A semidefinite programming approach | IEEE Conference Publication | IEEE Xplore