{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T05:47:13Z","timestamp":1751348833205},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1109\/codit.2019.8820492","type":"proceedings-article","created":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T21:09:32Z","timestamp":1567458572000},"page":"714-719","source":"Crossref","is-referenced-by-count":6,"title":["Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications"],"prefix":"10.1109","author":[{"given":"Francesca","family":"Cairoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Fenu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felice Andrea","family":"Pellegrino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erica","family":"Salvato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_16"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.195"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref14","first-page":"160","article-title":"Blustl: Controller synthesis from signal temporal logic specifications","author":"donz\u00e9","year":"0","journal-title":"Proc ARCH CPSWeek"},{"journal-title":"Gurobi Optimizer Reference Manual","year":"2015","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/193229680900300505"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2337\/dc13-1631"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1088\/0967-3334\/25\/4\/010"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2014.7048879"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67471-1_13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"journal-title":"Model Predictive Control","year":"2013","author":"camacho","key":"ref2"},{"journal-title":"Automated synthesis of safe and robust pid controllers for stochastic hybrid systems","year":"2017","author":"shmarov","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"}],"event":{"name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2019,4,23]]},"location":"Paris, France","end":{"date-parts":[[2019,4,26]]}},"container-title":["2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8806019\/8820291\/08820492.pdf?arnumber=8820492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T16:18:04Z","timestamp":1658247484000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8820492\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/codit.2019.8820492","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}