[논문 리뷰] Solving the Power Flow Equations: A Monotone Operator Theory Approach.

Krishnamurthy Dvijotham, Michael Chertkov외 1명|arXiv (Cornell University)|2015. 06. 28.

Matrix Theory and Algorithms인용 수 2

한 줄 요약

이 논문은 선형 행렬 부등식(LMIs)으로 정의된 볼트전압의 볼록 도메인 내에서 AC 전력 흐름 방정식을 효율적으로 해결하기 위해 단조 연산자 이론 접근법을 제안한다. 이 도메인 내에서는 최대 하나의 해만 존재한다. 이러한 도메인 내에 해가 존재할 경우 이를 효율적으로 찾을 수 있으며, 존재하지 않을 경우 이를 증명할 수 있어 실제 전력 시스템에서 수렴성과 해의 유일성에 대한 이론적 보장을 제공한다.

ABSTRACT

The AC power flow equations are fundamental in all aspects of power systems planning and operations. They are routinely solved using Newton-Raphson like methods. However, there is little theoretical understanding of when these algorithms are guaranteed to find a solution of the power flow equations or how long they may take to converge. Further, it is known that in general these equations have multiple solutions and can exhibit chaotic behavior. In this paper, we show that the power flow equations can be solved efficiently provided that the solution lies in a certain set. We introduce a family of convex domains, characterized by Linear Matrix Inequalities, in the space of voltages such that there is at most one power flow solution in each of these domains. Further, if a solution exists in one of these domains, it can be found efficiently, and if one does not exist, a certificate of non-existence can also be obtained efficiently. The approach is based on the theory of monotone operators and related algorithms for solving variational inequalities involving monotone operators. We validate our approach on IEEE test networks and show that practical power flow solutions lie within an appropriately chosen convex domain.

연구 동기 및 목표

• 전력 흐름 방정식을 해결하는 데 있어 전통적인 뉴턴-라프슨 방법의 이론적 보장 부족 문제를 해결하기 위해.
• 전력 흐름 해가 고유하고 수렴 보장이 가능한 조건을 규명하기 위해.
• 특정 볼록 전압 도메인 내에서 해의 존재성과 존재하지 않을 경우를 모두 검증할 수 있는 프레임워크를 개발하기 위해.
• 단조 연산자 이론을 활용하여 비볼록 전력 흐름 문제를 구조화된 변분부등식 문제로 변환하기 위해.
• IEEE 테스트 시스템에서 방법을 검증하여 이론적 프레임워크의 실용적 적용 가능성을 입증하기 위해.

제안 방법

• 논문은 AC 전력 흐름 방정식을 단조 연산자를 포함하는 변분부등식으로 공식화한다.
• 선형 행렬 부등식(LMIs)으로 정의된 전압 공간 내의 볼록 도메인의 집합을 도입한다.
• 각 LMI로 정의된 도메인 내에서 단조성 성질에 의해 전력 흐름 문제는 최대 하나의 해만 존재함을 보여준다.
• 해가 주어진 도메인 내에 존재할 경우, 단조 연산자 알고리즘을 적용해 효율적으로 해를 계산할 수 있다.
• 해가 특정 도메인 내에 존재하지 않을 경우, 이를 효율적으로 증명할 수 있는 증거를 제공한다.
• 표준 IEEE 테스트 네트워크에서 수치적으로 검증하여 실용적 타당성을 확인한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 AC 전력 흐름 방정식을 수렴성과 유일성 보장이 보장된 채로 해결할 수 있는가?
• RQ2 LMIs로 정의된 볼록 도메인을 사용해 전압 해를 제한함으로써 도메인당 최대 하나의 해만 존재하도록 할 수 있는가?
• RQ3 해가 존재할 경우 해당 도메인 내에서 효율적으로 해를 계산하고, 존재하지 않을 경우 이를 증명할 수 있는가?
• RQ4 단조 연산자 접근법의 이론적 보장이 실제 전력 시스템에서 표준 뉴턴-라프슨 방법과 비교해 어떻게 다를 수 있는가?
• RQ5 실제 전력 시스템의 해들이 제안된 방법이 적용 가능한 볼록 도메인 내에 존재하는가?

주요 결과

• 전압 공간 내 각 LMI로 정의된 볼록 도메인에서 전력 흐름 방정식은 최대 하나의 해만 갖는다.
• 해가 주어진 도메인 내에 존재할 경우, 단조 연산자 알고리즘을 사용해 효율적으로 계산할 수 있다.
• 해가 도메인 내에 존재하지 않을 경우, 이를 효율적으로 증명할 수 있는 증거를 생성할 수 있다.
• 제안된 방법은 기존 뉴턴-라프슨 방법이 이론적 기초가 부족한 영역에서 수렴성과 해의 유일성 보장을 보장한다.
• IEEE 테스트 네트워크에서의 수치 검증을 통해 실질적인 전력 흐름 해들이 적절히 선택된 볼록 도메인 내에 존재하는 것으로 확인되었다.
• 이 프레임워크는 비볼록 전력 흐름 문제를 해결하는 데 있어 계산적으로 실현 가능하고 검증 가능한 접근법을 제공한다.