[論文レビュー] On the equivalence between continuum and car-following models of traffic flow

Wen‐Long Jin|arXiv (Cornell University)|Dec 2, 2014

Traffic control and management参考文献 65被引用数 7

ひとこと要約

本稿では、Euler座標系とLagrangian座標系の間の座標変換と、有限差分近似を用いて、高次連続体モデルと車両追従モデルの間を体系的かつ二段階の手法で相互に変換する手法を提案する。主な貢献は、両モデルタイプが同じ基本図を共有する一方で、安定性条件が異なること—車両追従モデルにおけるストリング安定性は、連続体モデルにおける線形安定性と等価でない—ことの解明であり、モデルの等価性に根本的な不整合が存在することを示している。

ABSTRACT

Recently different formulations of the first-order Lighthill-Whitham-Richards (LWR) model have been identified in different coordinates and state variables. However, there exists no systematic method to convert higher-order continuum models into car-following models and vice versa. In this study we propose a simple method to enable systematic conversions between higher-order continuum and car-following models in two steps: equivalent transformations of variables between Eulerian and Lagrangian coordinates, and finite difference approximations of first-order derivatives in Lagrangian coordinates. With the method, we derive higher-order continuum models from a number of well-known car-following models. We also derive car-following models from higher-order continuum models. For general second-order models, we demonstrate that the car-following and continuum formulations share the same fundamental diagram, but the string stability condition of a car-following model is different from the linear stability condition of a continuum model. This study reveals relationships between many existing models and also leads to a number of new models.

研究の動機と目的

• 従来、統一されたフレームワークが欠けていた高次連続体モデルと車両追従モデルの間の体系的変換手法を確立すること。
• 特にストリング安定性と線形安定性の違いに起因する、車両追従モデルと連続体モデルの安定性解析における不整合を解消すること。
• 体系的な等価性を用いて、既存のモデル（例：最適速度モデルやPhillipsモデル）の間の隠れた関係を明らかにすること。
• 提案された変換手法を用いて、既知の定式化から新たな連続体モデルおよび車両追従モデルを導出すること。
• Euler座標系、Lagrangian座標系、および混合座標系の間でのモデル定式化の切り替えを可能にすることで、交通流モデルの適用範囲を拡張すること。

提案手法

• Euler座標系（t,x）とLagrangian座標系（t,N）の間で等価な変数変換を実行し、モデルタイプ間での状態変数を一致させる。
• Lagrangian座標系における1階微分の有限差分近似を適用し、連続モデルを車両追従形式に離散化する。
• 逆関数定理を用いて、二次的Euler座標モデルから一次的Lagrangian形式を導出し、双方向変換を可能にする。
• 有限差分近似の逆プロセスを適用し、Lagrangian座標系に戻ってEuler座標系に変換することで、車両追従モデルから連続体モデルを導出する。
• 両モデルタイプの基礎的構造として、Hamilton-Jacobi形式および双曲型保存則形式を用いる。
• 変分原理およびHopf-Lax公式を用いて一次的定式化を解き、等価モデル間での数値的一致性を保証する。

実験結果

リサーチクエスチョン

• RQ1 高次連続体モデルを車両追従モデルに、逆に車両追従モデルを連続体モデルに変換する体系的手法を開発できるか？
• RQ2 提案された変換フレームワーク下で、等価な連続体モデルと車両追従モデルは同じ基本図を共有するか？
• RQ3 モデルの等価性が保たれているにもかかわらず、車両追従モデルのストリング安定性と連続体モデルの線形安定性が異なる条件を示すのはなぜか？
• RQ4 安定性の不一致が観察された状況下で、連続体モデルと車両追従モデルが真に等価となる条件は何か？
• RQ5 この変換手法を用いて既存モデルから新たなモデルを導出可能か？また、その結果、モデルのキャリブレーションおよび制御にどのような影響が生じるか？

主な発見

• 提案された二段階の手法により、座標変換と有限差分近似を経由して、高次連続体モデルと車両追従モデルの間で双方向変換が可能である。
• 導出されたすべての連続体モデルおよび車両追従モデルは、同じ基本図を共有しており、マクロな流れの挙動の一貫性が確認された。
• ストリング安定性（車両追従モデル）と線形安定性（連続体モデル）は、速度関数の微分を含む異なる数学的条件を示すため、等価ではない。
• この不一致は、Lagrangianモデルの離散化に使用される上流有限差分近似に起因し、安定性解析に数値的アーチファクトを導入している。
• 最適速度車両追従モデルとPhillipsの2次連続体モデルは、提案手法の下で等価であることが示された。
• 本手法により、車両追従形式から新たな連続体モデルを導出可能であり、逆に連続体モデルから新たな車両追従モデルを導出可能であり、交通流解析のためのモデル空間が拡張された。