I. Introduction
Demand response has been widely proposed as a means of helping mitigate renewable intermittency. It has the potential for providing fast balancing services, like frequency regulation, to the electric power grid. More specifically, residential air conditioners (ACs), which belong to the class of Thermostatically Controlled Loads (TCLs), are considered an excellent candidate for such approaches. Firstly, they are ubiquitous. Furthermore, their thermal inertia allows small adjustments to their operating profile, and hence to their power consumption, without impact on the end user. This means that a utility, system operator, or third-party aggregator can coordinate AC load to provide grid services in a nondisruptive manner [1].