Large-scale ASP-based HEMS utilizing interactive web technologies | IEEE Conference Publication | IEEE Xplore