{Self-Reconfigurable Modular Robots and their Symbolic Configuration Space}

Abstract : Modular and self-reconfigurable robots are a powerful way to design versatile systems that can adapt themselves to different physical environment conditions. Self-reconfiguration is not an easy task since there are numerous possibilities of module organization. Moreover, some module organizations are equivalent one to another. In this paper, we apply symbolic representation techniques from model checking to provide an optimized representation of all configurations for a modular robot. The proposed approach captures symmetries of the system and avoids storing all the equivalences generated by permuting modules, for a given configuration. From this representation, we can generate a compact symbolic configuration space and use it to efficiently compute the moves required for self-reconfiguration (i.e. going from one configuration to another). A prototype implementation is used to provide some benchmarks showing promising results.
Document type :
Conference papers
Complete list of metadatas

Contributor : Lip6 Publications <>
Submitted on : Monday, March 14, 2016 - 3:27:26 PM
Last modification on : Thursday, March 21, 2019 - 2:41:05 PM

Links full text



Souheib Baarir, Lom Messan Hillah, Fabrice Kordon, Etienne Renault. {Self-Reconfigurable Modular Robots and their Symbolic Configuration Space}. Modeling, Development and Verification of Adaptative Computer Systems: the Grand Challenge for Robust Software, 16th Monterey Workshop 2010, Redmond, Revised Selected Papers, Mar 2010, Redmond, United States. pp.103-121, ⟨10.1007/978-3-642-21292-5_6⟩. ⟨hal-01288061⟩



Record views