The Smart Thermostat of HVAC Systems Based on PMV-PPD Model for Energy Efficiency and Demand Response | IEEE Conference Publication | IEEE Xplore