| Summary: | Research in theoretical swarm robotics focuses on models that assign to robots a minimal set of capabilities. One of the models well investigated is certainly <inline-formula> <tex-math notation="LaTeX">$\mathcal {OBLOT}$ </tex-math></inline-formula>, addressing the case of distributed robots that are, anonymous, without means of communication, and oblivious. Here we propose <inline-formula> <tex-math notation="LaTeX">$\mathcal {MOBLOT}$ </tex-math></inline-formula>, an extension of <inline-formula> <tex-math notation="LaTeX">$\mathcal {OBLOT}$ </tex-math></inline-formula> that allows to resolve a larger spectrum of cases. <inline-formula> <tex-math notation="LaTeX">$\mathcal {MOBLOT}$ </tex-math></inline-formula> stands for molecular oblivious robots: like atoms combine themselves to form molecules, in <inline-formula> <tex-math notation="LaTeX">$\mathcal {MOBLOT}$ </tex-math></inline-formula> simple robots can bond with each other in order to create possibly bigger computational units with more intrinsic capabilities with respect to robots (called molecules also in the model); like in nature, molecules can further bond to create more complex structures (e.g., the matter), the <inline-formula> <tex-math notation="LaTeX">$\mathcal {MOBLOT}$ </tex-math></inline-formula> version of molecules can exploit their own capabilities to accomplish new tasks or simply to arrange themselves to form any shape defined according to some compositional properties. In order to better understand the potentials of <inline-formula> <tex-math notation="LaTeX">$\mathcal {MOBLOT}$ </tex-math></inline-formula>, we introduce a new problem called matter formation (MF). We do provide a necessary condition for the solvability of MF, in general. This relies on the ‘amount of symmetries’ arising by the disposal of the robots. In practice, we show how molecules can break certain symmetries that cannot be broken in <inline-formula> <tex-math notation="LaTeX">$\mathcal {OBLOT}$ </tex-math></inline-formula>. Finally, as a case study of <inline-formula> <tex-math notation="LaTeX">$\mathcal {MOBLOT}$ </tex-math></inline-formula>, we consider a representative problem derived from the general MF problem along with a distributed resolution algorithm and show its correctness.
|
|---|
