TY - GEN
T1 - Learning-Based Uncertain Dynamic Verification of MMC-HVDC Offshore Wind Systems
AU - Fu, Xuguo
AU - Zhou, Yifan
N1 - Publisher Copyright:
© 2024 IEEE.
PY - 2024
Y1 - 2024
N2 - This paper devises a learning-based reachable dynamics (Neural-ReachDyn) method to realize real-time dynamic verification of MMC-HVDC-based offshore wind (OSW) systems under infinite uncertain scenarios. Our contributions are threefold: (1) we establish the formulation of Neural-ReachDyn as learning a series of time-varying ellipsoids, enabling a direct generation of reachable sets under any uncertainty levels without the need for repeated reachability analysis in each scenario; (2) we devise shape matrix decomposition techniques for learning non-degenerate, less-time-dependent ellipsoids to achieve enhanced convergence and accuracy during training; (3) we validate Neural-ReachDyn in a representative OSW system with MMC-HVDC connections and verify the dynamics of both the OSW grid and the MMC controllers using the devised method. Extensive case studies demonstrate that Neural-ReachDyn offers an efficacious tool for verifying the multi-time-scale and converter-dominated dynamics of OSW systems in a real-time manner.
AB - This paper devises a learning-based reachable dynamics (Neural-ReachDyn) method to realize real-time dynamic verification of MMC-HVDC-based offshore wind (OSW) systems under infinite uncertain scenarios. Our contributions are threefold: (1) we establish the formulation of Neural-ReachDyn as learning a series of time-varying ellipsoids, enabling a direct generation of reachable sets under any uncertainty levels without the need for repeated reachability analysis in each scenario; (2) we devise shape matrix decomposition techniques for learning non-degenerate, less-time-dependent ellipsoids to achieve enhanced convergence and accuracy during training; (3) we validate Neural-ReachDyn in a representative OSW system with MMC-HVDC connections and verify the dynamics of both the OSW grid and the MMC controllers using the devised method. Extensive case studies demonstrate that Neural-ReachDyn offers an efficacious tool for verifying the multi-time-scale and converter-dominated dynamics of OSW systems in a real-time manner.
KW - data-driven formal verification
KW - machine learning
KW - modular multilevel converter (MMC)
KW - Offshore wind energy
KW - reachability analysis
UR - https://www.scopus.com/pages/publications/85207386184
U2 - 10.1109/PESGM51994.2024.10688550
DO - 10.1109/PESGM51994.2024.10688550
M3 - Conference contribution
AN - SCOPUS:85207386184
T3 - IEEE Power and Energy Society General Meeting
BT - 2024 IEEE Power and Energy Society General Meeting, PESGM 2024
PB - IEEE Computer Society
T2 - 2024 IEEE Power and Energy Society General Meeting, PESGM 2024
Y2 - 21 July 2024 through 25 July 2024
ER -