arXiv論文メモ
新着一覧
eess.SY / cs.SY / math.OC · 査読状況未確認

分岐型モデル予測制御の連立方程式をGPUで並列に高速計算する

Accelerating Branch MPC with Two-Level Parallel Direct Solves on GPUs

Fenglong Song and Luyao Zhang and Liang Wu and Ján Drgoňa and Colin N. Jones

この論文をやさしく読む

ひとことで言うと

共通の出発点から複数の未来を計算する制御問題で、連立方程式をGPUの二段階並列処理で速く解く方法を示した研究。

何に役立つ?

条件が合う分岐型MPCの最適化で、シナリオ数や予測期間が大きい場合の線形計算を高速化する基盤として使える。

この研究の面白いところ

シナリオ間だけでなく予測期間の方向にも並列化し、数値実験では因子分解をcuDSSより最大6.0倍速くした。

どこまで分かった?

適用対象は軌道が一つの根を共有し、その後独立する構造と、縮約系が対称正定値となる条件を満たす問題である。高速化の倍率は要旨で報告された数値実験の最大値。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

分岐型モデル予測制御(MPC)は、共通の意思決定で結び付いた複数の将来軌道を最適化し、シナリオ数や予測期間が増えるほど計算負荷が高まる。本研究は、すべての軌道が一つの根の決定ノードを共有し、その後は独立して進む分岐型MPCに対し、GPUで加速する直接法の線形ソルバーを提示する。線形代数の段階で動作するため、縮約した方程式系が必要な対称正定値構造を持つ複数の最適化アルゴリズムに、再利用できる計算基盤を提供する。 このソルバーは、シナリオ間と各予測期間に沿う方向の二段階の並列性を活用する。専用の変数順序により、因子中では各シナリオに根と後続部分を結ぶブロックを一つだけ保ちながら、予測期間方向に並列なコレスキー分解を可能にする。数値実験では、最先端の疎行列向け直接法ソルバーより大幅に速く、因子分解ではcuDSS比で最大6.0倍、8スレッドのPARDISO比で最大27.6倍、三角行列を使う求解ではそれぞれ最大3.5倍と15.8倍の高速化を達成した。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-24(UTC)
最新改訂
2026-09-24 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Branch model predictive control optimizes multiple future trajectories coupled through shared decisions, with computational demands increasing as the number of scenarios and prediction horizon grow. We present a GPU-accelerated direct linear solver for branch MPC formulations in which all trajectories share a single root decision node and evolve independently thereafter. By operating at the linear-algebra level, the solver provides a reusable backend for multiple optimization algorithms whose reduced systems have the required symmetric positive-definite structure. The solver exploits two levels of parallelism: across scenarios and along each prediction horizon. A tailored variable ordering enables horizon-parallel Cholesky factorization while preserving a single root-tail coupling block per scenario in the factor. Numerical experiments demonstrate substantial speedups over state-of-the-art sparse direct solvers, achieving factorization speedups of up to 6.0$\times$ over cuDSS and 27.6$\times$ over eight-thread PARDISO, with triangular solve speedups of up to 3.5$\times$ and 15.8$\times$, respectively.

arXiv ID: 2609.29977 / 要約の誤りについて