Co-designing Intelligent Control of Building HVACs and Microgrids | IEEE Conference Publication | IEEE Xplore