{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T16:10:12Z","timestamp":1784218212979,"version":"3.55.0"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"Chinese Scholarship Council (CSC), KTH Centre of Excellence in Production Research"},{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2018YFB1700104"],"award-info":[{"award-number":["2018YFB1700104"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61873342"],"award-info":[{"award-number":["61873342"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science Technology Development Fund, Macau Special Administrative Region","award":["0064\/2021\/A2"],"award-info":[{"award-number":["0064\/2021\/A2"]}]},{"name":"Scientific and Technological Innovation Strategy of Guangdong Province","award":["2022A0505030025"],"award-info":[{"award-number":["2022A0505030025"]}]},{"DOI":"10.13039\/501100002383","name":"King Saud University, Riyadh, Saudi, Arabia","doi-asserted-by":"publisher","award":["RSP2023R133"],"award-info":[{"award-number":["RSP2023R133"]}],"id":[{"id":"10.13039\/501100002383","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3285432","type":"journal-article","created":{"date-parts":[[2023,6,13]],"date-time":"2023-06-13T17:20:19Z","timestamp":1686676819000},"page":"59840-59853","source":"Crossref","is-referenced-by-count":10,"title":["Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5988-0335","authenticated-orcid":false,"given":"Junjun","family":"Yang","sequence":"first","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4535-3849","authenticated-orcid":false,"given":"Kaige","family":"Tan","sequence":"additional","affiliation":[{"name":"Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5703-5923","authenticated-orcid":false,"given":"Lei","family":"Feng","sequence":"additional","affiliation":[{"name":"Department of Machine Design, KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3559-6249","authenticated-orcid":false,"given":"Ahmed M.","family":"El-Sherbeeny","sequence":"additional","affiliation":[{"name":"Department of Industrial Engineering, College of Engineering, King Saud University, Riyadh, Saudi Arabia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1547-5503","authenticated-orcid":false,"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[{"name":"School of Electro-Mechanical Engineering, Xidian University, Xi’an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.03.002"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.271"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/060673862"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E101.A.313"},{"key":"ref14","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31784-3_19"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-28872-7_2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/00368504211030833"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2022.3170238"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403396"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-77452-7","author":"wonham","year":"2019","journal-title":"Supervisory control of discrete-event systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.2971029"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-019-01417-4"},{"key":"ref16","author":"lacerda","year":"2013","journal-title":"Supervision of Discrete Event Systems Based on Temporal Logic Specifications"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2021.107714"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3390\/systems11030136"},{"key":"ref18","author":"sutton","year":"2015","journal-title":"Reinforcement Learning An Introduction"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SSCI.2015.87"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2023.02.033"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/MCS.2012.2214134","article-title":"Reinforcement learning and feedback control: Using natural decision methods to design optimal adaptive controllers","volume":"32","author":"lewis","year":"2012","journal-title":"IEEE Control Syst Mag"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1988.21948"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298143"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/systems11020056"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0259-2"},{"key":"ref41","first-page":"1","article-title":"A verified and compositional translation of LTL to deterministic rabin automata","author":"brunner","year":"2019","journal-title":"Proc 10th Int Conf Interact Theorem Proving"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2019.2955628"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2021.1913516"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3302509.3311053"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73008-0_18"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_17"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631296"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2020.1798021"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2022.2082321"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2020.12.004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2020.3010473"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2020.05.003"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/MCS.2016.2643259","article-title":"Formal methods for control of traffic flow: Automated control synthesis from finite-state transition models","volume":"37","author":"coogan","year":"2017","journal-title":"IEEE Control Syst Mag"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2016.2514414"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382399"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10149832.pdf?arnumber=10149832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T19:36:32Z","timestamp":1689017792000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10149832\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3285432","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}