{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T20:10:08Z","timestamp":1751487008792,"version":"3.41.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319730066"},{"type":"electronic","value":"9783319730080"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73008-0_23","type":"book-chapter","created":{"date-parts":[[2018,3,13]],"date-time":"2018-03-13T15:18:49Z","timestamp":1520954329000},"page":"329-343","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Rule Synthesis Algorithm for Programmable Stochastic Self-assembly of\u00a0Robotic Modules"],"prefix":"10.1007","author":[{"given":"Bahar","family":"Haghighat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alcherio","family":"Martinoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,14]]},"reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1038\/nmat4184","volume":"14","author":"L Cademartiri","year":"2015","unstructured":"Cademartiri, L., Bishop, K.J.: Programmable self-assembly. Nat. mater. 14(1), 2\u20139 (2015)","journal-title":"Nat. mater."},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Di Mario, E., Mermoud, G., Mastrangeli, M., Martinoli, A.: A trajectory-based calibration method for stochastic motion models. In: IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 4341\u20134347 (2011)","DOI":"10.1109\/IROS.2011.6094940"},{"issue":"12","key":"23_CR3","doi-asserted-by":"publisher","first-page":"3180","DOI":"10.1109\/TAC.2015.2418673","volume":"60","author":"M Fox","year":"2015","unstructured":"Fox, M., Shamma, J.: Probabilistic performance guarantees for distributed self-assembly. IEEE Trans. Autom. Control 60(12), 3180\u20133194 (2015)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"3","key":"23_CR4","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MRA.2010.937859","volume":"17","author":"K Gilpin","year":"2010","unstructured":"Gilpin, K., Rus, D.: Modular robot systems. IEEE Robot. Autom. Mag. 17(3), 38\u201355 (2010)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"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\u20131948 (2015)","DOI":"10.1109\/ICRA.2015.7139452"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Haghighat, B., Martinoli, A.: Characterization and validation of a novel robotic system for fluid-mediated programmable stochastic self-assembly. To appear in IEEE\/RSJ International Conference on Intelligent Robots and Systems (2016)","DOI":"10.1109\/IROS.2016.7759431"},{"key":"23_CR7","first-page":"197","volume-title":"Lecture Notes in Computer Science","author":"Bahar Haghighat","year":"2016","unstructured":"Haghighat, B., Platerrier, B., Waegeli, L., Martinoli, A.: Synthesizing rulesets for programmable robotic self-assembly: A case study using floating miniaturized robots. In: International Conference on Swarm Intelligence (ANTS), pp. 197\u2013209 (2016)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Klavins, E.: Automatic synthesis of controllers for distributed assembly and formation forming. In: IEEE International Conference on Robotics and Automation, pp. 3296\u20133302 (2002)","DOI":"10.1109\/ROBOT.2002.1013735"},{"issue":"4","key":"23_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MCS.2007.384126","volume":"27","author":"E Klavins","year":"2007","unstructured":"Klavins, E.: Programmable self-assembly. IEEE Control Syst. 27(4), 43\u201356 (2007)","journal-title":"IEEE Control Syst."},{"issue":"6","key":"23_CR10","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/TAC.2006.876950","volume":"51","author":"E Klavins","year":"2006","unstructured":"Klavins, E., Ghrist, R., Lipsky, D.: A grammatical approach to self-organizing robotic systems. IEEE Trans. Autom. Control 51(6), 949\u2013962 (2006)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"23_CR11","first-page":"39","volume":"1","author":"O Michel","year":"2004","unstructured":"Michel, O.: Webots: professional mobile robot simulation. Adv. Robot. Syst. 1(1), 39\u201342 (2004)","journal-title":"Adv. Robot. Syst."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Rai, V., Van\u00a0Rossum, A., Correll, N.: Self-assembly of modular robots from finite number of modules using graph grammars. In: 2011 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 4783\u20134789. IEEE (2011)","DOI":"10.1109\/IROS.2011.6048688"},{"issue":"6198","key":"23_CR13","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1126\/science.1254295","volume":"345","author":"M Rubenstein","year":"2014","unstructured":"Rubenstein, M., Cornejo, A., Nagpal, R.: Programmable self-assembly in a thousand-robot swarm. Science 345(6198), 795\u2013799 (2014)","journal-title":"Science"}],"container-title":["Springer Proceedings in Advanced Robotics","Distributed Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73008-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T19:30:15Z","timestamp":1751484615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73008-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319730066","9783319730080"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73008-0_23","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"14 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}