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
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.