Aggregate Flexibility of Thermostatically Controlled Loads using Generalized Polymatroids | Arena Library | Arena