Aggregation of thermostatically controlled loads by formal abstractions.

Sadegh Esmaeil Zadeh Soudjani Alessandro Abate

Published in: ECC (2013)

Keyphrases

load balancing
response time
formal model
high level
computer controlled
website
abstract data types
formal analysis
spatial aggregation
dynamic response
formal language
mathematical theory
aggregation operators
data aggregation
formal methods
database management systems
case study
web services