{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:18:47Z","timestamp":1768339127379,"version":"3.49.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T00:00:00Z","timestamp":1720569600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research (AFOSR)","doi-asserted-by":"publisher","award":["FA9550-23-1-0120"],"award-info":[{"award-number":["FA9550-23-1-0120"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"publisher","award":["HR00112220038"],"award-info":[{"award-number":["HR00112220038"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,7,10]]},"DOI":"10.23919\/acc60939.2024.10644848","type":"proceedings-article","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:19Z","timestamp":1725558979000},"page":"4850-4857","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Model Predictive Control: A Category Theoretic Framework for Multistage Control Problems"],"prefix":"10.23919","author":[{"given":"Tyler","family":"Hanks","sequence":"first","affiliation":[{"name":"University of Florida,Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baike","family":"She","sequence":"additional","affiliation":[{"name":"Georgia Tech,Department of Electrical and Computer Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evan","family":"Patterson","sequence":"additional","affiliation":[{"name":"Topos Institute"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Hale","sequence":"additional","affiliation":[{"name":"Georgia Tech,Department of Electrical and Computer Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Klawonn","sequence":"additional","affiliation":[{"name":"Information Directorate, U.S. Air Force Research Lab"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Fairbanks","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Computer Science"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"232","article-title":"An overview of industrial model predictive control technology","volume-title":"AIChE symposium series","volume":"93","author":"Qin","year":"1997"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2926677"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2013.2262003"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2964159"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jobe.2020.101692"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426855"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2012.2231960"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3461669"},{"key":"ref9","volume-title":"Categorical Systems Theory","author":"Myers","year":"2022"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785665"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10341679"},{"key":"ref12","article-title":"Categorical Semantics of Motion Planning","volume-title":"ICRA Compositional Robotics Workshop","author":"Bakirtzis","year":"2022"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1515\/9781400873173","volume-title":"Convex Analysis","author":"Rockafellar","year":"1970"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644848"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_29"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/9781108668804"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99336-8_1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9562000"},{"key":"ref20","volume-title":"Compositional scientific computing with catlab and semanticmodels","author":"Halter","year":"2020"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-30528-9_7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/HPTCDL.2014.5"}],"event":{"name":"2024 American Control Conference (ACC)","location":"Toronto, ON, Canada","start":{"date-parts":[[2024,7,10]]},"end":{"date-parts":[[2024,7,12]]}},"container-title":["2024 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10644130\/10644150\/10644848.pdf?arnumber=10644848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:34:33Z","timestamp":1725770073000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10644848\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/acc60939.2024.10644848","relation":{},"subject":[],"published":{"date-parts":[[2024,7,10]]}}}