{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:03:27Z","timestamp":1725577407549},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642180972"},{"type":"electronic","value":"9783642180989"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-18098-9_2","type":"book-chapter","created":{"date-parts":[[2011,2,4]],"date-time":"2011-02-04T13:56:14Z","timestamp":1296827774000},"page":"4-16","source":"Crossref","is-referenced-by-count":1,"title":["A Summary of Some Discrete-Event System Control Problems"],"prefix":"10.1007","author":[{"given":"Karen","family":"Rudie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J.: Control and Supervision of Discrete Event Processes. PhD thesis, Department of Electrical Engineering, University of Toronto (1983)","DOI":"10.1109\/CDC.1982.268351"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete-event processes. SIAM Journal of Control and Optimization\u00a025(1), 206\u2013230 (1987)","journal-title":"SIAM Journal of Control and Optimization"},{"key":"2_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"2008","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008)","edition":"2"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F., Wonham, W.M.: On observability of discrete-event systems. Information Sciences\u00a044, 173\u2013198 (1988)","journal-title":"Information Sciences"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J., Wonham, W.M.: Supervision of discrete event processes. In: Proceedings of the 21st IEEE Conference on Decision and Control, vol.\u00a03, pp. 1228\u20131229 (December 1982)","DOI":"10.1109\/CDC.1982.268351"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF02551817","volume":"2","author":"J.N. Tsitsiklis","year":"1989","unstructured":"Tsitsiklis, J.N.: On the control of discrete-event dynamical systems. Mathematics of Control, Signals, and Systems\u00a02, 95\u2013107 (1989)","journal-title":"Mathematics of Control, Signals, and Systems"},{"issue":"5","key":"2_CR7","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0167-6911(90)90059-4","volume":"15","author":"K. Rudie","year":"1990","unstructured":"Rudie, K., Wonham, W.M.: The infimal prefix-closed and observable superlanguage of a given language. Systems & Control Letters\u00a015(5), 361\u2013371 (1990)","journal-title":"Systems & Control Letters"},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/9.402","volume":"33","author":"R. Cieslak","year":"1988","unstructured":"Cieslak, R., Desclaux, C., Fawaz, A.S., Varaiya, P.: Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control\u00a033(3), 249\u2013260 (1988)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"11","key":"2_CR9","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"7","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1109\/9.400469","volume":"40","author":"K. Rudie","year":"1995","unstructured":"Rudie, K., Willems, J.C.: The computational complexity of decentralized discrete-event control problems. IEEE Transactions on Automatic Control\u00a040(7), 1313\u20131319 (1995)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Rudie, K., Wonham, W.M.: Protocol verification using discrete-event systems. In: Proceedings of the 31st IEEE Conference on Decision and Control, Tucson, Arizona, pp. 3770\u20133777 (December 1992)","DOI":"10.1109\/CDC.1992.370955"},{"key":"#cr-split#-2_CR12.1","unstructured":"Rudie, K., Wonham, W.M.: Supervisory control of communicating processes. In: Logrippo, L., Probert, R.L., Ural, H. (eds.) Protocol Specification, Testing and Verification X, pp. 243???257. Elsevier Science (North-Holland), Amsterdam (1990);"},{"key":"#cr-split#-2_CR12.2","unstructured":"Expanded version appears as Systems Control Group Report #8907, Department of Electrical Engineering, University of Toronto (1989)"},{"key":"2_CR13","first-page":"37","volume-title":"Synthesis and Control of Discrete Event Systems","author":"A. Puri","year":"2001","unstructured":"Puri, A., Tripakis, S., Varaiya, P.: Problems and examples of decentralized observation and control for discrete event systems. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.) Synthesis and Control of Discrete Event Systems, pp. 37\u201355. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.sysconle.2004.10.002","volume":"54","author":"J.G. Thistle","year":"2005","unstructured":"Thistle, J.G.: Undecidability in decentralized supervision. Systems & Control Letters\u00a054, 503\u2013509 (2005)","journal-title":"Systems & Control Letters"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control. In: Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, pp. 4104\u20134109 (December 2001)","DOI":"10.1109\/CDC.2001.980822"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters\u00a090, 21\u201328 (2004)","journal-title":"Information Processing Letters"},{"issue":"9","key":"2_CR17","doi-asserted-by":"publisher","first-page":"1489","DOI":"10.1109\/TAC.2004.834116","volume":"49","author":"S. Tripakis","year":"2004","unstructured":"Tripakis, S.: Decentralized control of discrete-event systems with bounded or unbounded delay communication. IEEE Transactions on Automatic Control\u00a049(9), 1489\u20131501 (2004)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Brandin, B.A., Wonham, W.M., Benhabib, B.: Manufacturing cell supervisory control\u2014a timed discrete-event system approach. In: Proceedings of the IEEE Conference on Robotics and Automation, Nice, France, pp. 931\u2013936 (May 1992)","DOI":"10.1109\/ROBOT.1992.220177"},{"issue":"4","key":"2_CR19","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/0005-1098(91)90055-7","volume":"27","author":"B.H. Krogh","year":"1991","unstructured":"Krogh, B.H., Holloway, L.E.: Synthesis of feedback control logic for discrete manufacturing systems. Automatica\u00a027(4), 641\u2013651 (1991)","journal-title":"Automatica"},{"issue":"7","key":"2_CR20","doi-asserted-by":"publisher","first-page":"1040","DOI":"10.1109\/9.231459","volume":"38","author":"S. Balemi","year":"1993","unstructured":"Balemi, S., Hoffmann, G.J., Gyugyi, P., Wong-Toi, H., Franklin, G.F.: Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control\u00a038(7), 1040\u20131059 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1023\/A:1015625600613","volume":"12","author":"T.-S. Yoo","year":"2002","unstructured":"Yoo, T.-S., Lafortune, S.: A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a012, 335\u2013377 (2002)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"10","key":"2_CR22","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.1109\/9.58555","volume":"35","author":"H. Zhong","year":"1990","unstructured":"Zhong, H., Wonham, W.M.: On the consistency of hierarchical supervision in discrete-event systems. IEEE Transactions on Automatic Control\u00a035(10), 1125\u20131134 (1990)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0167-6911(94)00090-I","volume":"25","author":"P.E. Caines","year":"1995","unstructured":"Caines, P.E., Wei, Y.J.: The hierarchical lattices of a finite machine. Systems & Control Letters\u00a025, 257\u2013263 (1995)","journal-title":"Systems & Control Letters"},{"issue":"2","key":"2_CR24","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"B.A. Brandin","year":"1994","unstructured":"Brandin, B.A., Wonham, W.M.: Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control\u00a039(2), 329\u2013342 (1994)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Lawford, M., Wonham, W.M.: Supervisory control of probabilistic discrete event systems. In: Proceedings of the 36th Midwest Symposium on Circuits and Systems, Detroit, MI, pp. 327\u2013331 (1993)","DOI":"10.1109\/MWSCAS.1993.343043"},{"issue":"4","key":"2_CR26","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/9.917660","volume":"46","author":"R. Kumar","year":"2001","unstructured":"Kumar, R., Garg, V.K.: Control of stochastic discrete event systems modeled by probabilistic languages. IEEE Transactions on Automatic Control\u00a046(4), 593\u2013606 (2001)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"7","key":"2_CR27","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1008271916548","volume":"2","author":"L. Holloway","year":"1997","unstructured":"Holloway, L., Krogh, B.H., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications\u00a02(7), 151\u2013190 (1997)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/9.52290","volume":"35","author":"J.S. Ostroff","year":"1990","unstructured":"Ostroff, J.S., Wonham, W.M.: A framework for real-time discrete event control. IEEE Transactions on Automatic Control\u00a035(4), 386\u2013397 (1990)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"9","key":"2_CR29","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"S.L. Ricker","year":"2000","unstructured":"Ricker, S.L., Rudie, K.: Know means no: Incorporating knowledge into decentralized discrete-event control. IEEE Transactions on Automatic Control\u00a045(9), 1656\u20131668 (2000)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"2_CR30","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/TAC.2007.892371","volume":"52","author":"S.L. Ricker","year":"2007","unstructured":"Ricker, S.L., Rudie, K.: Knowledge is a terrible thing to waste: Using inference in discrete-event contol problems. IEEE Transactions on Automatic Control\u00a052(3), 428\u2013441 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"12","key":"2_CR31","doi-asserted-by":"publisher","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"S.-L. Chung","year":"1992","unstructured":"Chung, S.-L., Lafortune, S., Lin, F.: Limited lookahead policies in supervisory control of discrete event systems. IEEE Transactions on Automatic Control\u00a037(12), 1921\u20131935 (1992)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Auer, A., Dingel, J., Rudie, K.: Concurrency control generation for dynamic threads using discrete-event systems. In: Proceedings of the Allerton Conference on Communication, Control and Computing, Monticello, IL, September 30-October 2, pp. 927\u2013934 (2009)","DOI":"10.1109\/ALLERTON.2009.5394896"},{"issue":"12","key":"2_CR33","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MC.2009.391","volume":"42","author":"T. Kelly","year":"2009","unstructured":"Kelly, T., Wang, Y., Lafortune, S., Mahlke, S.: Eliminating concurrency bugs with control engineering. Computer\u00a042(12), 52\u201360 (2009)","journal-title":"Computer"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Whittaker, S.-J., Rudie, K., McLellan, J., Haar, S.: Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. In: Proceedings of the Allerton Conference on Communication, Control and Computing, Monticello, IL, September 30-October 2, pp. 652\u2013659 (2009)","DOI":"10.1109\/ALLERTON.2009.5394920"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18098-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T10:18:21Z","timestamp":1559989101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18098-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642180972","9783642180989"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18098-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}