A multiagent saver for the automatic management of HVAC systems