{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T00:44:43Z","timestamp":1781484283314,"version":"3.54.1"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"FCT","award":["SFRHBPD902672012"],"award-info":[{"award-number":["SFRHBPD902672012"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1109\/tac.2018.2880651","type":"journal-article","created":{"date-parts":[[2018,11,26]],"date-time":"2018-11-26T03:22:35Z","timestamp":1543202555000},"page":"3324-3331","source":"Crossref","is-referenced-by-count":46,"title":["Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances"],"prefix":"10.1109","volume":"64","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8497-5216","authenticated-orcid":false,"given":"Samira S.","family":"Farahani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2136-0542","authenticated-orcid":false,"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3941-1080","authenticated-orcid":false,"given":"Vinayak S.","family":"Prabhu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963204"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.195"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2015.10.005"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2014.01.010"},{"key":"ref15","article-title":"Controlling energy efficient buildings in the context of smart grid: A cyber physical system approach","author":"haghighi","year":"2013"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.20008"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_10"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"ref19","first-page":"253","article-title":"Noncommercial software for mixed-integer linear programming","author":"linderoth","year":"2005","journal-title":"Reinforcement Learning State-of-the-Art"},{"key":"ref28","article-title":"Stochastic control via chance constrained optimization and its application to unmanned aerial vehicles","author":"vitus","year":"2012"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2589180"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690450811"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.1000287"},{"key":"ref6","first-page":"712","article-title":"Stochastic predictive control of autonomous vehicles in uncertain environments","author":"carvalho","year":"0","journal-title":"Proc Int Symp Adv Veh Control"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426684"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_13"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2003.11.010"},{"key":"ref7","author":"davis","year":"1984","journal-title":"Methods of Numerical Integration"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-005-3968-2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref1","author":"abramowitz","year":"1964","journal-title":"Handbook of Mathematical Functions"},{"key":"ref20","author":"maciejowski","year":"2002","journal-title":"Predictive Control with Constraints"},{"key":"ref22","author":"nash","year":"1996","journal-title":"Linear and Nonlinear Programming"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref24","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"0","journal-title":"Proc 18th Int Conf Hybrid Syst Comput Control"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970791"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8777205\/08528869.pdf?arnumber=8528869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:46:43Z","timestamp":1657745203000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8528869\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":29,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tac.2018.2880651","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8]]}}}