Hybrid Petri Nets and Hybrid Automata for Modeling and Control of Two Adjacent Oversaturated Intersections

详细信息    查看全文

• 作者：Fares Bouriachi ; Sihem Kechida
• 关键词：Arterial network ; Hybrid Petri net ; Hybrid automata ; Traffic control ; Oversaturated traffic condition
• 刊名：Journal of Control, Automation and Electrical Systems
• 出版年：2016
• 出版时间：December 2016
• 年：2016
• 卷：27
• 期：6
• 页码：646-657
• 全文大小：1,871 KB
• 刊物主题：Electrical Engineering; Control, Robotics, Mechatronics; Control; Robotics and Automation;
• 出版者：Springer US
• ISSN：2195-3899
• 卷排序：27

文摘

The problem of avoiding oversaturated phenomena between two adjacent intersections by intelligent traffic control strategy is addressed in this paper. The complex traffic behavior in this urban area is viewed as a dynamical hybrid system that can be modeled by hybrid Petri nets (HPNs). The property analysis of HPN model that gives an evaluation of the system performance is very limited. The translation of this model into hybrid automata (HA) can avoid this drawback. The interest of this translation is to profit from the both models advantages while avoiding their disadvantages that associate the modeling power of HPN with the analysis capacities of HA. The resulting model can capture an important aspect of the traffic flow dynamics where the oversaturated traffic conditions are presented by forbidden locations. A reachability analysis is performed to check this model. An optimal supervised controller synthesis algorithm is elaborated to get an optimal plan with coordinated traffic signals that satisfy the imposed constraints where the forbidden locations are suppressed. The experiment results show that the coordination traffic signal obtained by the proposed control approach outperforms those obtained using the widely used signal timing optimization software SYNCHRO under various demand scenarios from unsaturated to oversaturated.