Reachable Power Flow: Theory to Practice

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 o...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on power systems Vol. 36; no. 3; pp. 2532 - 2541
Main Authors: Zhou, Yifan, Zhang, Peng
Format: Journal Article
Language:English
Published: New York IEEE 01.05.2021
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
Algorithms
Asymptotic stability
Differential equations
Distributed generation
Flow control
Flow stability
Formal method
Load flow
Mathematical model
Ordinary differential equations
parallel ReachFlow
Power flow
Power system stability
reachability
Reachability analysis
Reachable power flow
reduced-order ReachFlow
Stability analysis
Uncertainty
ISSN:0885-8950, 1558-0679
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 (<inline-formula><tex-math notation="LaTeX">{ReachFlow}^R</tex-math></inline-formula>) algorithm is created for analyzing interested regions in large power systems; and (3) a parallel ReachFlow (<inline-formula><tex-math notation="LaTeX">{ReachFlow}^P</tex-math></inline-formula>) 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.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:0885-8950
1558-0679
DOI:10.1109/TPWRS.2020.3031196