{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T18:34:48Z","timestamp":1754159688197,"version":"3.41.2"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1109\/isgt45199.2020.9087798","type":"proceedings-article","created":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T22:28:28Z","timestamp":1588890508000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Voltage Restoration in Microgrids using Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Fatima Z.","family":"Taousser","sequence":"first","affiliation":[{"name":"University of Tennessee,Department of Electrical Engineering and Computer Science,Knoxville,TN,37996"}]},{"given":"Mohammed M.","family":"Olama","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory,Computational Sciences and Engineering Division,Oak Ridge,TN,37831"}]},{"given":"Seddik M.","family":"Djouadi","sequence":"additional","affiliation":[{"name":"University of Tennessee,Department of Electrical Engineering and Computer Science,Knoxville,TN,37996"}]},{"given":"Yichen","family":"Zhang","sequence":"additional","affiliation":[{"name":"Argonne National Laboratory,Energy System Division,Lemont,IL,60439"}]},{"given":"Yaosuo","family":"Xue","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory,Electrical and Electronics Systems Research Division,Oak Ridge,TN,37831"}]},{"given":"Ben","family":"Ollis","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory,Electrical and Electronics Systems Research Division,Oak Ridge,TN,37831"}]},{"given":"Kevin","family":"Tomsovic","sequence":"additional","affiliation":[{"name":"University of Tennessee,Department of Electrical Engineering and Computer Science,Knoxville,TN,37996"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2436879"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2013.2247071"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2018.2867825"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2758358"},{"key":"ref14","first-page":"1580","article-title":"Coordinated control of wind turbine generator and energy storage system for frequency regulation under temporal logic specifications","year":"2018","journal-title":"Proc Amer Contr Conf (ACC)"},{"key":"ref15","first-page":"1","article-title":"Synthesizing distributed energy resources in microgrids with temporal logic specifications","author":"zhang","year":"2018","journal-title":"Proc of the IEEE Int Symp Power Electron Distrib Gener Syst (PEDG)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISGT.2019.8791614"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-800572-9.00004-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2017.2733224"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2163002"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/TSG.2011.2181432","article-title":"Secondary control scheme for voltage unbalance compensation in an islanded droop-controlled microgrid","volume":"3","author":"savaghebi","year":"2010","journal-title":"IEEE Transactions on Smart Grid"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2163015"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2686401"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2018.2810287"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2011.2163013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2008.922232"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2197425"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2016.2577542"},{"key":"ref20","first-page":"160","article-title":"Blustl: Controller synthesis from signal temporal logic specifications","author":"donze","year":"2015","journal-title":"Proc of the 1st and 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"journal-title":"Gurobi ApS","year":"2018","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"}],"event":{"name":"2020 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)","start":{"date-parts":[[2020,2,17]]},"location":"Washington, DC, USA","end":{"date-parts":[[2020,2,20]]}},"container-title":["2020 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference (ISGT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9078689\/9087632\/09087798.pdf?arnumber=9087798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T17:53:55Z","timestamp":1753466035000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9087798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/isgt45199.2020.9087798","relation":{},"subject":[],"published":{"date-parts":[[2020,2]]}}}