Modeling and control of thermostatically controlled loads | Synapse