Reachable Power Flow: Theory to Practice
Reachable Power Flow: Theory to Practice
复制标题
DOI：
10.1109/tpwrs.2020.3031196
复制
发表时间：
2021-05
影响因子：
6.6
通讯作者：
Yifan Zhou;Peng Zhang
中科院分区：
文献类型：
--
作者：
Yifan Zhou;Peng Zhang
可达潮流(ReachFlow)是一种新发展起来的封闭不确定潮流状态集的形式化方法。为了使ReachFlow从理论过渡到实践，本文做了三个主要贡献：(1)设计了基于常微分方程(ODE)的潮流的小信号和大信号稳定性证明，从理论上保证了ReachFlow的稳健性；(2)建立了模型降阶赋权的ReachFlow(${ReachFlow}^R$)算法，用于分析大型电力系统中的感兴趣区域；(3)建立了并行ReachFlow(${ReachFlow}^P$)算法，以扩大ReachFlow的规模，用于大规模电力系统的精确分析。在一系列测试系统上进行了广泛的案例研究，从33节点的微电网到2,000节点的电力系统，以彻底验证ReachFlow在正式验证微电网和宏电网的潮流以及潮流控制策略方面的正确性、有效性和实用性。
Reachable power flow (ReachFlow) is a newly developed formal method for enclosing the complete set of uncertain power flow states. To enable ReachFlow's transition from theory to practice, the paper makes three major contributions: (1) both small- and large- signal stability proofs for the ordinary differential equation (ODE)-based power flow are devised to theoretically ensure the robustness of ReachFlow; (2) a model-order-reduction-empowered ReachFlow(${ReachFlow}^R$) algorithm is created for analyzing interested regions in large power systems; and (3) a parallel ReachFlow(${ReachFlow}^P$) algorithm is established to scale up ReachFlow for the accurate analysis of very large power systems. Extensive case studies are performed on a series of test systems, ranging from a 33-bus microgrid to a 2,000-bus power system, to thoroughly verify the correctness, efficacy and practicality of ReachFlow in formally verifying microgrid and macrogrid power flows as well as power flow control strategies.