{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T18:55:03Z","timestamp":1770836103164,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031586750","type":"print"},{"value":"9783031586767","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-58676-7_4","type":"book-chapter","created":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T03:02:44Z","timestamp":1714100564000},"page":"39-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Category Theory for\u00a0Autonomous Robots: The Marathon 2 Use Case"],"prefix":"10.1007","author":[{"given":"Esther","family":"Aguado","sequence":"first","affiliation":[]},{"given":"Virgilio","family":"G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Miguel","family":"Hernando","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Rossi","sequence":"additional","affiliation":[]},{"given":"Ricardo","family":"Sanz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,27]]},"reference":[{"key":"4_CR1","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 4th ed., Addison-Wesley Professional (2021)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Feiler, P., Gluch, D., Hudak, J.: The Architecture Analysis & Design Language (AADL): An Introduction. Technical report, CMU\/SEI-2006-TN-011, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA (2006)","DOI":"10.21236\/ADA455842"},{"key":"4_CR3","unstructured":"OMG, Systems Modeling Language (OMG SysML) version 1.6. OMG Specification formal\/2019-11-01, Object Management Group (2019)"},{"key":"4_CR4","unstructured":"Spivak, D.I.: Category Theory for the Sciences. The MIT Press (2014)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/11814771_34","volume-title":"Automated Reasoning","author":"D Kozen","year":"2006","unstructured":"Kozen, D., Kreitz, C., Richter, E.: Automating proofs in category theory. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 392\u2013407. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_34"},{"key":"4_CR6","volume-title":"Conceptual Mathematics: A First Introduction to Categories","author":"F Lawvere","year":"1997","unstructured":"Lawvere, F., Schanuel, S.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (1997)"},{"key":"4_CR7","unstructured":"Lane, S.M.: Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer New York (1998)"},{"key":"4_CR8","volume-title":"Category Theory Oxford Logic Guides","author":"S Awodey","year":"2010","unstructured":"Awodey, S.: Category Theory Oxford Logic Guides, 2nd edn. Oxford University Press, Oxford (2010)","edition":"2"},{"key":"4_CR9","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall International series in Computer Science. Prentice Hall (1990)"},{"key":"4_CR10","doi-asserted-by":"publisher","DOI":"10.1017\/9781108668804","volume-title":"Seven Sketches in Compositionality: An Invitation to Applied Category Theory","author":"B Fong","year":"2019","unstructured":"Fong, B., Spivak, D.I.: Seven Sketches in Compositionality: An Invitation to Applied Category Theory. Cambridge University Press, Cambridge (2019)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"1227","DOI":"10.1007\/978-981-15-0720-5_65","volume-title":"Handbook of Systems Sciences","author":"KA Lloyd","year":"2021","unstructured":"Lloyd, K.A.: Category theoretic foundations for systems science and engineering. In: Metcalf, G.S., Kijima, K., Deguchi, H. (eds.) Handbook of Systems Sciences, pp. 1227\u20131249. Springer, Singapore (2021). https:\/\/doi.org\/10.1007\/978-981-15-0720-5_65"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-12821-9_4","volume-title":"New Structures for Physics","author":"P Selinger","year":"2010","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics, pp. 289\u2013355. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12821-9_4"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Yau, D.: Operads of Wiring Diagrams. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-95001-3","DOI":"10.1007\/978-3-319-95001-3"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Leinster, T.: Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2004). https:\/\/doi.org\/10.1017\/CBO9780511525896","DOI":"10.1017\/CBO9780511525896"},{"key":"4_CR15","unstructured":"Lloyd, K.A.: A category-theoretic approach to agent-based modeling and simulation. Watt Systems Technologies Inc, Technical report (2010)"},{"key":"4_CR16","unstructured":"Stepanov, A., Rose, D.: From Mathematics to Generic Programming. Pearson Education (2014)"},{"key":"4_CR17","unstructured":"Censi, A.: ArXiv (2015). http:\/\/arxiv.org\/abs\/1512.08055"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Zardini, G., Milojevic, D., Censi, A., Frazzoli, E.: In: 2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (2021), pp. 7536\u20137543. https:\/\/doi.org\/10.1109\/IROS51168.2021.9636513","DOI":"10.1109\/IROS51168.2021.9636513"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Bakirtzis, G., Fleming, C.H., Vasilakopoulou, C.: ACM Trans. Cyber-Phys. Syst. 5(3) (2021). https:\/\/doi.org\/10.1145\/3461669","DOI":"10.1145\/3461669"},{"key":"4_CR20","unstructured":"Schweiker, K.S., Varadarajan, S., Spivak, D.I., Schultz, P., Wisnesky, R., Marco, P.: Operadic analysis of distributed systems. Technical report, NASA Center for AeroSpace Information (2015)"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Breiner, S., Pollard, B., Subrahmanian, E., Marie-Rose, O.: Electronic Proceedings in Theoretical Computer Science, vol. 323, p. 72 (2020). https:\/\/doi.org\/10.4204\/eptcs.323.5","DOI":"10.4204\/eptcs.323.5"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"Foley, J.D., Breiner, S., Subrahmanian, E., Dusel, J.M.: Proc. Roy. Soc. A: Math. Phys. Eng. Sci. 477(2250), 20210099 (2021). https:\/\/doi.org\/10.1098\/rspa.2021.0099. https:\/\/royalsocietypublishing.org\/doi\/abs\/10.1098\/rspa.2021.0099","DOI":"10.1098\/rspa.2021.0099"},{"key":"4_CR23","unstructured":"Macenski, S., Mart\u00edn, F., White, R., Gin\u00e9s\u00a0Clavero, J.: In: 2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (2020). https:\/\/arxiv.org\/abs\/2003.00368"},{"key":"4_CR24","unstructured":"PAL Robotics. Tiago mobile manipulator. http:\/\/pal-robotics.com\/robots\/tiago\/. Accessed 25 Feb 2023"},{"key":"4_CR25","unstructured":"Robotnik. RB-1 mobile manipulator. https:\/\/robotnik.eu\/products\/mobile-manipulators\/rb-1\/. Accessed on February 25, 2023"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Fox, D.: In: Dietterich, T., Becker, S., Ghahramani, Z. (eds.) Advances in Neural Information Processing Systems, vol.\u00a014. MIT Press (2001)","DOI":"10.7551\/mitpress\/1120.001.0001"},{"key":"4_CR27","doi-asserted-by":"publisher","unstructured":"Konolige, K.: In: Proceedings. 2000 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113), vol.\u00a01, pp. 639\u2013646 (2000). https:\/\/doi.org\/10.1109\/IROS.2000.894676","DOI":"10.1109\/IROS.2000.894676"},{"key":"4_CR28","doi-asserted-by":"publisher","unstructured":"Colledanchise, M., \u00d6gren, P.: Behavior Trees in Robotics and AI. CRC Press (2018). https:\/\/doi.org\/10.1201\/9780429489105","DOI":"10.1201\/9780429489105"},{"key":"4_CR29","doi-asserted-by":"publisher","unstructured":"Vagner,D., Spivak, D.I., Lerman, E.: Algebras of open dynamical systems on the operad of wiring diagrams (2014). https:\/\/doi.org\/10.48550\/ARXIV.1408.1598","DOI":"10.48550\/ARXIV.1408.1598"},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Olivares-Alarcos, A., et al.: Knowledge Engineering Review (2019). https:\/\/doi.org\/10.1017\/S0269888919000237. https:\/\/www.scopus.com\/inward\/record.uri?eid=2-s2.0-85077379888 &doi=10.1017\/S0269888919000237 &partnerID=40 &md5=365835a1b5444e10cd54e1f41697da2c. Cited By 32","DOI":"10.1017\/S0269888919000237"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"Rupel, D., Spivak, D.I.: The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes (2013). https:\/\/doi.org\/10.48550\/ARXIV.1307.6894. https:\/\/arxiv.org\/abs\/1307.6894","DOI":"10.48550\/ARXIV.1307.6894"},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Aguado, E., et al.: Sensors 21(4), 1 (2021). https:\/\/doi.org\/10.3390\/s21041210. https:\/\/www.mdpi.com\/1424-8220\/21\/4\/1210","DOI":"10.3390\/s21041210"}],"container-title":["Lecture Notes in Networks and Systems","Robot 2023: Sixth Iberian Robotics Conference"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-58676-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T18:03:09Z","timestamp":1770660189000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-58676-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031586750","9783031586767"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-58676-7_4","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"value":"2367-3370","type":"print"},{"value":"2367-3389","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"27 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ROBOT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iberian Robotics conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Coimbra","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"robot2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iberianroboticsconf.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}