Pleasant sleep provision system during warm nights as a function of smart home | IEEE Conference Publication | IEEE Xplore