{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T02:52:25Z","timestamp":1777431145050,"version":"3.51.4"},"reference-count":18,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1587\/transinf.2016fop0008","type":"journal-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T18:23:24Z","timestamp":1496255004000},"page":"1166-1171","source":"Crossref","is-referenced-by-count":9,"title":["Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem"],"prefix":"10.1587","volume":"E100.D","author":[{"given":"Sasinee","family":"PRUEKPRASERT","sequence":"first","affiliation":[{"name":"National Institute of Informatics"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshimitsu","family":"USHIO","sequence":"additional","affiliation":[{"name":"Graduate School of Engineering Science, Osaka University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] P.J. Ramadge and W.M. Wonham, \u201cSupervisory control of a class of discrete-event process,\u201d SIAM J. Control Optim., vol.25, no.1, pp.206-230, Jan. 1987.","DOI":"10.1137\/0325013"},{"key":"2","unstructured":"[2] K. Chatterjee, R. Majumdar, and T.A. Henzinger, \u201cController synthesis with budget constraints,\u201d Lecture Notes in Computer Science, vol.4981, pp.72-86, 2008."},{"key":"3","unstructured":"[3] K. Chatterjee and R. Majumdar, \u201cMinimum attention controller synthesis for omega-regular objectives,\u201d Lecture Notes in Computer Science, vol.6919, pp.145-159, 2011."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] F. Lin and W.M. Wonham, \u201cOn observability of discrete event systems,\u201d Information Sciences, vol.44, no.3, pp.173-198, 1998.","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"5","unstructured":"[5] S. Takai, T. Ushio, and S. Kodama, \u201cA new class of supervisors for partially observed discrete event systems,\u201d Proc. ACC, pp.2631-2635, 1995."},{"key":"6","unstructured":"[6] J.G. Thistle and W.M. Wonham, \u201cSupervision of infinite behavior of discrete-event systems,\u201d SIAM J. Control Optim., vol.32, no.4, pp.1098-1113, 1994."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] P.J.G. Ramadge, \u201cSome tractable supervisory control problems for discrete-event systems modeled by B\u00fcchi automata,\u201d IEEE Trans. Automat. Control, vol.34, no.1, pp.10-19, 1989.","DOI":"10.1109\/9.8645"},{"key":"8","unstructured":"[8] S. Pruekprasert, T. Ushio, and T. Kanazawa, \u201cQuantitative supervisory control game for discrete event systems,\u201d IEEE Trans. Automat. Control, vol.61, no.10, pp.2987-3000, Oct. 2016."},{"key":"9","unstructured":"[9] U. Fahrenberg, L. Juhl, K.G. Larsen, and J. Srba, \u201cEnergy games in multiweighted automata,\u201d Lecture Notes in Computer Science, vol.6916, pp.95-115, 2011."},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] L. Brim, J. Chaloupka, L. Doyen, R. Gentilini, and J.F. Raskin, \u201cFaster algorithms for mean-payoff games,\u201d Formal Methods in System Design, vol.38, no.2, pp.97-118, 2011.","DOI":"10.1007\/s10703-010-0105-x"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] G.A. P\u00e9rez, \u201cThe fixed initial credit problem for partial-observation energy games is Ack-complete,\u201d Information Processing Letters, vol.118, pp.91-99, Feb. 2017.","DOI":"10.1016\/j.ipl.2016.10.005"},{"key":"12","unstructured":"[12] A. Degorre, L. Doyen, R. Gentilini, J.-F. Raskin, and S. Toru\u0144czyk, \u201cEnergy and mean-payoff games with imperfect information,\u201d Proc. CSL'10, vol.6247, pp.260-274, 2010."},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] L. de Alfaro, T.A. Henzinger, and O. Kupferman, \u201cConcurrent reachability games,\u201d Theoretical Computer Science, vol.386, no.3, pp.188-217, 2007.","DOI":"10.1016\/j.tcs.2007.07.008"},{"key":"14","unstructured":"[14] S. Pruekprasert and T. Ushio, \u201cEnergy-base deadlock-free supervisory control of quantitative discrete event systems under Partial Observation,\u201d Proc. ITC-CSCC, pp.137-140, 2016."},{"key":"15","unstructured":"[15] R. Fr\u00f6berg, An introduction to Gr\u00f6bner bases, West Sussex, England, John Wiley & Sons, 1997."},{"key":"16","unstructured":"[16] D. K\u00f6nig, \u201c\u00dcber eine schlussweise aus dem endlichen ins unendliche,\u201d Acta Sci. Math. (Szeged), vol.3, pp.121-130, 1927 (in German)."},{"key":"17","unstructured":"[17] H.W. Kuhn, \u201cExtensive games and the problem of information,\u201d in Classics in games theory, Princeton University Press, Princeton, NJ, US, 1997."},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] D. Figueira, S. Figueira, S. Schmitz, and P. Schnoebelen, \u201cAckermannian and primitive-recursive bounds with dickson's lemma,\u201d in LICS, IEEE Computer Society, pp.269-278, 2011.","DOI":"10.1109\/LICS.2011.39"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0008\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:02:09Z","timestamp":1569391329000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0008\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016fop0008","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}