{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T11:51:48Z","timestamp":1781869908103,"version":"3.54.5"},"reference-count":16,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","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:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJER1603"],"award-info":[{"award-number":["JPMJER1603"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1109\/lcsys.2019.2923037","type":"journal-article","created":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T20:18:59Z","timestamp":1560543539000},"page":"259-264","source":"Crossref","is-referenced-by-count":10,"title":["Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem"],"prefix":"10.1109","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5929-9014","authenticated-orcid":false,"given":"Sasinee","family":"Pruekprasert","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4009-270X","authenticated-orcid":false,"given":"Toshimitsu","family":"Ushio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11784180_17"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_34"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.340"},{"key":"ref16","author":"hopcroft","year":"2001","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref4","first-page":"103","author":"de queiroz","year":"2000","journal-title":"Modular Supervisory Control of Large Scale Discrete Event Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-014-0208-4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.03.018"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283093"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.3766"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2016.2587858"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(02)00027-5"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/8742705\/08736748.pdf?arnumber=8736748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T12:51:13Z","timestamp":1651063873000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8736748\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":16,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/lcsys.2019.2923037","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1]]}}}