{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T14:12:58Z","timestamp":1785420778527,"version":"3.56.0"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2016,5,1]],"date-time":"2016-05-01T00:00:00Z","timestamp":1462060800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1138860"],"award-info":[{"award-number":["CCF-1138860"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1446298"],"award-info":[{"award-number":["CNS-1446298"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/tac.2015.2460391","type":"journal-article","created":{"date-parts":[[2015,7,23]],"date-time":"2015-07-23T18:33:06Z","timestamp":1437676386000},"page":"1239-1254","source":"Crossref","is-referenced-by-count":111,"title":["Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems"],"prefix":"10.1109","volume":"61","author":[{"given":"Xiang","family":"Yin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.844725"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_19"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-005-2868-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0023-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(93)90082-H"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01438708"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797138"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.00656"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040195"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/9.402"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(90)90004-E"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551361"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2341891"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00322-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033530"},{"key":"ref20","article-title":"Supplement material for the paper ‘Synthesis of maximally permissive supervisors for partially-observed discrete-event systems’.","author":"yin","year":"0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551817"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/9.362854"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7458216\/7165606.pdf?arnumber=7165606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:34:50Z","timestamp":1633919690000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7165606\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":22,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2460391","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5]]}}}