[论文解读] 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

一句话总结

本文提出了一种广义的 minplus-Petri 网框架，引入负权重弧以建模微观交通系统中的分段线性凹动态，特别针对具有路口的两条道路。推导出广义加法特征值与增长率，表明二者接近但不相等；这使得能够对宏观基本图进行简单解析近似，呈现四个不同的交通状态，通过单路口和多路口网络的仿真验证了该方法。

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 代数的广义矩阵来建模系统动态。
• 为加法齐次系统定义加法特征值，并在技术条件下应用遍历理论推导增长率。
• 通过在不同密度区域使用分段线性解，推导出两道路一路口系统中特征值与增长率的显式表达式。
• 使用 minplus 表示法在四个不同的密度区域中表达特征向量与特征值，每个区域对应一种不同的交通状态。
• 通过数值仿真验证结果，显示特征值与增长率之间数值接近但不完全相同，并确认多路口系统中四状态基本图的结构。

实验结果

研究问题

• RQ1 标准 Petri 网与 maxplus 代数能否充分建模具有路口的交通系统中的非单调、分段线性凹动态？
• RQ2 如何为具有负权重的加法齐次系统定义并计算广义加法特征值？
• RQ3 此类系统中，广义加法特征值与实际增长率之间的关系是什么？
• RQ4 能否利用该框架将基本交通图扩展至网络化道路系统？
• RQ5 所推导出的四状态宏观行为是否可超越单路口系统，适用于多路口网络？

主要发现

• 广义加法特征值与实际增长率不相等，但数值接近，表明特征值可作为系统行为的强近似。
• 系统表现出四种不同的交通状态，分别对应于不同密度区域，每种状态具有独特的解析解和明确的物理解释。
• 两道路路口系统的根本图被解析近似为密度的简单函数，相变点位于临界密度 α、β 和 γ 处。
• 数值仿真结果表明，四状态基本图结构在多路口系统中依然有效，表明该模型具有可扩展性。
• 第四状态（高密度）的特征值被发现为零，表明系统发生阻塞，与物理直觉一致。
• 该框架支持通过广义并行、串联与反馈操作实现系统的模块化组合，从而促进对复杂网络的可扩展建模。