论文标题
使用电动汽车的正式控制器合成频率调节
Formal Controller Synthesis for Frequency Regulation Utilising Electric Vehicles
论文作者
论文摘要
在本文中，我们提出了一种正式的控制器合成方法，用于将插电式电动汽车人口集成到电源系统的频率调节中。这种方法是在智能电网上的首次应用，尤其是在电力系统的频率调节中。我们为英国电力系统设计并模拟了一个新颖的象征控制器。当发生大型中断事件时，提出的控制器会增强系统的频率响应行为。符号控制器保证在指定的安全间隔中确定事后频率的结算，并确保满足频率的其他要求。
In this paper, we propose a formal controller synthesis approach for integrating a population of plug-in electric vehicles in frequency regulation of power systems. This approach is the first application of formal methods to the smart grids in particular to the frequency regulation of power systems. 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 when encountered with a large outage event. The symbolic controller guarantees the settlement of the after-event's frequency in the specified safe interval and ensures other requirements on the frequency are met.
