IoT Solution Approach for Energy Consumption Reduction in Buildings: Part 4. Mathematical Model and Experiments for Cooling Energy Consumption | IEEE Conference Publication | IEEE Xplore