Design of Traffic Light Control Systems Using Statecharts
Design of Traffic Light Control Systems Using Statecharts
复制标题
DOI：
10.1093/comjnl/bxl032
复制
发表时间：
2006-11
期刊：
影响因子：
--
通讯作者：
Yisheng Huang
中科院分区：
文献类型：
--
作者：
Yisheng Huang
状态图已被用作复杂系统建模的可视化形式主义。阐述了该模型在描述因果关系、并发性和同步性等方面的特点。本文重点研究了使用状态图对城市交通灯控制系统进行建模。以八相、六相和两相交通信号灯为例说明了状态图的应用。所提出的方法的优点是交通信号灯的行为的条件和事件，导致相位交替的清晰呈现。此外，本文还提出了一种新的建模方法，称为并发状态图，它允许我们在复杂的状态图中呈现所有的并发状态。通过对控制模型的分析，利用可达树的方法，说明了控制模型是如何实现灯的过渡的。进而得到控制状态图的可达性和可逆性。最终实现了一个具有九个交叉口的城市交通信号灯控制系统。据我们所知，这是第一个工作，利用状态图获得城市交通灯控制系统的模型。
Statechart has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties of causality, concurrency and synchronization. This paper focuses on the use of statecharts to model an urban traffic lights control system. The applications of statecharts to eight-phase, six-phase and two-phase traffic lights are illustrated. The advantage of the proposed approach is the clear presentation of traffic lights' behaviors in terms of conditions and events that cause the phase alternations. Moreover, the paper also proposes a new modeling methodology, called concurrent state graphs, that allows us to present all the concurrent states in complex statecharts. The analysis of the control models is performed to demonstrate how the models enforce the lights' transitions by reachability tree method. And then the reachability and reversibility properties of the control statecharts will be obtained. Finally, an urban traffic lights' control system with nine intersections will be realized. To our knowledge, this is the first work that employs statecharts to obtain the models of the urban traffic light control system.