{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T23:06:20Z","timestamp":1652828780476},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s10626-005-5237-6","type":"journal-article","created":{"date-parts":[[2005,2,15]],"date-time":"2005-02-15T13:51:41Z","timestamp":1108475501000},"page":"7-32","source":"Crossref","is-referenced-by-count":6,"title":["Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation"],"prefix":"10.1007","volume":"15","author":[{"given":"Shigemasa","family":"Takai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshimitsu","family":"Ushio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Ben Hadj-Alouane, N., Lafortune, S., and Lin, F. 1996. Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discret. Event Dyn. Syst.: Theory Appl. 6(4): 379?427.","DOI":"10.1007\/BF01797138"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Boel, R. K., Ben-Naoum, L., and Van Breusegem, V. 1995. On forbidden state problems for a class of controlled Petri nets. IEEE Trans. Automat. Contr. 40(10): 1717?1731.","DOI":"10.1109\/9.467679"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Cho, H., and Marcus, S. I. 1989. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math. Control Signals Syst. 2(1): 47?69.","DOI":"10.1007\/BF02551361"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Cieslak, R., Desclaux, C., Fawaz, A. S., and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations. IEEE Trans. Automat. Contr. 33(3): 249?260.","DOI":"10.1109\/9.402"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Golaszewski, C. H., and Ramadge, P. J. 1987. Control of discrete event processes with forced events. In Proc. 26th IEEE Conf. Decis. Control, pp. 247?251.","DOI":"10.1109\/CDC.1987.272773"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Heymann, M., and Lin, F. 1994. On-line control of partially observed discrete event systems. Discret. Event Dyn. Syst.: Theory Appl. 4(3): 221?236.","DOI":"10.1007\/BF01438708"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Holloway, L. E., and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trans. Automat. Contr. 35(5): 514?523.","DOI":"10.1109\/9.53517"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Hubbard, P., and Caines, P. E. 1999. Initial investigations of hierarchical supervisory control for multi-agent systems. In Proc. 38th IEEE Conf. Decis. Control, pp. 2218?2223.","DOI":"10.1109\/CDC.1999.831250"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Lafortune, S., and Chen, E. 1990. The infimal closed controllable superlanguage and its application in supervisory control. IEEE Trans. Automat. Contr. 35(4): 398?405.","DOI":"10.1109\/9.52291"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Li, Y., and Wonham, W. M. 1988. On supervisory control of real-time discrete-event systems. Inform. Sci. 46(3): 159?183.","DOI":"10.1016\/0020-0255(88)90048-5"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Li, Y., and Wonham, W. M. 1995. Concurrent vector discrete-event systems. IEEE Trans. Automat. Contr. 40(4): 628?638.","DOI":"10.1109\/9.376113"},{"key":"CR12","unstructured":"Li, Y., Lin, F., and Lin, Z. H. 1998. A generalized framework for supervisory control of discrete event systems. Int. J. Intell. Control Syst. 2(1): 139?159."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Lin, F., and Wonham, W. M. 1988. On observability of discrete-event systems. Inform. Sci. 44(3): 173?198.","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"CR14","unstructured":"Peterson, J. L. 1981. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete-event processes. SIAM J. Control Optim. 25(1): 206?230.","DOI":"10.1137\/0325013"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Romanovski, I., and Caines, P. E. 2002. On the supervisory control of multi-agent product systems. Proc. 41st IEEE Conf. Decis. Control, pp. 1181?1186.","DOI":"10.1109\/CDC.2002.1184674"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Takai, S. 2000. Supervisory control of partially observed discrete event systems with arbitrary control patterns. Int. J. Syst. Sci. 31(5): 649?656.","DOI":"10.1080\/002077200290957"},{"key":"CR18","unstructured":"Takai, S., and Ushio, T. 2004. Supervisory control of a class of concurrent discrete event systems. IEICE Trans. Fundam. E87-A(3): 850?855."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Takai, S., Ushio, T., and Kodama, S. 1994. Concurrency and maximally permissive feedback in Petri nets with external input places. Int. J. Control 60(4): 617?629.","DOI":"10.1080\/00207179408921484"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Tsitsiklis, J. N. 1989. On the control of discrete-event dynamical systems. Math. Control Signals Syst. 2(2): 95?107.","DOI":"10.1007\/BF02551817"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Ushio, T. 1990. Maximally permissive feedback and modular control synthesis in Petri nets with external input places. IEEE Trans. Automat. Contr. 35(7): 844?848.","DOI":"10.1109\/9.57027"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Ushio, T., Li, Y., and Wonham, W. M. 1992. Concurrency and state feedback in discrete-event systems. IEEE Trans. Automat. Contr. 37(8): 1180?1184.","DOI":"10.1109\/9.151099"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Wonham, W. M., and Ramadge, P. J. 1988. Modular supervisory control of discrete-event systems. Math. Control Signals Syst. 1(1): 13?30.","DOI":"10.1007\/BF02551233"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-5237-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-005-5237-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-5237-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T19:42:36Z","timestamp":1586115756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-005-5237-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["5385237"],"URL":"https:\/\/doi.org\/10.1007\/s10626-005-5237-6","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}