Physical swarm system, including number of units, operated in physical time according to corporative algorithm, is considered. It is shown, that for proper corporative algorithm interpretation it is necessary to synchronize computational processes in units. Structural-parametric model of synchronized swarm operation, based on Petri-Markov nets apparatus, is worked out. In the Petri-Markov net transitions are abstract analogues of synchronization procedure, while places simulate corporative algorithm parts interpretation by swarm units. Primary Petri-Markov model is transformed into complex semi-Markov process. Formulae for calculation of stochastic and time characteristics of the process are obtained. It is shown, that after transformation all methods of ordinary semi-Markov processes investigation may be used for synchronized systems. With use the concept of distributed forfeit effectiveness of synchronization is evaluated.
CITATION STYLE
Larkin, E., Akimenko, T., & Privalov, A. (2020). Synchronized Swarm Operation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12145 LNCS, pp. 15–24). Springer. https://doi.org/10.1007/978-3-030-53956-6_2
Mendeley helps you to discover research relevant for your work.