Abstract The Urban traffic network is a typical example of a complex system called hybrid dynamic system. It is also a multivariable and multi-scale system having the interaction of two dynamics kinds. The difficulties encountered in the study of traffic and especially in the traffic signal control problem is how to model the traffic flow, how to define its variables and how to analyze their behavior. In this paper, we propose a modeling of oversaturated intersections traffic a view to designing a traffic control approach. This concept is based on the joint use of the two well-known hybrid representation tools: hybrid Petri networks and hybrid automata. The interest of this combination is to profit from the both models advantages while avoiding their disadvantages. A formal verification property is performed to refine this model. This technique is based on the computation of the reachable state spaces. Indeed, the new model captures important aspects of the traffic flow dynamics. Its favorable structure can be used in order to provide an efficient signal-timing plan to avoid oversaturation and to ease congestion. The numerical results show that the coordination traffic signal obtained by the proposed control approach outperforms those obtained using the widely utilized signal timing optimization software SYNCHRO under various demand scenarios from unsaturated to oversaturated.
Modelling and Analysis of Oversaturated Intersections Using Jointly Hybrid Petri net and Hybrid Automata
International Journal of Intelligent Transportation Systems Research ; 16 , 2 ; 138-150
2017-05-24
13 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Modelling , Hybrid petri net , Hybrid automata , Reachability analysis , Oversaturated intersections , Signal timing coordination , Traffic control Engineering , Electrical Engineering , Automotive Engineering , Robotics and Automation , Computer Imaging, Vision, Pattern Recognition and Graphics , Civil Engineering , User Interfaces and Human Computer Interaction
Signal Control for Oversaturated Intersections Using Fuzzy Logic
British Library Conference Proceedings | 2008
|Studies Regarding Semaphoring Effectiveness in Oversaturated Intersections
British Library Conference Proceedings | 2016
|Evaluation of Presignals at Oversaturated Signalized Intersections
Transportation Research Record | 2014
|