Event-Discrete Traffic Control Models

The problem of traffic control is solved using a model-based method. Automaton formalism is proposed for the development of a mathematical model. The states of a deterministic finite automaton (DFA) and the predicates of directed transitions are defined in strict accordance with the conditions of the problem. To implement the DFA, we used the Harel diagram (statechart); this is unified mathematical and software support for modern global modeling tools. The solution to the problem is proven constructively by a table of states with the corresponding dynamics and computational experiments of the selected scenario in advanced Russian and foreign instrumental environments for modeling the class of event systems. Computational experiments are in good agreement with constructive analysis.