[論文レビュー] About Dynamical Systems Appearing in the Microscopic Traffic Modeling

Nadir Farhi, Maurice Goursat+1 more|arXiv (Cornell University)|Nov 24, 2009

Traffic control and management参考文献 37被引用数 3

ひとこと要約

本稿では、交差点を有する2本の道路を含むマイクロスコピック交通システムにおける区分線形凹関数的ダイナミクスをモデル化するため、負のアーク重みを有する一般化されたminplus-Petriネットフレームワークを導入する。一般化された加法的固有値と成長率を導出し、これらが等しくはないとともに非常に近い値を示すことを示した。これにより、4つの異なる交通状態を有するマクロスコピックな基本図の簡単な解析的近似が可能となり、単一交差点および複数交差点ネットワークにおいてシミュレーションで検証された。

ABSTRACT

Motivated by microscopic traffic modeling, we analyze dynamical systems which have a piecewise linear concave dynamics not necessarily monotonic. We introduce a deterministic Petri net extension where edges may have negative weights. The dynamics of these Petri nets are well-defined and may be described by a generalized matrix with a submatrix in the standard algebra with possibly negative entries, and another submatrix in the minplus algebra. When the dynamics is additively homogeneous, a generalized additive eigenvalue may be introduced, and the ergodic theory may be used to define a growth rate under additional technical assumptions. In the traffic example of two roads with one junction, we compute explicitly the eigenvalue and we show, by numerical simulations, that these two quantities (the additive eigenvalue and the growth rate) are not equal, but are close to each other. With this result, we are able to extend the well-studied notion of fundamental traffic diagram (the average flow as a function of the car density on a road) to the case of two roads with one junction and give a very simple analytic approximation of this diagram where four phases appear with clear traffic interpretations. Simulations show that the fundamental diagram shape obtained is also valid for systems with many junctions. To simulate these systems, we have to compute their dynamics, which are not quite simple. For building them in a modular way, we introduce generalized parallel, series and feedback compositions of piecewise linear concave dynamics.

研究の動機と目的

• 標準的なPetriネットとmaxplus代数が、交差点を有する交通システムにおける非単調的で区分線形凹関数的ダイナミクスをモデル化するのには不十分であるという限界を克服すること。
• 負の要素を含むminplus代数と標準代数を組み合わせた一般化された行列計算を用いて、複雑な交通ダイナミクスを記述すること。
• 通常は単一道路に適用可能とされる基本交通図を、一般化された加法的固有値と成長率を用いて交差点を有するネットワークへと拡張すること。
• 複数の交差点を有する交通システムのシミュレーションと解析が可能なモジュラーで解析的に取り扱いやすいフレームワークを提供すること。

提案手法

• 負の重みを許容する決定論的Petriネット拡張を導入し、非単調的ダイナミクスを可能にする。
• 標準代数（負の要素を含む）とminplus代数の部分行列を組み合わせた一般化された行列を用いて、システムのダイナミクスをモデル化する。
• 加法的同次系に対して加法的固有値を定義し、技術的条件下でエルゴディック理論を適用して成長率を導出する。
• 密度領域ごとに区分線形解を用いて、2本の道路と1つの交差点を持つシステムにおいて、固有値と成長率の明示的表現を導出する。
• minplus表記を用いて、4つの異なる密度領域（それぞれが異なる交通状態に対応）における固有ベクトルと固有値を表現する。
• 数値シミュレーションにより、固有値と成長率が等しくはしないが非常に近い値を示すことを確認し、複数交差点システムにおいても4状態基本図の構造が成立することを検証した。

実験結果

リサーチクエスチョン

• RQ1 標準的なPetriネットとmaxplus代数は、交差点を有する交通システムにおける非単調的で区分線形凹関数的ダイナミクスを十分にモデル化できるか？
• RQ2 負の重みを有する加法的同次系に対して、一般化された加法的固有値をどのように定義し、計算できるか？
• RQ3 このような系において、一般化された加法的固有値と実際の成長率の関係は何か？
• RQ4 このフレームワークを用いて、基本交通図を交差点を有するネットワークに拡張できるか？
• RQ5 導出された4状態マクロスコピックな挙動は、単一交差点システムを超えて、複数交差点ネットワークに対しても成立するか？

主な発見

• 一般化された加法的固有値と実際の成長率は等しくないが、数値的に非常に近いため、固有値がシステム挙動の強力な近似であることが示された。
• システムは4つの明確に区別できる交通状態（それぞれ異なる密度領域に対応）を示し、各状態に固有の解析的解と明確な物理的解釈が存在する。
• 2本の道路からなる交差点システムの基本図は、密度の関数として簡単な関数として解析的に近似可能であり、臨界密度α、β、γで状態遷移が生じる。
• 数値的シミュレーションにより、複数交差点システムに対しても基本図の4状態構造が成立することが確認され、モデルのスケーラビリティが示された。
• 高密度領域（第4状態）における固有値がゼロであることが判明し、これは物理的直観と整合しており、システムの閉塞を示している。
• このフレームワークにより、一般化された並列、直列、フィードバック操作を用いたシステムのモジュラー合成が可能となり、複雑なネットワークのスケーラブルなモデル化が可能になった。