TY - RPRT TI - Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions AU - Sadegh Esmaeil Zadeh Soudjani AU - Alessandro Abate PY - 2013 UR - https://arxiv.org/abs/1307.6716 ID - 1307.6716 ER -