{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:40:53Z","timestamp":1755999653777,"version":"3.37.3"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100005713","name":"Air Force Research Laboratory and OSD","doi-asserted-by":"publisher","award":["FA8750-15-2-0116"],"award-info":[{"award-number":["FA8750-15-2-0116"]}],"id":[{"id":"10.13039\/100005713","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000138","name":"Title III HBGI Grant from the U.S. Department of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000138","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1832110"],"award-info":[{"award-number":["1832110"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100005713","name":"Air Force Research Laboratory and OSD","doi-asserted-by":"publisher","award":["FA8750-15-2-0116"],"award-info":[{"award-number":["FA8750-15-2-0116"]}],"id":[{"id":"10.13039\/100005713","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.2983074","type":"journal-article","created":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T22:31:36Z","timestamp":1585089096000},"page":"61806-61816","source":"Crossref","is-referenced-by-count":4,"title":["Learning a Partially-Known Discrete Event System"],"prefix":"10.1109","volume":"8","author":[{"given":"Ira","family":"Wendell Bates","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6084-6831","authenticated-orcid":false,"given":"Ali","family":"Karimoddini","sequence":"additional","affiliation":[]},{"given":"Mohammad","family":"Karimadini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","article-title":"Supervisor synthesis of POMDP based on automata learning","author":"zhang","year":"2017","journal-title":"arXiv 1703 08262"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"ref31","first-page":"1004","article-title":"Angluin-style learning of NFA","author":"bollig","year":"2009","journal-title":"Proc 21st Int Joint Conf Artif Intell"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(78)90562-4"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3390\/app6090266"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.22"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2631890.2631891"},{"journal-title":"Automated Testing of Electronic Control Units (ECU)","year":"2018","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.07.036"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195218"},{"journal-title":"Automata Theory Language and Computation","year":"2010","author":"kumar","key":"ref12"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2008","author":"hopcroft","key":"ref13"},{"journal-title":"Introduction to Discrete Event Systems","year":"2009","author":"cassandras","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1023\/B:DISC.0000005010.55515.27"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717696"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2586604"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2013.09.009"},{"key":"ref19","first-page":"268","article-title":"Diagnosis of discrete event systems","author":"lafortune","year":"2014","journal-title":"Systems and Control Encyclopedia"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510766"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_41"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2677859"},{"article-title":"Passively learning finite automata","year":"1996","author":"murphy","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510406"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2017.7510775"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.01.036"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(94)90024-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.163"},{"journal-title":"Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools","year":"2007","author":"hr\u00faz","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2912712"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.03.002"},{"journal-title":"Supervisory control of discrete-event systems","year":"2015","author":"wonham","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2920677"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2017.2682185"},{"journal-title":"Learning Automata An Introduction","year":"2012","author":"narendra","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6287639\/8948470\/9045950-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09045950.pdf?arnumber=9045950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:53:34Z","timestamp":1649444014000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9045950\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/access.2020.2983074","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2020]]}}}