Aggregation of thermostatically controlled loads by formal abstractions

More Info
expand_more