[论文解读] A Link-based Mixed Integer LP Approach for Adaptive Traffic Signal Control

Ke Han, Terry L. Friesz+1 more|arXiv (Cornell University)|Nov 19, 2012

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

一句话总结

本论文提出一种基于链路的混合整数线性规划（MILP）方法，用于自适应交通信号控制，采用运动波模型和变分原理来建模震荡波和排队动态，无需单元格离散化。该方法减少了二元变量数量和计算量，同时避免了车辆滞留问题，可通过标准求解器（如CPLEX）高效求解，在数值测试案例中运行时间仅为0.49秒。

ABSTRACT

This paper is concerned with adaptive signal control problems on a road network, using a link-based kinematic wave model (Han et al., 2012). Such a model employs the Lighthill-Whitham-Richards model with a triangular fundamental diagram. A variational type argument (Lax, 1957; Newell, 1993) is applied so that the system dynamics can be determined without knowledge of the traffic state in the interior of each link. A Riemann problem for the signalized junction is explicitly solved; and an optimization problem is formulated in continuous-time with the aid of binary variables. A time-discretization turns the optimization problem into a mixed integer linear program (MILP). Unlike the cell-based approaches (Daganzo, 1995; Lin and Wang, 2004; Lo, 1999b), the proposed framework does not require modeling or computation within a link, thus reducing the number of (binary) variables and computational effort. The proposed model is free of vehicle-holding problems, and captures important features of signalized networks such as physical queue, spill back, vehicle turning, time-varying flow patterns and dynamic signal timing plans. The MILP can be efficiently solved with standard optimization software.

研究动机与目标

• 开发一种计算高效的自适应信号控制框架，适用于城市交通网络。
• 解决基于单元格的混合整数规划中常见的车辆滞留问题，且不增加过多二元变量。
• 通过连续时间的基于链路的模型，对复杂交通现象（如溢出、物理排队形成及动态信号配时）进行建模。
• 通过消除内部链路单元格建模，降低计算负担，区别于CTM等基于单元格的方法。
• 通过时间离散化的MILP公式，实现可使用标准优化软件求解的实时自适应控制。

提出的方法

• 基于LWR模型与三角形基本图，推导出基于链路的运动波模型（LKWM），用于描述交通动态。
• 应用Lax-Hopf公式与变分原理，求解信号交叉口处的黎曼问题，检测震荡波，且无需数值求解PDE。
• 通过链路入口和出口处的边界流量变量（流入与流出）表示交通状态，避免对内部单元格状态的追踪。
• 通过累积车辆数的解析边界，对震荡波传播施加约束（如拥堵不超过链路中点）。
• 将连续时间优化问题离散化为混合整数线性规划（MILP），采用时间步长与用于信号配时的二元变量。
• 使用商业求解器（如CPLEX）求解所得MILP，借助减少的二元变量数量实现高效求解。

实验结果

研究问题

• RQ1 与基于单元格的模型相比，基于链路的公式是否能减少交通信号控制MILP中的二元变量数量和计算复杂度？
• RQ2 如何在不进行内部单元格离散化的情况下，通过解析方法建模震荡波与排队动态？
• RQ3 是否可以在不增加额外二元变量的前提下，避免信号控制MILP中的车辆滞留问题？
• RQ4 所提模型在计算可处理范围内，能在多大程度上捕捉溢出、转向行为及动态信号配时？
• RQ5 实际中该MILP的效率如何？是否能够支持实时自适应控制？

主要发现

• 所提出的基于链路的MILP公式相比基于单元格的方法显著减少了二元变量数量，从而降低了计算复杂度。
• 该模型成功避免了线性松弛下非线性动力学固有的车辆滞留问题，且无需增加额外二元变量。
• 在使用CPLEX求解的两交叉口测试网络中，求解时间仅为0.49秒，证明了其计算高效性。
• 模型准确捕捉了物理排队形成、溢出及震荡波传播，通过显示拐点特征的Moskowitz函数得以可视化。
• 通过累积流量边界对震荡波位置（如拥堵不超过链路中点）施加有效约束，确保了行驶延迟的有界性。
• 变分方法通过解析求解Hamilton-Jacobi方程，实现了对震荡波及流态转换（自由流与拥堵）的隐式处理。