{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:05:48Z","timestamp":1771704348396,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"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":[[1996,10]]},"DOI":"10.1007\/bf01797138","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T23:26:36Z","timestamp":1119309996000},"page":"379-427","source":"Crossref","is-referenced-by-count":71,"title":["Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation"],"prefix":"10.1007","volume":"6","author":[{"given":"Nejib Ben","family":"Hadj-Alouane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"BF01797138_CR1","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/9.376106","volume":"40","author":"M. Barbeau","year":"1995","unstructured":"Barbeau, M., Custeau, G. and St-Denis, R. 1995. An algorithm for computing the mask value of the supremal normal sublanguage of a legal language.IEEE Trans. Automatic Control 40(4): 699\u2013703.","journal-title":"IEEE Trans. Automatic Control"},{"key":"BF01797138_CR2","unstructured":"Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1993. Control of partially obseved discrete event systems with maximal variable lookahead policies.Proceedings of the Thirty-first Annual Allerton Conference on Communications, Control, and Computing pp. 898\u2013907."},{"key":"BF01797138_CR3","unstructured":"Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1994a. A distributed on-line algorithm for supervisory control under partial observation.Proc. 1994 Conf. Information Sciences and Systems Princeton, NJ, March."},{"key":"BF01797138_CR4","doi-asserted-by":"crossref","unstructured":"Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1994b. Think globally, communicate, act locally: On-line parallel\/distribued supervisory control.Proc. 33rd IEEE Conf. on Decision and Control Orlando, FL, pp. 3661\u20133666. December.","DOI":"10.1109\/CDC.1994.411724"},{"issue":"12","key":"BF01797138_CR5","doi-asserted-by":"crossref","first-page":"2398","DOI":"10.1109\/9.362854","volume":"39","author":"N. Hadj-Alouane Ben","year":"1994","unstructured":"Ben Hadj-Alouane, N., Lafortune, S. and Lin, F. 1994c. Variable lookahead supervisory control with state information.IEEE Trans. Automatic Control 39(12): 2398\u20132410.","journal-title":"IEEE Trans. Automatic Control"},{"issue":"2","key":"BF01797138_CR6","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0167-6911(90)90004-E","volume":"15","author":"R. D. Brandt","year":"1990","unstructured":"Brandt, R. D., Garg, V., Kumar, R., Lin, F., Marcus, S. I. and Wonham, W. M. 1990. Formulas for calculating supremal controllable and normal sublanguages.Systems and Control Letters 15(2): 111\u2013117.","journal-title":"Systems and Control Letters"},{"key":"BF01797138_CR7","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF02551361","volume":"2","author":"H. Cho","year":"1989","unstructured":"Cho, H. and Marcus, S. I. 1989a. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation.Math. Control Signals Systems 2: 47\u201369.","journal-title":"Math. Control Signals Systems"},{"key":"BF01797138_CR8","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF02088297","volume":"22","author":"H. Cho","year":"1989","unstructured":"Cho, H. and Marcus, S. I. 1989b. Supremal and maximal sublanguages arising in superior synthesis problems with partial observations.Math. Systems Theory 22: 177\u2013211.","journal-title":"Math. Systems Theory"},{"issue":"12","key":"BF01797138_CR9","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"S. L. Chung","year":"1992","unstructured":"Chung, S. L., Lafortune, S. and Lin, F. 1992. Limited lookahead policies in supervisory control of discrete event systems.IEEE Trans. Automatic Control 37(12): 1921\u20131935.","journal-title":"IEEE Trans. Automatic Control"},{"issue":"3","key":"BF01797138_CR10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BF01438709","volume":"4","author":"S. L. Chung","year":"1994","unstructured":"Chung, S. L., Lafortune, S. and Lin, F. 1994. Supervisory control using variable lookahead policies.Discrete Event Dynamic Systems: Theory and Applications 4(3): 237\u2013268.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"3","key":"BF01797138_CR11","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R. Cieslak","year":"1988","unstructured":"Cieslak, R., Desclaux, C., Fawaz, A. and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations.IEEE Trans. Automatic Control 33(3): 249\u2013260.","journal-title":"IEEE Trans. Automatic Control"},{"key":"BF01797138_CR12","doi-asserted-by":"crossref","unstructured":"Garg, V. K. 1993. Parallel and distributed algorithms for supervisory control of discrete event systems.Proc. 32th IEEE Conf. on Decision and Control San Antonio, TX, pp. 2236\u20132241.","DOI":"10.1109\/CDC.1993.325596"},{"issue":"3","key":"BF01797138_CR13","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01438708","volume":"4","author":"M. Heymann","year":"1994","unstructured":"Heymann, M. and Lin, F. 1994. On-line control of partially observed discrete event systems.Discrete Event Dynamic Systems: Theory and Applications 4(3): 221\u2013236.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"BF01797138_CR14","doi-asserted-by":"crossref","unstructured":"Inan, K. 1994. Nondeterministic supervision under partial observations.Proc. 11th International Conference on Analysis and Optimization of Systems 1994, pp. 39\u201348, Springer-Verlag, Lecture Notes in Contol and Information Sciences, vol. 199.","DOI":"10.1007\/BFb0033530"},{"key":"BF01797138_CR15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F. and Wonham, W. M. 1988. On observability of discrete-event systems.Information Sciences 44: 173\u2013198.","journal-title":"Information Sciences"},{"issue":"1","key":"BF01797138_CR16","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/9.8645","volume":"34","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J. 1989. Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata.IEEE Trans. Automatic Control 34(1): 10\u201319.","journal-title":"IEEE Trans. Automatic Control"},{"issue":"1","key":"BF01797138_CR17","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge, P. J. and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes.SIAM J. Control and Optimization 25(1): 206\u2013230.","journal-title":"SIAM J. Control and Optimization"},{"issue":"1","key":"BF01797138_CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J. and Wonham, W. M. 1989. The control of discrete event systems.Proc. IEEE 77(1): 81\u201398.","journal-title":"Proc. IEEE"},{"key":"BF01797138_CR19","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0167-6911(90)90059-4","volume":"15","author":"K. Rudie","year":"1990","unstructured":"Rudie, K. and Wonham, W. M. 1990. The infimal prefix-closed and observable superlanguage of a given language. Systems and Control Letters 15: 361\u2013371.","journal-title":"Systems and Control Letters"},{"issue":"11","key":"BF01797138_CR20","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K. and Wonham, W. M. 1992. Think globally, act locally: Decentralized supervisory control.IEEE Trans. Automatic Control 37(11): 1692\u20131708.","journal-title":"IEEE Trans. Automatic Control"},{"issue":"3","key":"BF01797138_CR21","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W. M. Wonham","year":"1987","unstructured":"Wonham, W. M. and Ramadge, P. J. 1987. On the supremeal controllable sublanguage of a given language.SIAM J. Control and Optimization 25(3): 637\u2013659.","journal-title":"SIAM J. Control and Optimization"},{"issue":"1","key":"BF01797138_CR22","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"W. M. Wonham","year":"1988","unstructured":"Wonham, W. M. and Ramadge, P. J. 1988. Modular supervisory control of discrete event systems.Math. Control Signals Systems 1(1): 13\u201330.","journal-title":"Math. Control Signals Systems"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797138.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01797138\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T21:11:17Z","timestamp":1735765877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01797138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["BF01797138"],"URL":"https:\/\/doi.org\/10.1007\/bf01797138","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}