{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T10:41:46Z","timestamp":1778496106114,"version":"3.51.4"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319515311","type":"print"},{"value":"9783319515328","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T00:00:00Z","timestamp":1501113600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-51532-8_15","type":"book-chapter","created":{"date-parts":[[2017,7,26]],"date-time":"2017-07-26T17:56:19Z","timestamp":1501091779000},"page":"237-252","source":"Crossref","is-referenced-by-count":9,"title":["Computer-Aided Compositional Design and Verification for Modular Robots"],"prefix":"10.1007","author":[{"given":"Tarik","family":"Tosun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gangyuan","family":"Jing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Yim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Bezzo, N., et al.: Demo abstract: Roslaba modular programming environment for robotic applications. In: ICCPS (2014)","DOI":"10.1109\/ICCPS.2014.6843727"},{"key":"15_CR2","unstructured":"Casal, A.: Reconfiguration planning for modular self-reconfigurable robots. Ph.D. Thesis, Stanford Univ. (2001)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Christensen, D., Brandt, D., Stoy, K., Schultz, U.P.: A unified simulator for self-reconfigurable robots. In: IROS (2008)","DOI":"10.1109\/IROS.2008.4650757"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Davey, J., Sastra, J., Piccoli, M., Yim, M.: Modlock: a manual connector for reconfigurable modular robots. In: IROS (2012)","DOI":"10.1109\/IROS.2012.6386190"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Davey, J., et al.: Emulating self-reconfigurable robots: design of the SMORES system. In: IROS (2012)","DOI":"10.1109\/IROS.2012.6385845"},{"key":"15_CR6","unstructured":"Fukuda, T., Kawauchi, Y.: Cellular robotic system (CEBOT) as one of the realization of self-organizing intelligent universal manipulator. In: ICRA (1990)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Hornby, G.S., Lipson, H., Pollack, J.B.: Generative representations for the automated design of modular physical robots. In: ICRA (2003)","DOI":"10.1109\/TRA.2003.814502"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Huang, J., et al.: ROSRV: Runtime verification for robots. In: Runtime Verification, pp. 247\u2013254. Springer (2014)","DOI":"10.1007\/978-3-319-11164-3_20"},{"key":"15_CR9","unstructured":"Kasper Stoy David Brandt, D.J.C.: Self-reconfigurable robots: an introduction. MIT Press, Cambridge (2010)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Koenig, N., Howard, A.: Design and use paradigms for gazebo, an open-source multi-robot simulator. In: IROS (2004)","DOI":"10.1109\/IROS.2004.1389727"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Lipson, H., Pollack, J.B.: Towards continuously reconfigurable self-designing robotics. In: ICRA (2000)","DOI":"10.1109\/ROBOT.2000.844850"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Mantzouratos*, Y., Tosun*, T., Khanna Sanjeev, Y., Mark: On embeddability of modular robot designs. In: ICRA (2014)","DOI":"10.1109\/ICRA.2015.7139448"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Marzinotto, A., Colledanchise, M., Smith, C., Ogren, P.: Towards a unified behavior trees framework for robot control. In: ICRA (2014)","DOI":"10.1109\/ICRA.2014.6907656"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Mehta, A., et al.: A design environment for the rapid specification and fabrication of printable robots. In: ISER (2014)","DOI":"10.1007\/978-3-319-23778-7_29"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Pan, J., Chitta, S., Manocha, D.: FCL: a general purpose library for collision and proximity queries. In: ICRA (2012)","DOI":"10.1109\/ICRA.2012.6225337"},{"key":"15_CR16","unstructured":"Physx. http:\/\/www.geforce.com\/hardware\/technology\/physx . Accessed: 2015-04-35"},{"key":"15_CR17","unstructured":"Quigley, M., Conley, K., Gerkey, B.P., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software (2009)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Salemi, B., Shen, W.M., Will, P.: Hormone-controlled metamorphic robots. In: ICRA (2001)","DOI":"10.1109\/ROBOT.2001.933273"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Sklyarov, V., Skliarova, I.: Design and implementation of parallel hierarchical finite state machines. In: Second International Conference on Communications and Electronics, ICCE 2008, pp. 33\u201338. IEEE (2008)","DOI":"10.1109\/CCE.2008.4578929"},{"issue":"3\u20134","key":"15_CR20","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1177\/0278364907088401","volume":"27","author":"A Sproewitz","year":"2008","unstructured":"Sproewitz, A., Moeckel, R., Maye, J., Ijspeert, A.J.: Learning to move in modular robots using central pattern generators and online optimization. Int. J. Robot. Res. 27(3\u20134), 423\u2013443 (2008)","journal-title":"Int. J. Robot. Res."},{"key":"15_CR21","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/TMECH.2002.806223","volume":"7","author":"K Stoy","year":"2002","unstructured":"Stoy, K., Shen, W.M., Will, P.M.: Using role-based control to produce locomotion in chain-type self-reconfigurable robots. IEEE\/ASME Trans. Mech. 7, 410 (2002)","journal-title":"IEEE\/ASME Trans. Mech."},{"key":"15_CR22","unstructured":"Unity3d. http:\/\/unity3d.com\/ . Accessed: 2015-04-35"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Valdes, J., Tarjan, R.E., Lawler, E.L.: The recognition of series parallel digraphs. In: Proceedings of the ACM Symposium on Theory of Computing (1979)","DOI":"10.1145\/800135.804393"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Walter, J.E., Tsai, E.M., Amato, N.M.: Choosing good paths for fast distributed reconfiguration of hexagonal metamorphic robots. In: ICRA (2002)","DOI":"10.1109\/ROBOT.2002.1013346"},{"key":"15_CR25","unstructured":"Yim, M.: Locomotion with a unit-modular reconfigurable robot. Ph.D. Thesis, Stanford (1994)"},{"key":"15_CR26","unstructured":"Yim, M., Duff, D.G., Roufas, K.: Modular reconfigurable robots, an approach to urban search and rescue. In: 1st International Workshop on Human-friendly Welfare Robotic Systems (2000)"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Yim, M., Duff, D.G., Roufas, K.D.: PolyBot: a modular reconfigurable robot. In: ICRA (2000)","DOI":"10.1109\/ROBOT.2000.844106"},{"key":"15_CR28","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/MRA.2007.339623","volume":"14","author":"M Yim","year":"2007","unstructured":"Yim, M., et al.: Modular self-reconfigurable robot systems. IEEE Robot. Autom. Mag. 14, 43 (2007)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Yoshida, E., et al.: A self-reconfigurable modular robot: reconfiguration planning and experiments. In: IJRR (2002)","DOI":"10.1177\/027836402128964143"},{"key":"15_CR30","unstructured":"Zhang, Y., et al.: Phase automata: a programming model of locomotion gaits for scalable chain-type modular robots. In: IROS (2003)"}],"container-title":["Springer Proceedings in Advanced Robotics","Robotics Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51532-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T17:07:26Z","timestamp":1569949646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51532-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,27]]},"ISBN":["9783319515311","9783319515328"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51532-8_15","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"value":"2511-1256","type":"print"},{"value":"2511-1264","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,27]]}}}