Closed-Loop Identification for Model Predictive Control of HVAC Systems: From Input Design to Controller Synthesis | IEEE Journals & Magazine | IEEE Xplore