A multiagent saver for the automatic management of HVAC systems | IEEE Conference Publication | IEEE Xplore