Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets
Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets
复制标题
DOI：
10.1109/tits.2015.2395419
复制
发表时间：
2015-03
影响因子：
8.5
通讯作者：
Yisheng Huang;Yi-Shun Weng;Mengchu Zhou
中科院分区：
文献类型：
--
作者：
Yisheng Huang;Yi-Shun Weng;Mengchu Zhou
定时 Petri 网 (TPN) 由于其数学形式，对于离散事件系统的性能评估非常有用。本文重点介绍它们如何用于模拟紧急车辆系统的抢占。所提出的方法的优点是根据导致阶段被改变的抢占的条件和事件来清楚地呈现交通灯行为。由此产生的模型允许人们通过控制交通灯交替阶段的模型条件和事件来识别并从而避免此类系统中的紧急情况。此外，这项工作提出了一种新的紧急车辆抢占政策，以确保紧急车辆能够无延误或更少延误地通过路口。执行分析是为了演示模型如何通过带有时间信息的可达性图强制执行流量转换阶段。验证了所提出模型的活性和可逆性。据我们所知，这是第一个利用 TPN 对紧急车辆抢占系统进行建模并识别其紧急情况以完全避免的工作。这有助于提高与道路交叉口相关的最先进的交通安全水平。
Timed Petri nets (TPNs) are useful for performance evaluation of discrete event systems due to their mathematical formalism. This paper focuses on their use to model the preemption of emergency vehicle systems. The advantage of the proposed approach is the clear presentation of traffic light behaviors in terms of conditions and events that cause the preemption of phases being changed. The resulting models allow one to identify and thus avoid urgent spectacles in such systems by conditions and events of the model that control the phase of traffic light alternations. Moreover, this work proposes a new emergency vehicle preemption policy to ensure that emergency vehicles can pass through intersections with no or less delay. The analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph with time information. The liveness and reversibility of the proposed model are verified. To our knowledge, this is the first work that employs TPNs to model an emergency vehicle preemption system and identify its urgent spectacles for the purpose of their complete avoidance. This helps advance the state-of-the-art in traffic safety related to the intersection of roadways.