十字交叉口信号配时的自动机建模与分析

应用周期线性微分自动机(CLDA)理论研究十字交叉口的信号配时问题.建立十字交叉口排队的一类特殊形式的CLDA模型——切换服务系统.在假定车辆到达率和驶离率满足某种条件的情况下,基于模型证明了在定相序情况下按照车辆排空后切换信号的配时策略能使车辆排队长度全局周期稳定,给出了信号配时周期的计算公式及周期的最佳设置范围.以北京市海淀区会议中心处的十字交叉口为例,针对高峰时段的车辆到达率和驶离率变化情况,利用所得结果对该交叉口进行分时段信号配时,通过Matlab仿真,验证了结论的正确性及有效性.