{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T00:29:52Z","timestamp":1779323392998,"version":"3.51.4"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963204","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"1740-1746","source":"Crossref","is-referenced-by-count":20,"title":["Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications"],"prefix":"10.23919","author":[{"given":"Samira S.","family":"Farahani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinayak S.","family":"Prabhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh Esmaeil Zadeh","family":"Soudjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2014.01.010"},{"key":"ref11","author":"maasoumy haghighi","year":"2013","journal-title":"Controlling Energy Efficient Buildings in the Context of Smart Grid A Cyber Physical System Approach"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.883059"},{"key":"ref14","author":"maciejowski","year":"2002","journal-title":"Predictive Control with Constraints"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690450811"},{"key":"ref4","author":"davis","year":"1984","journal-title":"Methods of Numerical Integration"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/26.4.404"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2003.11.010"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00054-1"},{"key":"ref8","article-title":"Robust model predictive control for signal temporal logic synthesis","author":"farahani","year":"2015","journal-title":"Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.1000287"},{"key":"ref1","author":"abramowitz","year":"1964","journal-title":"Handbook of Mathematical Functions"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2015.10.005"}],"event":{"name":"2017 American Control Conference (ACC)","location":"Seattle, WA, USA","start":{"date-parts":[[2017,5,24]]},"end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963204.pdf?arnumber=7963204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T19:59:31Z","timestamp":1624478371000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963204\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963204","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}