[논문 리뷰] A fast-solved model for energy-efficient train control based on convex optimization

Minling Feng, Kunpeng Wu외 1명|arXiv (Cornell University)|2022. 01. 26.

Railway Systems and Energy Efficiency인용 수 4

한 줄 요약

이 논문은 속도와 운동 에너지와 관련된 비볼록 제약 조건을 완화함으로써 빠르고 전역 최적의 해를 도출할 수 있는 볼록 최적화 기반 모델을 제안한다. 이 방법은 MILP 및 Radau 스펙트럴 방법에 비해 뛰어난 계산 효율성을 확보하였으며, 수치적 검증을 통해 해의 정확성과 완화된 변수에서의 근소한 편차를 확인하였다.

ABSTRACT

In modern rail transportation, energy-efficient train control (EETC) is concerned with the optimal train speed trajectory or control strategies to achieve the minimum energy cost under various operation and traction constraints. This paper proposes an EETC model based on convex optimization so that the model can be rapidly solved by convex optimization algorithms. The high computational efficiency and robustness of the convex model can be verified by comparing the results achieved by the method proposed by this paper and other mainstream mathematical programming methods including mixed-integer linear programming (MILP) and Radau pseudospectral method (RPM). Based on the characteristics of convex optimization, the proposed method boasts more significant advantages over its counterparts in terms of computational efficiency in the promising online applications for automatic train control systems of various types of rail transportation.

연구 동기 및 목표

• 실제 운영 조건을 고려한 계산 효율적이고 전역 최적의 에너지 효율적 열차 운전(EETC) 해를 개발하기 위해.
• 기존 EETC 방법의 계산 병목 현상을 해결하기 위해 비볼록 제약 조건을 볼록 프레임워크로 재구성하기 위해.
• 원래의 비볼록 문제의 타당 영역 내에 최적 해가 존재하는지 확인하여, 완화된 볼록 모델의 정확성을 검증하기 위해.
• 문제 규모가 증가함에 따라 MILP 및 Radau 스펙트럴 방법에 비해 볼록 최적화의 계산 성능이 어떻게 우월한지 입증하기 위해.
• 빠르게 해를 구할 수 있고 강건한 최적화를 통해 자동 열차 제어 시스템에서 실시간 적용이 가능하도록 하기 위해.

제안 방법

• 비볼록 제약 조건에 포함된 역속도(1/v_i)와 제곱속도(v_i^2)에 대해 완화 및 볼록화 기법을 적용하여 EETC 문제를 볼록 최적화 모델로 재구성한다.
• 1/v_i와 v_i^2를 각각 대체하기 위해 보조 변수 α_i와 β_i를 도입하여, 비볼록 항을 완화를 통해 볼록 항으로 전환한다.
• 이 모델은 볼록 최적화 알고리즘을 활용하여 내부점 방법 또는 장벽 방법을 통해 빠른 해를 도출할 수 있으며, 높은 계산 효율성과 강건성을 보장한다.
• 최적화 해에서 보조 변수와 원래 변수 간의 등식을 강제로 설정함으로써 완화의 타당성을 검증하여, 원래 문제의 타당 영역 내에 최적 해가 존재함을 확인한다.
• 정확한 평가를 위해 동일한 문제 인스턴스와 검증 시뮬레이션을 사용하여 MILP 및 Radau 스펙트럴 방법(RPM)과의 수치적 비교를 수행한다.
• 드래그, 운동 에너지, 위치 에너지 변화 및 효율 계수를 고려하여 동일한 속도 궤적을 사용해 에너지 소비와 주행 시간을 재계산하는 전용 검증 시뮬레이션 프로그램을 구현한다.

실험 결과

연구 질문

• RQ1 1/v_i와 v_i^2를 포함한 비볼록 EETC 제약 조건을 정확도를 잃지 않고 효과적으로 완화하고 볼록화할 수 있는가?
• RQ2 결과로 도출된 볼록 최적화 모델이 정확성을 유지하는가? 즉, 최적 해가 원래 비볼록 문제의 타당 영역 내에 존재하는가?
• RQ3 문제 규모가 증가함에 따라 볼록 모델의 계산 성능이 MILP 및 Radau 스펙트럴 방법(RPM)과 비교해 어떻게 나타나는가?
• RQ4 볼록 모델이 에너지 효율성과 궤적 정확성 수준을 유지하면서도 MILP 및 RPM에 비해 더 빠른 해를 도출할 수 있는가?
• RQ5 완화가 최적 해 갭에 미치는 영향은 무엇이며, 실생활에서 원래 변수와 보조 변수 간의 편차가 무시할 만큼 작은지 증명할 수 있는가?

주요 결과

• 볼록 모델의 최적 해가 원래 비볼록 문제의 타당 영역 내에 존재함을 확인하여, 완화 방법의 정확성이 입증되었다.
• 원래 변수(1/v_i, v_i^2)와 보조 변수(α_i, β_i) 간의 최대 편차는 각각 0.00074% 및 0.00132%였으며, 이는 근소한 오차임을 시사한다.
• 볼록 최적화는 MILP 및 RPM에 비해 뚜렷이 빠른 계산 시간을 기록하였으며, 특히 대규모 문제(N > 4550)에서 두드러졌다. 문제 규모 증가에 따른 CPU 시간 증가율도 느렸다.
• CPU 시간이 100초 이하일 경우, MILP 방법은 문제 규모 증가에 따라 계산 시간 증가율이 더 빠르게 나타났으며, 이는 볼록 최적화의 우수한 확장성(스케일러빌리티)을 시사한다.
• 검증 시뮬레이션 프로그램을 통해 재계산한 에너지 소비와 주행 시간은 볼록 모델의 해가 물리적 및 운영 조건을 잘 충족함을 확인하였다.
• 볼록 최적화 모델은 솔루션 품질을 유지하면서도 MILP 및 RPM에 비해 계산 효율성이 뛰어나, 실시간 자동 열차 제어 응용 분야에 매우 적합하다.