In the paper there is discussed the problem of constructing and implementation the
mathematical models for control algorithms of concurrent processes. For the control object …

In the paper there is described a process of modeling the discrete control system for a
chemical reactor. In the design of the control algorithm there was used Finite State Machine …

This paper is devoted to algorithmic models and methods of managing complex systems
based on algebra over the functioning tables. To build a control system, a description of …

Modeling and simulation techniques contribute to simplification and economic favoring of
the design, realization, tests and running a live operation of control systems. The paper …

The paper deals with the new methodology of programming of sequential control systems in
Lab VIEW language. By similarity to the SFC language and use of only a few defined blocks …

The paper considers the decomposition of process control algorithms for parallel computing
systems using automata models. When designing parallel processing systems, an important …

In the digital age, the role of information technology and computer processes is growing.
This requires refining the development of software by optimizing the communications …

In the paper a language and a calculus based on Gentzen's sequenzen method is
suggested. The application side of the language is obtained as a further abstraction of the …

Modeling and simulation of manufacturing technological processes in industrial operation
make a significant contribution to simplification and economical favoring of the design …

The algorithm for constructing control models of complex systems should be based on the
hypothesis that the research and control processes of complex systems are subject to a …