Skip to Main Content
ASME Press Select Proceedings

International Conference on Advanced Computer Theory and Engineering (ICACTE 2009)

Xie Yi
Xie Yi
Search for other works by this author on:
No. of Pages:
ASME Press
Publication date:

A rectangular hybrid automata model of a four-phase intersection is given, in which the queue lengths are considered as continuous variables to represent the vehicle flow behavior of the intersection and the discrete event part represent the traffic light behavior. Based on the rectangular hybrid automata model, all directional vehicle flows are analyzed. A method for reachability analysis of rectangular hybrid automata is applied to analyze the maximum and minimum of each queue length of the single intersection. Simulation completed with the help of the toolbox CheckMate shows that the rectangular hybrid automata model and the method can not only perfectly represent the hybrid character of the dynamic traffic flow of the single intersection, but also can verify the efficiency of the timed scheme of the traffic light.

This content is only available via PDF.
Close Modal
This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close Modal
Close Modal