Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
复制标题
DOI：
10.1109/sest48500.2020.9203234
复制
发表时间：
2020-05
期刊：
影响因子：
--
通讯作者：
B. Wooding;V. Vahidinasab;S. Soudjani
中科院分区：
文献类型：
--
作者：
B. Wooding;V. Vahidinasab;S. Soudjani
在本文中，我们提出了一个正式的控制器综合方法，整合人口的插入式电动汽车的电力系统的频率调节。这种方法是形式化方法在智能电网频率调节中的首次应用。我们为英国电力系统设计并仿真了一种新的符号控制器。所提出的控制器增强了系统的频率响应行为下的大停电事件。符号控制器在满足其它要求的同时，保证频率返回到指定的安全区间。我们比较这与基线控制器从文献中，并表明，只有我们的控制器是能够满足规格的正式保证。
In this paper, we propose a formal controller synthesis approach for integrating a population of plug-in electric vehicles for frequency regulation of power systems. This approach is the first application of formal methods to the frequency regulation of smart grids. We design and simulate a novel symbolic controller for the Great Britain power system. The proposed controller enhances the frequency response behaviour of the system under a large outage event. The symbolic controller guarantees the frequency returns to a specified safe interval while satisfying other requirements. We compare this with a baseline controller from the literature and show that only our controller is able to satisfy the specifications with formal guarantees.