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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE transactions on power systems Ročník 36; číslo 3; s. 2532 - 2541
Hlavní autori: Zhou, Yifan, Zhang, Peng
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York IEEE 01.05.2021
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:
ISSN:0885-8950, 1558-0679
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract 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.
AbstractList 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 ([Formula Omitted]) algorithm is created for analyzing interested regions in large power systems; and (3) a parallel ReachFlow ([Formula Omitted]) 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.
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.
Author Zhou, Yifan
Zhang, Peng
Author_xml – sequence: 1
  givenname: Yifan
  orcidid: 0000-0002-5839-9339
  surname: Zhou
  fullname: Zhou, Yifan
  email: yifan.zhou.1@stonybrook.edu
  organization: Department of Electrical and Computer Engineering, Stony Brook University, Stony Brook, NY, USA
– sequence: 2
  givenname: Peng
  orcidid: 0000-0002-8403-8289
  surname: Zhang
  fullname: Zhang, Peng
  email: p.zhang@stonybrook.edu
  organization: Department of Electrical and Computer Engineering, Stony Brook University, Stony Brook, NY, USA
BookMark eNp9kEFLw0AQhRepYFv9A3oJePGSOrvpJLvepFgVCoZa8bhs1lmaErN1k1L6701t8eDB0xzmfe_BN2C92tfE2CWHEeegbhf5-_x1JEDAKIGEc5WesD5HlDGkmeqxPkiJsVQIZ2zQNCsASLtHn93MydilKSqKcr-lEE0rv72LFkvyYRe1PsqDsW1p6ZydOlM1dHG8Q_Y2fVhMnuLZy-Pz5H4WW6GwjZVBSfajgBQLSwUaJa0T1lkHJIQdG2cw4W4MYIAAeIYZdimr0FFSYJEM2fWhdx3814aaVq_8JtTdpBbIUaJQGXYpcUjZ4JsmkNPrUH6asNMc9N6I_jGi90b00UgHyT-QLVvTlr5ugymr_9GrA1oS0e-WEmLMZZJ8AyAub-Q
CODEN ITPSEG
CitedBy_id crossref_primary_10_1016_j_epsr_2022_108078
crossref_primary_10_1002_aaai_12042
crossref_primary_10_1109_TIA_2024_3371956
crossref_primary_10_1109_TPWRS_2022_3175933
Cites_doi 10.1109/TSG.2017.2684238
10.2172/1219711
10.1109/TPWRS.2020.2972131
10.1109/TPWRS.2010.2051168
10.1016/j.apenergy.2015.11.003
10.1109/TPWRS.2012.2210254
10.1109/CDC.2018.8619781
10.1109/TSG.2015.2478278
10.1049/joe.2018.8520
10.1145/3365365.3382194
10.1109/TPWRS.2015.2461159
10.1002/9781118631980
10.1109/TPWRS.2012.2219886
10.1109/TPWRS.2020.2974164
10.1016/j.apenergy.2016.10.061
10.1109/59.207353
10.1109/TPWRS.2008.926435
10.1016/j.ijepes.2016.11.013
10.1109/NAPS.2014.6965374
10.1016/j.rser.2015.12.070
10.1109/TAC.2019.2906432
10.1109/TPEL.2006.890003
10.1016/j.ijepes.2014.08.004
ContentType Journal Article
Copyright Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2021
Copyright_xml – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2021
DBID 97E
RIA
RIE
AAYXX
CITATION
7SP
7TB
8FD
FR3
KR7
L7M
DOI 10.1109/TPWRS.2020.3031196
DatabaseName IEEE All-Society Periodicals Package (ASPP) 2005–Present
IEEE All-Society Periodicals Package (ASPP) 1998–Present
IEEE/IET Electronic Library (IEL) (UW System Shared)
CrossRef
Electronics & Communications Abstracts
Mechanical & Transportation Engineering Abstracts
Technology Research Database
Engineering Research Database
Civil Engineering Abstracts
Advanced Technologies Database with Aerospace
DatabaseTitle CrossRef
Civil Engineering Abstracts
Engineering Research Database
Technology Research Database
Mechanical & Transportation Engineering Abstracts
Advanced Technologies Database with Aerospace
Electronics & Communications Abstracts
DatabaseTitleList Civil Engineering Abstracts

Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1558-0679
EndPage 2541
ExternalDocumentID 10_1109_TPWRS_2020_3031196
9224183
Genre orig-research
GrantInformation_xml – fundername: National Science Foundation
  grantid: ECCS-1831811; OIA-2040599
  funderid: 10.13039/100000001
GroupedDBID -~X
.DC
0R~
29I
3EH
4.4
5GY
5VS
6IK
85S
97E
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABFSI
ABQJQ
ABVLG
ACGFO
ACGFS
ACIWK
ACKIV
AENEX
AETIX
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ASUFR
ATWAV
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CS3
DU5
E.L
EBS
EJD
HZ~
H~9
ICLAB
IFIPE
IFJZH
IPLJI
JAVBF
LAI
M43
MS~
O9-
OCL
P2P
RIA
RIE
RNS
TAE
TN5
VH1
VJK
AAYXX
CITATION
7SP
7TB
8FD
FR3
KR7
L7M
ID FETCH-LOGICAL-c295t-9a58ecdb065bceb5a98cf2cfcf0e22c4afa531f400a0e0017575b5ac95fe3b5b3
IEDL.DBID RIE
ISICitedReferencesCount 5
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000641975800075&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0885-8950
IngestDate Fri Jul 25 12:19:38 EDT 2025
Tue Nov 18 22:18:35 EST 2025
Sat Nov 29 02:52:22 EST 2025
Wed Aug 27 02:30:54 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 3
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
https://doi.org/10.15223/policy-029
https://doi.org/10.15223/policy-037
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c295t-9a58ecdb065bceb5a98cf2cfcf0e22c4afa531f400a0e0017575b5ac95fe3b5b3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0002-8403-8289
0000-0002-5839-9339
PQID 2515852975
PQPubID 85441
PageCount 10
ParticipantIDs proquest_journals_2515852975
ieee_primary_9224183
crossref_citationtrail_10_1109_TPWRS_2020_3031196
crossref_primary_10_1109_TPWRS_2020_3031196
PublicationCentury 2000
PublicationDate 2021-May
2021-5-00
20210501
PublicationDateYYYYMMDD 2021-05-01
PublicationDate_xml – month: 05
  year: 2021
  text: 2021-May
PublicationDecade 2020
PublicationPlace New York
PublicationPlace_xml – name: New York
PublicationTitle IEEE transactions on power systems
PublicationTitleAbbrev TPWRS
PublicationYear 2021
Publisher IEEE
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher_xml – name: IEEE
– name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
References ref13
ref12
ref15
ref14
ref11
ref10
ziegler (ref23) 2012; 152
ref17
ref16
ref19
ref18
ref26
ref25
ref20
ref22
zappa (ref2) 2010; 233
ref21
(ref1) 2019
ref27
ref8
ref7
ref9
ref4
ref3
ref6
ref5
althoff (ref24) 2018
References_xml – ident: ref13
  doi: 10.1109/TSG.2017.2684238
– ident: ref3
  doi: 10.2172/1219711
– ident: ref20
  doi: 10.1109/TPWRS.2020.2972131
– ident: ref26
  doi: 10.1109/TPWRS.2010.2051168
– year: 2019
  ident: ref1
  article-title: World energy outlook 2019
– ident: ref8
  doi: 10.1016/j.apenergy.2015.11.003
– ident: ref14
  doi: 10.1109/TPWRS.2012.2210254
– ident: ref22
  doi: 10.1109/CDC.2018.8619781
– ident: ref25
  doi: 10.1109/TSG.2015.2478278
– volume: 152
  year: 2012
  ident: ref23
  publication-title: Lectures on Polytopes
– ident: ref17
  doi: 10.1049/joe.2018.8520
– ident: ref19
  doi: 10.1145/3365365.3382194
– ident: ref10
  doi: 10.1109/TPWRS.2015.2461159
– ident: ref5
  doi: 10.1002/9781118631980
– ident: ref11
  doi: 10.1109/TPWRS.2012.2219886
– ident: ref18
  doi: 10.1109/TPWRS.2020.2974164
– ident: ref4
  doi: 10.1016/j.apenergy.2016.10.061
– ident: ref12
  doi: 10.1109/59.207353
– ident: ref15
  doi: 10.1109/TPWRS.2008.926435
– year: 2018
  ident: ref24
  article-title: Cora toolbox
– ident: ref7
  doi: 10.1016/j.ijepes.2016.11.013
– volume: 233
  start-page: 1027
  year: 2010
  ident: ref2
  article-title: Is a 100% renewable European power system feasible by 2050?
  publication-title: Appl Energy
– ident: ref16
  doi: 10.1109/NAPS.2014.6965374
– ident: ref9
  doi: 10.1016/j.rser.2015.12.070
– ident: ref27
  doi: 10.1109/TAC.2019.2906432
– ident: ref21
  doi: 10.1109/TPEL.2006.890003
– ident: ref6
  doi: 10.1016/j.ijepes.2014.08.004
SSID ssj0006679
Score 2.400522
Snippet Reachable power flow ( ReachFlow ) is a newly developed formal method for enclosing the complete set of uncertain power flow states. To enable ReachFlow 's...
SourceID proquest
crossref
ieee
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 2532
SubjectTerms 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
Title Reachable Power Flow: Theory to Practice
URI https://ieeexplore.ieee.org/document/9224183
https://www.proquest.com/docview/2515852975
Volume 36
WOSCitedRecordID wos000641975800075&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVIEE
  databaseName: IEEE Electronic Library (IEL)
  customDbUrl:
  eissn: 1558-0679
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006679
  issn: 0885-8950
  databaseCode: RIE
  dateStart: 19860101
  isFulltext: true
  titleUrlDefault: https://ieeexplore.ieee.org/
  providerName: IEEE
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB7a4kEPvqpYX-zBg6Brd7OvxJuIxVNZasXelk06AaF0pd3q3zeT3S4FRfCy5DCB8CWTmcnONwNwFbAkjkMlXFRcuWFMOoe--fgYhhgi2SjbbCIZDvlkItIW3DZcGES0yWd4R0P7L39aqBU9lfUF2RsetKGdJHHF1Wpu3Tiu6upxHrlcRN6aIOOJ_jh9G72YUJCZCNWcYZ8K9G8YIdtV5cdVbO3LYO9_K9uH3dqPdB6qjT-AFs4PYWejumAXrkeUKUnUKCelXmjOYFZ83TsVG98pCyetGVJH8Dp4Gj8-u3VjBFcxEZWuyCOOaiqN-yAVyigXXGmmtNIeMqbCXOdGtbRRz9xDskPGJzNSSkQaAxnJ4Bg682KOJ-BIqROpPTUNI4oMmfB0LP1c-oik79gDf41Upuqq4dS8YpbZ6METmUU3I3SzGt0e3DRzPqqaGX9KdwnPRrKGsgfn6w3JarVaZsYZM-ENkYFPf591BtuMkk5sRuI5dMrFCi9gS32W78vFpT0x3-O6vDI
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8NAEB1qFdSDX1WsVs3Bg6CxyeajWW8iloq1lFrRW8huZ0EojbSp_n13NmkoKIKXkMMuLG93dmaSefMAzj3WCkNfchtlJG0_JJtDVz9c9H30kXyUEZto9XrR2xvvV-Cq5MIgoik-w2t6Nf_yR6mc06eyJid_E3krsErKWQVbq7x3wzDvrBdFgR3xwFlQZBzeHPZfB886GWQ6R9Wn2KUW_UtuyOiq_LiMjYdpb_9vbTuwVUSS1m2-9btQwckebC71F6zBxYBqJYkcZfVJDc1qj9OvGyvn41tZavULjtQ-vLTvh3cdu5BGsCXjQWbzJIhQjoQOIIREESQ8kopJJZWDjEk_UYk2LqUNNHGQPJGOyvQoyQOFngiEdwDVSTrBQ7CEUC2hHDnyA8oNGXdUKNxEuIhk8VgHd4FULIu-4SRfMY5N_uDw2KAbE7pxgW4dLss5H3nXjD9H1wjPcmQBZR0aiw2JC8OaxToc0wkO0YGPfp91Buud4VM37j70Ho9hg1EJiqlPbEA1m87xBNbkZ_Y-m56a0_MN4D-_ew
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Reachable+Power+Flow%3A+Theory+to+Practice&rft.jtitle=IEEE+transactions+on+power+systems&rft.au=Zhou%2C+Yifan&rft.au=Zhang%2C+Peng&rft.date=2021-05-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=0885-8950&rft.eissn=1558-0679&rft.volume=36&rft.issue=3&rft.spage=2532&rft_id=info:doi/10.1109%2FTPWRS.2020.3031196&rft.externalDBID=NO_FULL_TEXT
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0885-8950&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0885-8950&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0885-8950&client=summon