Mathematical theory of multiprocessor control systems and its applications

Abstract

The peculiar feature of cybernetic control systems is a feedback interaction with a controlled object. The abstract model of such an interaction may be based on the control and operating automata composition originating in the abstract computer model suggested by V.M.Glushkov [1]. The model functioning can be formalized by the technique of systems of algorithmic algebras (SAA). The paper is concerned with mathematical theory of multiprocessor control systems (MCS) based on the modified SAA technique and intended for solving the problems of formalization of the parallel processes semantics, their modification, optimization by selected criteria, in particular.