{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,16]],"date-time":"2024-09-16T18:38:44Z","timestamp":1726511924359},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/acc.2018.8431710","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:16:10Z","timestamp":1534536970000},"source":"Crossref","is-referenced-by-count":7,"title":["Coordinated Control of Wind Turbine Generator and Energy Storage System 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\/CDC.2015.7403395"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739166"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428804"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584752"},{"key":"ref14","article-title":"Blustl: Controller synthesis from signal temporal logic specifications","author":"donz\u00e9","year":"2015","journal-title":"Proc ARCH CPSWeek"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525063"},{"key":"ref16","author":"pulgar-painemal","year":"2010","journal-title":"Wind farm model for power system stability analysis"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963225"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2421941"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2016.04.006"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JETCAS.2017.2675879"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2758358"},{"key":"ref1","article-title":"Robust testing of cascading failure mitigations based on power dispatch and quick-start storage","author":"xu","year":"0","journal-title":"IEEE Systems Journal"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"}],"event":{"name":"2018 Annual American Control Conference (ACC)","location":"Milwaukee, WI, USA","start":{"date-parts":[[2018,6,27]]},"end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 Annual American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410068\/8430677\/08431710.pdf?arnumber=8431710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T04:49:04Z","timestamp":1598244544000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431710\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/acc.2018.8431710","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}