Real-time traffic camera-light control systems for intersections subject to accidents: A Petri net approach

Liang Qi, Meng Chu Zhou, Zhi Jun Ding

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013
Pages1069-1074
Number of pages6
DOIs
StatePublished - Dec 1 2013
Event2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013 - Manchester, United Kingdom
Duration: Oct 13 2013Oct 16 2013

Publication series

NameProceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013

Other

Other2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013
Country/TerritoryUnited Kingdom
CityManchester
Period10/13/1310/16/13

All Science Journal Classification (ASJC) codes

  • Human-Computer Interaction

Keywords

  • Camera surveillance
  • Intelligent transportation systems
  • Intersection safety
  • Petri nets
  • Traffic light control

Fingerprint

Dive into the research topics of 'Real-time traffic camera-light control systems for intersections subject to accidents: A Petri net approach'. Together they form a unique fingerprint.

Cite this