{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:28:06Z","timestamp":1740148086570,"version":"3.37.3"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1218109","CNS-1550029","CNS-1618369"],"award-info":[{"award-number":["CNS-1218109","CNS-1550029","CNS-1618369"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1109\/jsyst.2017.2758358","type":"journal-article","created":{"date-parts":[[2017,10,23]],"date-time":"2017-10-23T18:30:37Z","timestamp":1508783437000},"page":"748-759","source":"Crossref","is-referenced-by-count":16,"title":["Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0440-0912","authenticated-orcid":false,"given":"Zhe","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agung","family":"Julius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6021-0112","authenticated-orcid":false,"given":"Joe H.","family":"Chow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2008.5307297"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1080\/10556789408805554"},{"key":"ref31","first-page":"254","author":"annpureddy","year":"2011","journal-title":"S-Taliro A Tool for Temporal Logic Falsification for Hybrid Systems"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580518"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2015.2428471"},{"article-title":"Blustl: Controller synthesis from signal temporal logic specifications","year":"2015","author":"donz\u00e9","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525063"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6580513"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859453"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1981.1084943"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2015.2406353"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2015.2455017"},{"key":"ref19","first-page":"1941","article-title":"Switching control of differential-algebraic equations with temporal logic specifications","author":"li","year":"0","journal-title":"Proc IEEE Amer Control Conf"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.12988\/ijcms.2013.13049"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2015.2421941"},{"key":"ref27","first-page":"284","article-title":"Exact linearization of nonlinear differential algebraic systems","volume":"4","author":"wang","year":"0","journal-title":"Proc Int Conf Info-Tech Info-Net"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2012.2226918"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2163013"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0009-2509(00)00470-X"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2163015"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LLS.2016.2644646"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.ifacol.2015.11.166","article-title":"Temporal logic inference with prior information: An application to robot arm movements","volume":"48","author":"xu","year":"2015","journal-title":"IFAC-PapersOnLine"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2686401"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2163002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2010.5584752"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963225"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.856667"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760487"},{"key":"ref26","first-page":"178","article-title":"Robustness of temporal logic specifications","author":"fainekos","year":"0","journal-title":"Proc 1st Combined Int Conf Formal Approaches Softw Testing Runtime Verification"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/4267003\/8649702\/8078222-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/8649702\/08078222.pdf?arnumber=8078222","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:42:36Z","timestamp":1657744956000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8078222\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":33,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2017.2758358","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"type":"print","value":"1932-8184"},{"type":"electronic","value":"1937-9234"},{"type":"electronic","value":"2373-7816"}],"subject":[],"published":{"date-parts":[[2019,3]]}}}