基于形式抽象的温控负荷群体的聚合与控制
系统与控制
2013-07-31 v2 最优化与控制
概率论
摘要
本文讨论了一种基于形式抽象的两步过程，用于生成有限状态随机动力学模型，以聚合同质温控负荷（TCL）群体的连续温度动态。单个 TCL 的温度由随机差分方程描述，其状态（开启、关闭）由确定性切换机制决定。该过程是形式化的，因为它允许精确量化由抽象引入的误差——因此它构建并改进了文献中已知的早期近似技术。此外，本文讨论了通过两种方法将结果扩展至异构 TCL 群体的情况，从而形成了近似抽象的概念。文章还研究了依赖于控制输入的 TCL 在全局（群体层面）调节和负载平衡方面的问题。该过程在一个案例研究中进行了测试，并与文献中提到的替代方法进行了基准比较。
引用
@article{arxiv.1307.6716,
title = {Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions},
author = {Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate},
journal= {arXiv preprint arXiv:1307.6716},
year = {2013}
}
备注
40 pages, 21 figures; the paper generalizes the result of conference publication: S. Esmaeil Zadeh Soudjani and A. Abate, "Aggregation of Thermostatically Controlled Loads by Formal Abstractions," Proceedings of the European Control Conference 2013, pp. 4232-4237. version 2: added references for section 1