{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:22:34Z","timestamp":1730204554964,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619313","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"4890-4895","source":"Crossref","is-referenced-by-count":1,"title":["Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications"],"prefix":"10.1109","author":[{"given":"Francisco","family":"Penedo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728633"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127050"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"journal-title":"Gurobi Optimizer Reference Manual","year":"2016","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-34892-6_1","article-title":"Simple On-the-fly Automatic Verification of Linear Temporal Logic","author":"gerth","year":"1996","journal-title":"Proc of 8th Int'l Symp on Protocol Specification Testing and Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.01.006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","article-title":"Robust Satisfaction of Temporal Logic over Real-Valued Signals","author":"donz\u00e9","year":"2010","journal-title":"Formal Modeling and Analysis of Timed Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1467247.1467271"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718607"},{"journal-title":"The Finite Element Method Linear Static and Dynamic Finite Element Analysis","year":"2000","author":"hughes","key":"ref1"},{"key":"ref9","first-page":"1","article-title":"A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks","volume":"pp","author":"bartocci","year":"2016","journal-title":"IEEE Transactions on Control of Network Systems"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619313.pdf?arnumber=8619313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T02:31:03Z","timestamp":1598236263000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619313\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619313","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}