Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, and Andrea Vandin

In Proceedings of the 9th International Workshop on Rewriting Logicand its Applications (WRLA 2012), volume 7571 of LNCS, pages 18–138. Springer, 2012.

DOI 10.1007/978-3-642-34005-5_7

This paper presents a concrete implementation of a collective adaptive system based on a conceptual framework for adaptation centered around the role of control data. Authors exploit Maude, a reflective logical language, for programming robot swarms equipped with obstacle-avoidance self-assembly strategies.