T形交叉口信号配时的周期线性微分自动机建模与分析  

Modeling and analysis of cyclic linear differential automata for T-intersection signal timing

作　　者：陈阳舟[1] 李宏峰[2] 倪金[1] 

机构地区：[1]北京工业大学电子信息与控制工程学院,北京100124 [2]北京交通大学交通运输学院,北京100044

出　　处：《控制理论与应用》2011年第12期1773-1778,共6页Control Theory & Applications

基　　金：国家自然科学基金资助项目(60774037);国家教育部博士基金资助项目(20111103110017);国家自然科学国际合作基金资助项目(60911120067);国家"863"计划资助项目(2011AA110306;2011AA110301)

摘　　要：本文将周期线性微分自动机(CLDA)理论应用于T形交叉口的信号配时问题.建立了T形交叉口排队的一类特殊形式的CLDA模型–切换服务系统.在假定车辆到达率和驶离率满足某种条件的情况下,基于该模型证明了在定相序情况下按照车辆排空后切换信号的配时策略能使车辆排队长度全局周期稳定,并给出了信号配时周期的计算公式.以北京市怀柔区富乐大街处的T形交叉口为例,针对全天候的车辆到达率和驶离率变化情况,应用本文结果进行了分时段信号配时.并使用CheckMate 3.6混杂系统工具箱进行了仿真,仿真结果进一步验证了本文结论的正确性.This paper applies the theory of cyclic linear differential automata（CLDA） to the signal timing problem of T-intersection. A special CLDA model, which is called a switched service system, is set up to describe the length of the vehicles queue. Under the specified arriving rate and the leaving rate of the vehicles, it is proved that, based on this model and for a given phase sequence, the signal timing strategy ’emptying vehicle and then switching signal’can compel the length of the vehicles queue to vary periodically and form a globally stable queue. Moreover, the cyclic formula of the signal timing is formulated. The presented method has been applied to the T-intersection in Fule Avenue of Huai-rou district in Beijing. Considering the arriving rate and the leaving rate of the vehicles in a whole day, we set up a signal timing schedule of multiple periods and performed the simulation using the toolbox CheckMate 3.6. The results confirm the obtained conclusions.

关 键 词：线性微分自动机 T形交叉口 配时周期 稳定性 

分 类 号：U491.51[交通运输工程—交通运输规划与管理]