Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions

Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate

This work discusses a two-step procedure, based on formal abstractions, to generate a finite-space stochastic dynamical model as an aggregation of the continuous temperature dynami…