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.
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.