MATEC Web of Conferences (Jan 2017)

«Concurrency» in M-L-Parallel Semi-Markov Process

  • Larkin Eugene,
  • Ivutin Alexey

DOI
https://doi.org/10.1051/matecconf/201710805003
Journal volume & issue
Vol. 108
p. 05003

Abstract

Read online

This article investigates the functioning of a swarm of robots, each of which receives instructions from the external human operator and autonomously executes them. An abstract model of functioning of a robot, a group of robots and multiple groups of robots was obtained using the notion of semi-Markov process. The concepts of aggregated initial and aggregated absorbing states were introduced. Correspondences for calculation of time parameters of concurrency were obtained.