[論文レビュー] A fast-solved model for energy-efficient train control based on convex optimization

Minling Feng, Kunpeng Wu+1 more|arXiv (Cornell University)|Jan 26, 2022

Railway Systems and Energy Efficiency被引用数 4

ひとこと要約

本稿では、速度および運動エネルギー関連の非凸制約を緩和することにより、凸最適化に基づくエネルギー効率の良い列車制御（EETC）モデルを提案する。この手法により、非凸制約の緩和によって、高速かつグローバルに最適な解が得られる。MILPおよびラダウ擬譜法と比較して、計算効率に優れ、数値的検証により解の正確性と緩和変数における無視できるずれが確認された。

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手法の計算ボトル neck を解消するため、非凸制約を凸フレームワークに再定式化すること。
• 緩和された凸モデルの正確性を検証し、その最適解が元の非凸問題の実行可能領域内にあることを保証すること。
• 問題スケールが拡大するに従って、MILPおよびラダウ擬譜法と比較して、凸最適化の計算性能が優れていることを示すこと。
• 高速に解ける、ロバストな最適化を用いて、EETCを自動列車制御システムにおける実用的オンライン応用を可能にすること。

提案手法

• 非凸制約に含まれる逆速度（1/v_i）および二乗速度（v_i^2）を緩和・凸化することで、EETC問題を凸最適化モデルに再定式化する。
• 1/v_i および v_i^2 をそれぞれ補助変数 α_i および β_i で置き換え、非凸項を緩和により凸項に変換する。
• 凸最適化アルゴリズムを活用し、内点法やバリア法により高速に解を得ることで、高い計算効率とロバスト性を実現する。
• 最適解において補助変数と元の変数の等価性を強制することで、緩和の妥当性を検証し、元問題における解の実行可能性を確認する。
• 同一の問題インスタンスと検証シミュレーションを用いて、MILPおよびラダウ擬譜法（RPM）と数値比較を行うことで、公平な評価を実現する。
• 同一の速度軌道を用いて、空気抵抗、運動エネルギー、位置エネルギーの変化と効率係数を考慮して、エネルギー消費量と走行時間を再計算するための専用の検証シミュレーションプログラムを実装する。

実験結果

リサーチクエスチョン

• RQ1 1/v_i および v_i^2 を含む非凸EETC制約は、解の正確性を損なわずに、効果的に緩和・凸化可能か？
• RQ2 得られた凸最適化モデルは、正確性を保ち、その最適解が元の非凸問題の実行可能領域内にあるか？
• RQ3 問題サイズが拡大するに従って、凸モデルの計算性能はMILPおよびラダウ擬譜法（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よりも計算効率に優れており、オンライン自動列車制御応用に非常に適している。