[논문 리뷰] The Optimal Power Flow Operator: Theory and Computation

Fengyu Zhou, James Anderson외 1명|arXiv (Cornell University)|2019. 07. 04.

Optimal Power Flow Distribution참고 문헌 45인용 수 5

한 줄 요약

이 논문은 DC 최적 무공력 흐름(DC Optimal Power Flow, 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 사상이 거의 모든 곳에서 단일값, 연속, 미분 가능해지는 제한된 매개변수 집합을 규명한다.
• OPF 해에서의 유한한 제약조건의 집합을 특성화하여, 일반적인 매개변수 값에서 항상 N_G - 1개의 제약조건이 유한하다는 것을 보인다.
• OPF 사상의 자코비안 행렬에 대한 폐쇄형 표현식을 유도하여 민감도 및 내구성 분석을 가능하게 한다.
• 보조 슬랙 변수를 피하고 네트워크 행동에 대한 명확한 통찰을 제공하는 물리적으로 해석 가능한 프레임워크를 제공한다.

제안 방법

• 수요 벡터에서 최적의 발전 집합으로의 사상 𝒪𝑃𝐹: Ω_s^l → 2^𝒮로 DC OPF를 체계화한다.
• 비용 벡터 f, 선로 제한 ξ, 수요 s^l에 대해 각각 매개변수 집합 Ω_f, Ω_ξ, Ω_s^l을 정의한다.
• 해의 집합의 상부 반연속성과 컴팩트성을 이용하여 해가 유일한 이웃 영역이 존재함을 증명한다.
• 엄격한 보조제약 조건과 제약조건 기울기의 독립성을 적용하여, 작은 변화에 대해 유한한 제약조건의 집합이 유지됨을 보인다.
• 정규 매개변수 집합의 밀도(예: ℝ_+^{N_G}에서 Ω_f의 밀도)를 활용하여 동일한 유한한 제약조건 집합을 가진 이웃 영역을 구성한다.
• 동차 자기쌍대 임bedding 기법을 사용하여 OPF 사상의 자코비안을 유도함으로써 도함수의 효율적 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 DC OPF 사상이 단일값, 연속, 거의 모든 곳에서 미분 가능해지는 조건은 무엇인가?
• RQ2 최적 해에서의 유한한 제약조건의 수와 성격은 무엇이며, 이는 네트워크 구조와 매개변수와 어떻게 관련이 있는가?
• RQ3 슬랙 변수를 도입하지 않고도 OPF 사상의 자코비안에 대한 폐쇄형 표현식을 도출할 수 있는가?
• RQ4 연산자 이론적 관점에서 OPF 해의 민감도 및 내구성을 어떻게 분석할 수 있는가?
• RQ5 유한한 제약조건의 구조와 OPF 사상의 미분 가능성 사이의 관계는 무엇인가?

주요 결과

• 미약한 정규성 조건 하에 매개변수 공간의 거의 전역에서 OPF 사상은 싱글턴 해로 맵핑된다.
• 최적 해에서의 유한한 제약조건 수는 정확히 N_G - 1개이며, 이는 발전기 및 선로 제한에 해당한다.
• OPF 사상의 자코비안 행렬은 카루시-쿠른-터커(Karush-Kuhn-Tucker, KKT) 조건에서 유도된 폐쇄형 표현식을 가진다.
• 동차 자기쌍대 임베딩 기법을 통해 자코비안을 효율적으로 계산할 수 있어 확장 가능한 민감도 분석이 가능하다.
• 해가 유일하고 미분 가능한 매개변수 집합은 매개변수 공간에서 밀도를 이룬다. 이는 실무에서의 내구성을 보장한다.
• 연산자 프레임워크를 통해 민감도 분석을 물리적으로 해석 가능하게 하며, 각 유한한 제약조건은 포화되거나 비활성화된 발전기 또는 선로에 대응한다.