{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:28:20Z","timestamp":1762781300251},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"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,7]]},"DOI":"10.1007\/bf01797154","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T23:26:31Z","timestamp":1119309991000},"page":"241-273","source":"Crossref","is-referenced-by-count":205,"title":["Hierarchical control of discrete-event systems"],"prefix":"10.1007","volume":"6","author":[{"given":"K. C.","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. M.","family":"Wonham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01797154_CR1","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and W. P. Weijland.Process Algebra. Cambridge University Press, 1990. Cambridge Tracts in Theoretical Computer Science 18.","DOI":"10.1017\/CBO9780511624193"},{"key":"BF01797154_CR2","unstructured":"B. A. Brandin.Real-Time Supervisory Control of Automated Manufacturing Systems. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1993, Also appears as Technical Report 9302, Systems Control Group, Department of Electrical Engineering, University of Toronto, February, 1993."},{"issue":"2","key":"BF01797154_CR3","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"B. A. Brandin","year":"1994","unstructured":"B. A. Brandin and W. M. Wonham. Supervisory control of timed discrete-event systems.IEEE Transactions on Automatic Control, 39(2):329\u2013342, 1994.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"12","key":"BF01797154_CR4","doi-asserted-by":"crossref","first-page":"1803","DOI":"10.1109\/9.250558","volume":"38","author":"Y. Brave","year":"1993","unstructured":"Y. Brave and M. Heymann. Control of discrete event systems modeled as hierarchical state machines.IEEE Transactions on Automatic Control, 38(12):1803\u20131819, December 1993.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"BF01797154_CR5","doi-asserted-by":"crossref","unstructured":"P. E. Caines and Y.-J. Wei. The hierarchical lattices of a finite machine.Systems and Control Letters, pages 257\u2013263, July 1995.","DOI":"10.1016\/0167-6911(94)00090-I"},{"issue":"3","key":"BF01797154_CR6","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R. Cieslak","year":"1988","unstructured":"R. Cieslak, C. Desclaux, A. S. Fawaz, and P. Varaiya. Supervisory control of discrete-event processes with partial observations.IEEE Transactions on Automatic Control, 33(3):249\u2013260, March 1988.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"BF01797154_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF01215843","volume":"5","author":"K. Inan","year":"1992","unstructured":"K. Inan. An algebraic approach to supervisory control.Mathematics of Control, Signals, and Systems, 5:151\u2013164, 1992.","journal-title":"Mathematics of Control, Signals, and Systems"},{"key":"BF01797154_CR8","unstructured":"M. Johnson and C. N. G. Damphey. On the value of commutative diagrams in information modelling. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors,Algebraic Methodology and Software Technology, Enschede 1993, pages 45\u201358. Springer-Verlag, 1993. Workshops in Computing, Series edited by by Professor C. J. van Rijsbergen."},{"key":"BF01797154_CR9","unstructured":"Y. Li.Control of Vector Discrete-Event Systems. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1991, Also appears as Technical Report 9106, Systems Control Group, Department of Electrical Engineering, University of Toronto, July, 1991."},{"issue":"8","key":"BF01797154_CR10","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1109\/9.233154","volume":"38","author":"Y. Li","year":"1993","unstructured":"Y. Li and W. M. Wonham. Control of vector discrete-event systems 1 \u2014 the base model.IEEE Transactions on Automatic Control, 38(8):1214\u20131227, August 1993.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"BF01797154_CR11","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F. Lin","year":"1988","unstructured":"F. Lin and W. M. Wonham. Decentralized supervisory control of discrete-event systems.Information Sciences, 44:199\u2013224, 1988.","journal-title":"Information Sciences"},{"key":"BF01797154_CR12","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"F. Lin and W. M. Wonham. On observability of discrete-event systems.Information Sciences, 44:173\u2013198, 1988.","journal-title":"Information Sciences"},{"key":"BF01797154_CR13","volume-title":"Theory of Hierarchical, Multilevel Systems","author":"M. D. Mesarovi\u0107","year":"1970","unstructured":"M. D. Mesarovi\u0107, D. Macko, and Y. Takahara.Theory of Hierarchical, Multilevel Systems. Academic, New York, 1970."},{"key":"BF01797154_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems, volume 92 ofLNCS","author":"R. Milner","year":"1980","unstructured":"R. Milner.A Calculus of Communicating Systems, volume 92 ofLNCS. Springer-Verlag, New York, 1980."},{"key":"BF01797154_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner.Communication and Concurrency. Prentice Hall International Series in Computer Science. Prentice Hall, New York, 1989."},{"key":"BF01797154_CR16","doi-asserted-by":"crossref","unstructured":"P. J. Ramadge.Control and Supervision of Discrete Event Processes. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1983.","DOI":"10.1109\/CDC.1982.268351"},{"key":"BF01797154_CR17","doi-asserted-by":"crossref","unstructured":"P. J. Ramadge and W. M. Wonham. Supervision of discrete event processes. InProc. of 21st Conf. on Decision and Control, pages 1228\u20131229, 1982.","DOI":"10.1109\/CDC.1982.268351"},{"issue":"5","key":"BF01797154_CR18","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1137\/0325066","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"P. J. Ramadge and W. M. Wonham. Modular feedback logic for discrete event systems.SIAM J. Control and Optimization, 25(5):1202\u20131218, 1987.","journal-title":"SIAM J. Control and Optimization"},{"issue":"1","key":"BF01797154_CR19","first-page":"81","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"P. J. Ramadge and W. M. Wonham. The control of discrete event systems.Proc. IEEE, Special Issue on Discrete Event Dynamic Systems, 77(1):81\u201398, January 1989.","journal-title":"Proc. IEEE, Special Issue on Discrete Event Dynamic Systems"},{"issue":"11","key":"BF01797154_CR20","doi-asserted-by":"crossref","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"K. Rudie and W. M. Wonham. Think globally, act locally: decentralized supervisory control.IEEE Transactions on Automatic Control, 37(11):1692\u20131708, 1992.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"BF01797154_CR21","unstructured":"Y. Willner and M. Heymann. On supervisory control of concurrent discrete-event systems. Technical Report 9009, Computer Science Department, Israel Institute of Technology, Technion, 1990."},{"key":"BF01797154_CR22","unstructured":"K. C. Wong.An Algebraic Description of Hierarchical Control in Discrete-Event Systems. M.A.Sc thesis, Department of Electrical Engineering, University of Toronto, 1990."},{"key":"BF01797154_CR23","unstructured":"K. C. Wong.Discrete-Event Control Architecture: An Algebraic Approach. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1994, Also appears as Technical Report 9407, Systems Control Group, Department of Electrical Engineering, University of Toronto, July, 1994."},{"key":"BF01797154_CR24","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/BF01797155","volume":"6","author":"K. C. Wong","year":"1996","unstructured":"K. C. Wong and W. M. Wonham. Hierarchical control of timed discrete-event systems.Discrete Event Dynamic Systems: Theory and Applications, 6:275\u2013306, 1996.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"BF01797154_CR25","first-page":"614","volume-title":"Proc. of Thirtieth Annual Allerton Conference on Communication, Control, and Computing","author":"K. C. Wong","year":"1992","unstructured":"K. C. Wong and W. M. Wonham. Hierarchical and modular control of discrete-event systems. InProc. of Thirtieth Annual Allerton Conference on Communication, Control, and Computing, pages 614\u2013623, Monticello, Illinois, September\u2013October 1992."},{"issue":"11","key":"BF01797154_CR26","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1109\/TSMC.1976.4309444","volume":"SMC-6","author":"W. M. Wonham","year":"1976","unstructured":"W. M. Wonham. Towards an abstract internal model principle.IEEE Transactions on Systems, Man, and Cybernetics, SMC-6(11):735\u2013740, November 1976.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"BF01797154_CR27","unstructured":"W. M. Wonham. Some current research directions in control of discrete-event systems.Preprint: European Control Conference, July 1991."},{"issue":"1","key":"BF01797154_CR28","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02551233","volume":"1","author":"W. M. Wonham","year":"1988","unstructured":"W. M. Wonham and P. J. Ramadge. Modular supervisory control of discrete event systems.Mathematics of Control, Signal and Systems, 1(1):13\u201330, 1988.","journal-title":"Mathematics of Control, Signal and Systems"},{"key":"BF01797154_CR29","unstructured":"H. Zhong.Hierarchical control of discrete-event systems. Ph.D. thesis, Department of Electrical Engineering, University of Toronto, 1992, Also appears as Technical Report 9208, Systems Control Group, Department of Electrical Engineering, University of Toronto, July, 1992."},{"issue":"10","key":"BF01797154_CR30","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1109\/9.58555","volume":"35","author":"H. Zhong","year":"1990","unstructured":"H. Zhong and W. M. Wonham. On the consistency of hierarchical supervision in discrete-event systems.IEEE Transactions on Automatic Control, 35(10):1125\u20131134, October 1990.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797154.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01797154\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01797154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T21:38:16Z","timestamp":1586295496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01797154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF01797154"],"URL":"https:\/\/doi.org\/10.1007\/bf01797154","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}