PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA

А. А. Barkalov, I. Y. Zeleniova, А. А. Gritsenko

Abstract


The method of control automata synthesis within the parallel or distributed systems is proposed in this paper. Solving of the synthesis problem implies, in this case, search of the optimal solution, its verification and actually synthesis on the basis of the specific platform. Such interpretation increases complexity of the considered synthesis problem, but brings us to obtaining an effective solution. In the general case, advantages of the found solution compensate costs for its searching.

Keywords


optimization, verification, synthesis, parallel system, distributed system, control automaton.

GOST Style Citations






DOI: https://doi.org/10.15588/1607-3274-2010-1-23



Copyright (c) 2014 А. А. Barkalov, I. Y. Zeleniova, А. А. Gritsenko

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Address of the journal editorial office:
Editorial office of the journal «Radio Electronics, Computer Science, Control»,
Zaporizhzhya National Technical University, 
Zhukovskiy street, 64, Zaporizhzhya, 69063, Ukraine. 
Telephone: +38-061-769-82-96 – the Editing and Publishing Department.
E-mail: rvv@zntu.edu.ua

The reference to the journal is obligatory in the cases of complete or partial use of its materials.