A Supervisor of Traffic Light Systems Using Statecharts

Abstract

In this paper, we propose a methodology to model deadlock and overload. a traffic light system with eight-phase. The modeling tool isThe research topic of traffic signal control has been called statechart. Statechart has been utilized as a visual separated into two categories [16]:1) determining what formalism for the modeling of complex systems. It illuminates signal-indication sequence to follow in order to optimize the the features on describing properties of causality, concurrency, and synchronization. This paper focuses on the use of te perfora c 2) asertin how o ipement statecharts to model an eight-phase traffic lights control system. the signal-control logic. This paper is focused on the second The advantage of the proposed approach is the clear category. There is a vast amount of literature focused on presentation of traffic lights' behaviors in terms of conditions finding optimal control strategies [15] [24]. In order to and events that cause the phases alternations. Moreover, the implement or test any control strategies in a simulated paper also proposes a new modeling methodology, called environment, the control logic has to be translated into concurrent state graphs, that allows us to present all the concurrent states in complex statecharts. The analysis of the computer code. However, the published literature does not control models is performed to demonstrate how the models address the way in which the signal control logic is enforce the lights' transitions by reachability tree method. And implemented [16]. Our statecharts model can overcome this then the reachability and reversibility properties of the control drawback. In this paper, one can realize how to construct the statecharts will be obtained. traffic signal control logic by reachability states method.In the past decade, Finite State Machines (FSM's) have been used for the modeling of discrete event systems because

UTOSPF with Waiting Times for Green Light consideration

“…The proposed model in [14] is sufficient but it does not fit the requirements of UTOSPF. Because, we do not need to know the exact state of all traffic lights or sequence of states.…”

“…In [14], after review of pervious related research to model a traffic light and some other systems, a statechart-based model has been presented to model a complex 4-way intersection with five-lightbulb signals. Every five-lightbulb signals includes a red light signal, a yellow light signal, a green left-turn arrow, a green right-turn arrow and a green arrow to go straight as it has been shown in figure 1.…”