Indoor thermal comfort controls optimized by deducing rules | IEEE Conference Publication | IEEE Xplore