Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets
Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets
复制标题
基于同步定时Petri网的城市交通灯控制系统模块化设计
DOI：
10.1109/tits.2013.2283034
复制
发表时间：
2014-04
影响因子：
8.5
通讯作者：
Zhou MengChu
中科院分区：
文献类型：
--
作者：
Huang Yi-Sheng;Weng Yi-Shun;Zhou MengChu
定时 Petri 网 (TPN) 已被用作复杂离散事件动态系统建模的视觉形式。它们阐明了描述因果关系和并发性的特性。此外，众所周知，同步 TPN (STPN) 允许我们在复杂的 TPN 中呈现所有并发状态。在本文中，我们提出了一种使用 STPN 设计和分析城市交通网络控制系统的新方法。此外，STPN在八相、六相和两相交通灯控制系统中的应用是模块化的。所提出方法的优点是根据导致相变的条件和事件清楚地呈现交通灯的行为。此外，通过我们提出的模块化技术，可以轻松扩展城市交通网络控制系统的规模。通过可达性图方法对控制模型进行分析，以演示模型如何强制交通灯的转换。
Timed Petri nets (TPNs) have been utilized as visual formalism for the modeling of complex discrete-event dynamic systems. They illuminate the features in describing the properties of causality and concurrency. Moreover, it is well known that a synchronized TPN (STPN) allows us to present all of the concurrent states in a complex TPN. In this paper, we propose a new methodology to design and analyze an urban traffic network control system by using the STPN. In addition, the applications of the STPN to eight-phase, six-phase, and two-phase traffic-light control systems are modularized. The advantage of the proposed approach is the clear presentation of the behaviors of traffic lights in terms of the conditions and events that cause phase alternations. Moreover, the size of the urban traffic network control system can be easily extended with our proposed modular technique. An analysis of the control models is performed via a reachability graph method to demonstrate how the models enforce the transitions of the traffic lights.
登录
查看更多内容
DOI：
10.1109/tsmca.2007.902622
发表时间：
2007-09
期刊：
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
影响因子：
--
作者：
Yuyue Du;Changjun Jiang;Mengchu Zhou
通讯作者：
Yuyue Du;Changjun Jiang;Mengchu Zhou
DOI：
10.1109/ecticon.2015.7207110
发表时间：
2015-06
期刊：
2015 12th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON)
影响因子：
--
作者：
Sakuna Prontri;Pongpisit Wuttidittachotti;S. Thajchayapong
通讯作者：
Sakuna Prontri;Pongpisit Wuttidittachotti;S. Thajchayapong
DOI：
10.1093/comjnl/bxl032
发表时间：
2006-11
期刊：
Comput. J.
影响因子：
--
作者：
Yisheng Huang
通讯作者：
Yisheng Huang
影响因子：
7.3
作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li
通讯作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li
DOI：
10.1109/5326.760570
发表时间：
1999-05
期刊：
IEEE Trans. Syst. Man Cybern. Part C
影响因子：
--
作者：
Jee-Hyong Lee;H. Lee-Kwang
通讯作者：
Jee-Hyong Lee;H. Lee-Kwang