Energy-Efficient Thermal Comfort Control in Smart Buildings | IEEE Conference Publication | IEEE Xplore