[論文レビュー] The Optimal Power Flow Operator: Theory and Computation

Fengyu Zhou, James Anderson+1 more|arXiv (Cornell University)|Jul 4, 2019

Optimal Power Flow Distribution参考文献 45被引用数 5

ひとこと要約

本稿は、直流最適潮流（DC OPF）問題を、負荷要求から最適な発電出力への写像として扱う、作用素理論的枠組みを導入する。この作用素が単値的、連続的、微分可能であり、かつ束縛制約の数が固定の N_G - 1 である条件を確立し、スラック変数を用いずに閉形式のヤコビ行列を導出し、感度解析を可能にする。

ABSTRACT

Optimal power flow problems (OPFs) are mathematical programs used to determine how to distribute power over networks subject to network operation constraints and the physics of power flows. In this work, we take the view of treating an OPF problem as an operator which maps user demand to generated power, and allow the network parameters (such as generator and power flow limits) to take values in some admissible set. The contributions of this paper are to formalize this operator theoretic approach, define and characterize restricted parameter sets under which the mapping has a singleton output, independent binding constraints, and is differentiable. In contrast to related results in the optimization literature, we do not rely on introducing auxiliary slack variables. Indeed, our approach provides results that have a clear interpretation with respect to the power network under study. We further provide a closed-form expression for the Jacobian matrix of the OPF operator and describe how various derivatives can be computed using a recently proposed scheme based on homogenous self-dual embedding. Our framework of treating a mathematical program as an operator allows us to pose sensitivity and robustness questions from a completely different mathematical perspective and provide new insights into well studied problems.

研究の動機と目的

• 直流最適潮流（DC OPF）問題を、負荷要求から最適な発電出力への写像として形式化すること。
• OPF作用素が単値的、連続的、ほとんど everywhere で微分可能となる制限付きパラメータ集合を同定すること。
• OPF解における束縛制約の集合を特徴づけ、一般のパラメータ値に対してそれが常に N_G - 1 個に固定されることを示すこと。
• OPF作用素のヤコビ行列に対して閉形式の表現を導出することにより、感度およびロバストネス解析を可能にすること。
• 補助的なスラック変数を避け、物理的に解釈可能な枠組みを提供し、ネットワーク挙動に関する明確な洞察をもたらすこと。

提案手法

• 負荷ベクトルから最適発電集合への写像を定義するDC OPFを作用素 𝒪𝑃𝐹: Ω_s^l → 2^𝒮 として形式化する。
• コストベクトル f、線路制限 ξ、負荷要求 s^l それぞれに対し、パラメータ集合 Ω_f、Ω_ξ、Ω_s^l を定義する。
• 解集合の上半連続性およびコンパクト性を用いて、解が一意となる近傍が存在することを証明する。
• 厳密な補完性スラック性と制約勾配の線形独立性を適用し、小さな摂動に対しても束縛制約が変わらないことを示す。
• 正則パラメータ集合（例：ℝ_+^{N_G} における Ω_f の稠密性）を活用して、同一の束縛制約集合を持つ近傍を構築する。
• 同次自己双対埋め込みを用いてOPF作用素のヤコビ行列を導出し、微分の効率的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 DC OPF作用素が単値的、連続的、ほとんど everywhere で微分可能となる条件は何か？
• RQ2 最適解における束縛制約の数と性質は何か？また、これはネットワークトポロジーやパラメータとどのように関係するか？
• RQ3 スラック変数を導入せずに、OPF作用素のヤコビ行列に対して閉形式の表現を得ることは可能か？
• RQ4 作用素理論的視点から、OPF解の感度およびロバストネスをどのように分析できるか？
• RQ5 束縛制約の構造とOPF作用素の微分可能性の間にはどのような関係があるか？

主な発見

• 弱い正則性条件の下で、パラメータ空間のほとんど至る所でOPF作用素はシングルトン解へ写像される。
• 最適解における束縛制約の数は正確に N_G - 1 個であり、これは発電機および線路制限に対応する。
• OPF作用素のヤコビ行列には、カールシュ＝クーン＝タッカー（KKT）条件から導かれる閉形式の表現が存在する。
• 同次自己双対埋め込み方式を用いることで、ヤコビ行列を効率的に計算でき、スケーラブルな感度解析が可能になる。
• 解が一意的かつ微分可能となるパラメータ集合は、パラメータ空間において稠密であるため、実用上ロバストであることが保証される。
• 作用素フレームワークにより、物理的に解釈可能な感度解析が可能となり、各束縛制約は飽和または停止している発電機または線路に対応する。