Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions

摘要: This paper discusses a two-step procedure, based on the use of formal abstractions, to generate finite-space stochastic dynamical model as an aggregation continuous temperature dynamics homogeneous population thermostatically controlled loads (TCLs). The TCL is described by difference equation and status (ON, OFF) deterministic switching mechanism. procedure deemed be formal, it allows quantification error introduced abstraction. As such, builds improves known, earlier approximation technique used in literature. Furthermore, contribution extension instance heterogeneous populations TCLs means two approaches. It moreover investigates problem global (population-level) power reference tracking load balancing for that are explicitly dependent control input. tested case study benchmarked against mentioned existing approach