[論文レビュー] A Convex Formulation of the Multi-Commodity Dynamic Traffic Assignment

Davide Sipione, Giacomo Como+1 more|arXiv (Cornell University)|Mar 18, 2026

Transportation Planning and Optimization被引用数 0

ひとこと要約

要約: この論文は、セル伝送モデル（CTM）上の単一商品の動的交通割り当て（DTA）に対する厳密な凸緩和を多商品設定へ拡張し、商品特定のルーティングと速度/加速制御を持つ凸最適化ベースの最適制御を可能にする。

ABSTRACT

We consider a multi-commodity Dynamic Traffic Assignment (DTA) problem formulated as a network flow control problem on the Cell Transmission Model (CTM). The objective is to design optimal control policies using variable speed limits, ramp metering, and dynamic routing to regulate traffic evolution over time on a given limited-capacity transportation network. Even simple instances of DTA problems on the CTM are known to give rise to non-convex optimal control formulations. Nevertheless, a single-commodity DTA formulation has recently been proposed that admits a tight convex relaxation, thereby enabling tractable optimal control synthesis. The single-commodity formulation, however, is structurally restrictive, as it effectively allows only a single destination. To address this limitation, we develop a multi-commodity CTM model in which each commodity is associated with potentially distinct sets of off-ramps. By extending the convexification approach developed for the single-commodity case, we establish a tight convex relaxation of the multi-commodity DTA problem on the CTM model. This relaxation relies on concave, commodity-specific demand functions and concave aggregate supply functions for every cell, which ensure convexity of the resulting optimal control problem. Our proposed formulation requires commodity-dependent implementation of variable speed limits and dynamic routing policies.

研究の動機と目的

• directed road networks（有向道路網）上で異種・多商品フローの動的交通割り当て（DTA）を動機づけ、モデル化する。
• 商品特異の制御操作をサポートする多商品CTMベースのフロー網を開発する。
• concave demand関数とconcave supply関数の下で、MC-DTAの厳密な凸緩和を提供し、それが元の非凸問題と等価であることを証明する。

提案手法

• セル（エッジ）とジャンクション（ノード）を含む有向多重グラフとしてネットワークをモデル化し、各商品に独自の使用可能セル集合を割り当てる。
• 凹型需要関数と凹型供給関数を用いて、制御から商品特定のボリュームとフローへ変数を移すことにより凸緩和を導出する。
• 元の非凸最適制御問題を、流れとオフランプ交換のバー変数を用い、線形質量収支制約と凸需要/供給制約を持つ凸プログラムへ緩和する。
• 緩和変数から元の制御への実現可能マッピングを示し、目的関数値を等しく達成できることを示して厳密性を証明する。
• 元のMC-DTA解、緩和問題、PMP条件の3者の同値性を仮定2の下で明示し、CVXなどの凸ソルバーを用いた解法の概要を示す。

実験結果

リサーチクエスチョン

• RQ1 CTM上での多商品DTAに対して厳密な凸緩和を構築して最適性を保てるか？
• RQ2 商品特異のルーティングと可変速度上限を凸性を維持しつつ組み込む方法は？
• RQ3 緩和変数が元のMC-DTA問題の実装可能で最適な制御を生み出す条件は？
• RQ4 凹型需要と供給関数が凸性と厳密性を保証する役割は？
• RQ5 PMPフレームワークを凸緩和と結びつけ、最適性を特徴づけるにはどうするか？

主な発見

• MC-DTAをCTM上で商品特異のフローとオフランプ交換を導入することで厳密な凸緩和を開発し、凹型需要と凹型供給が凸性を保証する。
• 緩和は凸であり、元の問題の実現可能解は緩和問題の実現可能解である。
• 緩和変数から元の制御へ将来の目的を保持する構成的マッピング（α, R）が存在し、緩和が厳密であることを証明する。
• 仮定の下で元のMC-DTA解、凸緩和解、PMP条件の同値性を確立する。
• このフレームワークは標準的な凸最適化ツール（例: CVX）でMC-DTAを解くことを可能にする。
• 解析的および数値的例は、供給制約を満たすために特定の商品フローをブロックし、目的関数を低減させる最適制御を示す。