TY - GEN
T1 - Real-time traffic camera-light control systems for intersections subject to accidents
T2 - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013
AU - Qi, Liang
AU - Zhou, Meng Chu
AU - Ding, Zhi Jun
PY - 2013
Y1 - 2013
N2 - Petri nets (PNs) are well utilized as a visual and mathematical formalism to model discrete event systems. Some extensions to PNs enhance their modeling capability. This work uses Time Petri nets (TPNs) and Synchronized Petri nets (SPNs) to design a traffic control system (ITCS) for intersections dealing with accidents such that emergency response is provided and additional accidents are prevented. It includes a camera surveillance subsystem (CSS) and a traffic light control subsystem (TLCS) simulated by using SPNs and TPNs, respectively: A multi-camera surveillance mechanism is established to sense and detect the accident, synchronously; and then according to the information of the accident, corresponding traffic light control policies are carried out to prevent additional accidents from happening. A reachability tree method is adopted to demonstrate how the models are used to enforce the phase of traffic transitions, and verify their important properties. To our knowledge, this is the first work that employs PNs to model and design the real-time traffic control system for intersections facing accidents, and to perform the cooperation of cameras and traffic lights. This helps enhance the state of the art in real-time traffic accident detection and traffic safety at an intersection.
AB - Petri nets (PNs) are well utilized as a visual and mathematical formalism to model discrete event systems. Some extensions to PNs enhance their modeling capability. This work uses Time Petri nets (TPNs) and Synchronized Petri nets (SPNs) to design a traffic control system (ITCS) for intersections dealing with accidents such that emergency response is provided and additional accidents are prevented. It includes a camera surveillance subsystem (CSS) and a traffic light control subsystem (TLCS) simulated by using SPNs and TPNs, respectively: A multi-camera surveillance mechanism is established to sense and detect the accident, synchronously; and then according to the information of the accident, corresponding traffic light control policies are carried out to prevent additional accidents from happening. A reachability tree method is adopted to demonstrate how the models are used to enforce the phase of traffic transitions, and verify their important properties. To our knowledge, this is the first work that employs PNs to model and design the real-time traffic control system for intersections facing accidents, and to perform the cooperation of cameras and traffic lights. This helps enhance the state of the art in real-time traffic accident detection and traffic safety at an intersection.
KW - Camera surveillance
KW - Intelligent transportation systems
KW - Intersection safety
KW - Petri nets
KW - Traffic light control
UR - http://www.scopus.com/inward/record.url?scp=84893534550&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84893534550&partnerID=8YFLogxK
U2 - 10.1109/SMC.2013.186
DO - 10.1109/SMC.2013.186
M3 - Conference contribution
AN - SCOPUS:84893534550
SN - 9780769551548
T3 - Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013
SP - 1069
EP - 1074
BT - Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013
Y2 - 13 October 2013 through 16 October 2013
ER -