{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T12:59:30Z","timestamp":1768741170646,"version":"3.49.0"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"JSPS KAKENHI","award":["24656262"],"award-info":[{"award-number":["24656262"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/tac.2015.2513901","type":"journal-article","created":{"date-parts":[[2015,12,31]],"date-time":"2015-12-31T19:06:42Z","timestamp":1451588802000},"page":"2987-3000","source":"Crossref","is-referenced-by-count":15,"title":["Quantitative Supervisory Control Game for Discrete Event Systems"],"prefix":"10.1109","volume":"61","author":[{"given":"Sasinee","family":"Pruekprasert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshimitsu","family":"Ushio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takafumi","family":"Kanazawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0023-0"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24310-3_11"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012997321139"},{"key":"ref37","first-page":"92","author":"fudenberg","year":"1991","journal-title":"Game Theory"},{"key":"ref36","first-page":"169","article-title":"Bisimilarity enforcing supervisory control of non-deterministic systems under event and state observations","author":"kimura","year":"0","journal-title":"Proc 11th WODES"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.3182\/20140514-3-FR-4046.00018"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.902652"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217536"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/060673862"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1989.70672"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(93)90075-W"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012992235183"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012994260957"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/0020717042000273762"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00089-4"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2173420"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/TAC.2011.2157391","article-title":"The synthesis of time optimal supervisors by using heaps-of-pieces","volume":"57","author":"su","year":"2012","journal-title":"IEEE Trans Autom Control"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60472-3_1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70701-1_6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4276-8"},{"key":"ref6","first-page":"440","article-title":"On the synthesis of supervisors subject to $\\omega$-language specifications","author":"thistle","year":"0","journal-title":"Proc 22nd Conf on Infor Sci and Syst"},{"key":"ref29","first-page":"469","article-title":"Controller synthesis for timed automata","author":"asarin","year":"0","journal-title":"Proc IFAC Symp Syst Structure Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.182487"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/9.8645"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217524"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref20","first-page":"905","article-title":"Coordinated distributed time optimal supervisory control","author":"su","year":"0","journal-title":"Proc Amer Control Conf"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0280205-0"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1805950.1805953"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0105-x"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01768705"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00188-3"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7575613\/07369945.pdf?arnumber=7369945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:45:54Z","timestamp":1642005954000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7369945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":38,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tac.2015.2513901","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10]]}}}