{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T16:18:48Z","timestamp":1781021928217,"version":"3.54.1"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"National Science Foundation a gift from Rockwell Automation","award":["CNS Grant #1544678"],"award-info":[{"award-number":["CNS Grant #1544678"]}]},{"name":"National Science Foundation a gift from Rockwell Automation","award":["CAREER Award #1351469"],"award-info":[{"award-number":["CAREER Award #1351469"]}]},{"name":"National Science Foundation a gift from Rockwell Automation","award":["Graduate Fellowship"],"award-info":[{"award-number":["Graduate Fellowship"]}]},{"DOI":"10.13039\/100000161","name":"National Institute of Standards and Technology NIST","doi-asserted-by":"crossref","award":["70NANB19H090"],"award-info":[{"award-number":["70NANB19H090"]}],"id":[{"id":"10.13039\/100000161","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2022,1]]},"DOI":"10.1109\/tcst.2021.3054800","type":"journal-article","created":{"date-parts":[[2021,2,15]],"date-time":"2021-02-15T21:05:51Z","timestamp":1613423151000},"page":"352-359","source":"Crossref","is-referenced-by-count":13,"title":["Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic"],"prefix":"10.1109","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8596-8739","authenticated-orcid":false,"given":"Efe C.","family":"Balta","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4764-9117","authenticated-orcid":false,"given":"Ilya","family":"Kovalenko","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4415-9190","authenticated-orcid":false,"given":"Isaac A.","family":"Spiegel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2510-0556","authenticated-orcid":false,"given":"Dawn M.","family":"Tilbury","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1047-8078","authenticated-orcid":false,"given":"Kira","family":"Barton","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2335052"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2723877"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_47"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0014-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1006"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00054-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/0020717021000049188"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2004.824309"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.232.9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36135-9_16"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_8"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_15"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/92.238425"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.051"},{"key":"ref17","volume-title":"UPPAAL CORA: UPPAAL for Planning and Scheduling","author":"Behrmann","year":"2014"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.29007\/jmxj"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICONS.2008.17"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843025"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2019.8843048"},{"key":"ref22","article-title":"Details of the first-order logic representation in \u2018model predictive control of priced timed automata encoded with first-order logic","author":"Balta","year":"2020"},{"key":"ref23","volume-title":"Algorithms","author":"Dasgupta","year":"2008"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2019.03.009"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/87\/9652013\/9354443-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/9652013\/09354443.pdf?arnumber=9354443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:48:37Z","timestamp":1704844117000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9354443\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1]]},"references-count":24,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2021.3054800","relation":{},"ISSN":["1063-6536","1558-0865","2374-0159"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"},{"value":"2374-0159","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1]]}}}