Synthesizing Rulesets for Programmable Robotic Self-assembly: A Case Study Using Floating Miniaturized Robots
Programmable stochastic self-assembly of modular robots provides promising means to formation of structures at different scales. Formalisms based on graph grammars and rule-based approaches have been previously published for controlling the self-assembly process. While several rule-synthesis algorithms have been proposed, formal synthesis of rulesets has only been shown for self-assembly of abstract graphs. Rules deployed on robotic modules are typically tuned starting from their abstract graph counterparts or designed manually. In this work, we extend the graph grammar formalism and propose a new encoding of the internal states of the robots. This allows formulating formal methods capable of automatically deriving the rules based on the morphology of the robots, in particular the number of connectors. The derived rules are directly applicable to robotic modules with no further tuning. In addition, our method allows for a reduced complexity in the rulesets. In order to illustrate the application of our method, we extend two synthesis algorithms from the literature, namely Singleton and Linchpin, to synthesize rules applicable to our floating robots. A microscopic simulation framework is developed to study the performance and transient behavior of the two algorithms. Finally, employing the generated rulesets, we conduct experiments with our robotic platform to demonstrate several assemblies.
KeywordsInternal State Abstract Graph State Label Graph Grammar Synthesis Algorithm
This work has been sponsored by the Swiss National Science Foundation under the grant numbers 200021_137838/1 and 200020_157191/1.
- 1.Asadpour, M., Ashtiani, M.H.Z., Sproewitz, A., Ijspeert, A.: Graph signature for self-reconfiguration planning of modules with symmetry. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 5295–5300 (2009)Google Scholar
- 2.Ayanian, N., White, P.J., Hálász, A., Yim, M., Kumar, V.: Stochastic control for self-assembly of xbots. In: International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, pp. 1169–1176 (2008)Google Scholar
- 4.Fox, M.J., Shamma, J.S.: Communication, convergence, and stochastic stability in self-assembly. In: IEEE International Conference on Decision and Control, pp. 7245–7250 (2010)Google Scholar
- 6.Golestan, K., Asadpour, M., Moradi, H.: A new graph signature calculation method based on power centrality for modular robots. In: Martinoli, A., Mondada, F., Correll, N., Mermoud, G., Egerstedt, M., Hsieh, M.A., Parker, L.E., Støy, K. (eds.) Distributed Autonomous Robotic Systems. STAR, vol. 83, pp. 505–516. Springer, Heidelberg (2013)CrossRefGoogle Scholar
- 7.Haghighat, B., Droz, E., Martinoli, A.: Lily: a miniature floating robotic platform for programmable stochastic self-assembly. In: IEEE International Conference on Robotics and Automation, pp. 1941–1948 (2015)Google Scholar
- 9.Klavins, E.: Automatic synthesis of controllers for distributed assembly and formation forming. In: IEEE International Conference on Robotics and Automation, pp. 3296–3302 (2002)Google Scholar
- 12.Salemi, B., Moll, M., Shen, W.M.: Superbot: a deployable, multi-functional, and modular self-reconfigurable robotic system. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3636–3641 (2006)Google Scholar