EVENT-DISCRETE TRAFFIC CONTROL MODELS
Yu. V. Shornikov1,2, K. A. Timofeev2
1Institute of Automation and Electrometry, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
2Novosibirsk State Technical University, Novosibirsk, Russia
Keywords: computer modeling, event-discrete models, model-based design, control algorithm, deterministic finite state machines, Harel diagrams
Abstract
The problem of traffic control is solved using a model-oriented method. To develop a mathematical model, an automaton formalism is proposed. In strict accordance with the problem conditions, the states of a deterministic finite automaton (DFA) and predicates of directed transitions are defined. To implement the DFA, a transition is made to the Harel diagram (statechart), which is a unified mathematical and software support for modern global modeling tools. The solution to the problem posed is proved constructively by a table of states with the corresponding dynamics and computational experiments of the selected scenario in advanced domestic and foreign instrumental environments for modeling the designated class of event systems. Computational experiments show complete agreement with constructive analysis.
|
