{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:21:45Z","timestamp":1730341305770,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963225","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"1874-1879","source":"Crossref","is-referenced-by-count":6,"title":["Optimal energy storage control for frequency regulation under temporal logic specifications"],"prefix":"10.23919","author":[{"given":"Zhe","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joe H.","family":"Chow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580513"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859453"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760487"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.856667"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5718138"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580518"},{"key":"ref17","first-page":"254","author":"annpureddy","year":"2011","journal-title":"S-Taliro A Tool for Temporal Logic Falsification for Hybrid Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1080\/10556789408805554"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2008.5307297"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LLS.2016.2644646"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref8","first-page":"160","article-title":"BluSTL: Controller synthesis from signal temporal logic specifications","volume":"34","author":"donze","year":"2015","journal-title":"ARCH14–15 1st and 2nd InternationalWorkshop on Applied veRification for Continuous and Hybrid Systems ser EPiC Series in Computing"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2015.2428471"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.166"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2421941"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525063"}],"event":{"name":"2017 American Control Conference (ACC)","start":{"date-parts":[[2017,5,24]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963225.pdf?arnumber=7963225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T20:00:49Z","timestamp":1624478449000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963225\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963225","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}