Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
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)
Fox, M., Shamma, J.: Probabilistic performance guarantees for distributed self-assembly. IEEE Trans. Autom. Control 60(12), 3180–3194 (2015)
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)
Ganesan, V., Chitre, M.: On stochastic self-assembly of underwater robots. IEEE Robot. Autom. Lett. 1(1), 251–258 (2016)
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)
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)
Klavins, E.: Programmable self-assembly. IEEE Control Syst. 27(4), 43–56 (2007)
Klavins, E.: Automatic synthesis of controllers for distributed assembly and formation forming. In: IEEE International Conference on Robotics and Automation, pp. 3296–3302 (2002)
Klavins, E., Ghrist, R., Lipsky, D.: A grammatical approach to self-organizing robotic systems. IEEE Trans. Autom. Control 51(6), 949–962 (2006)
Rubenstein, M., Cornejo, A., Nagpal, R.: Programmable self-assembly in a thousand-robot swarm. Science 345(6198), 795–799 (2014)
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)
Acknowledgments
This work has been sponsored by the Swiss National Science Foundation under the grant numbers 200021_137838/1 and 200020_157191/1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Haghighat, B., Platerrier, B., Waegeli, L., Martinoli, A. (2016). Synthesizing Rulesets for Programmable Robotic Self-assembly: A Case Study Using Floating Miniaturized Robots. In: Dorigo, M., et al. Swarm Intelligence. ANTS 2016. Lecture Notes in Computer Science(), vol 9882. Springer, Cham. https://doi.org/10.1007/978-3-319-44427-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-44427-7_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44426-0
Online ISBN: 978-3-319-44427-7
eBook Packages: Computer ScienceComputer Science (R0)