Self-reconfigurable Modular Robots and Their Symbolic Configuration Space
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.
KeywordsModular robotics Self-reconfiguration Symbolic configuration space Symmetries CKBot
Unable to display preview. Download preview PDF.
- 1.Arney, D., Fischmeister, S., Lee, I., Takashima, Y., Yim, M.: Model-based Programming of Modular Robots. In: 13th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC 2010), pp. 87–91. IEEE Computer Society, Carmona (2010)Google Scholar
- 3.Christensen, D.J.: Evolution of shape-changing and self-repairing control for the ATRON self-reconfigurable robot. In: Proceedings 2006 IEEE International Conference on Robotics and Automation, ICRA 2006, pp. 2539–2545 (2006)Google Scholar
- 6.Girault, C., Valk, R. (eds.): Petri Nets and System Engineering, ch. 2, pp. 9–23. Springer, Heidelberg (2003)Google Scholar
- 7.GreatSPN. Petri nets suite, http://www.di.unito.it/~greatspn
- 8.Park, M.G.: Configuration recognition, Communication Fault Tolerance and Self-reassembly for the CKBot. PhD thesis, University of Pennsylvannia (2009)Google Scholar
- 9.Shen, W.-M.: Self-reconfigurable robots for adaptive and multifunctional tasks. Technical report, University of Florida, Florida, USA (December 2008)Google Scholar
- 10.The CKBot home page, http://modlabupenn.org/ckbot/
- 12.Yim, M., White, P., Park, M., Sastra, J.: Modular Self-Reconfigurable Robots. In: Encyclopedia of Complexity and System Science. Springer, Heidelberg (2009)Google Scholar
- 13.Yim, M., Zhang, Y., Roufas, K., Duff, D., Eldershaw, C.: Connecting and disconnecting for chain self-reconfiguration with PolyBot. IEEE/ASME Transactions on mechatronics, special issue on Information Technology in Mechatronics (2003)Google Scholar