{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:27:30Z","timestamp":1742999250947,"version":"3.40.3"},"publisher-location":"London","reference-count":29,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447142751"},{"type":"electronic","value":"9781447142768"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_3","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"45-64","source":"Crossref","is-referenced-by-count":0,"title":["Supervisory Control with Complete Observations"],"prefix":"10.1007","author":[{"given":"Tom\u00e1\u0161","family":"Masopust","sequence":"first","affiliation":[]},{"given":"Jan H.","family":"van Schuppen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","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., Gyugi, P., Wong-Toi, H., Franklin, G.F.: Supervisory control of a rapid thermal processor. IEEE Transactions on Automatic Control\u00a038, 1040\u20131059 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"3_CR2","doi-asserted-by":"publisher","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., Wonham, W.M.: Formulas for calculating supremal controllable and normal sublanguages. Systems & Control Letters\u00a015, 111\u2013117 (1990)","journal-title":"Systems & Control Letters"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"J.R. B\u00fcchi","year":"1969","unstructured":"B\u00fcchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the Amererican Mathematical Society\u00a0138, 295\u2013311 (1969)","journal-title":"Transactions of the Amererican Mathematical Society"},{"key":"3_CR4","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":"3_CR5","unstructured":"Chen, E., Lafortune, S.: Dealing with blocking in supervisory control of discrete event systems. In: Proc. of the 28th IEEE Conference on Decision and Control, New York, USA (1989)"},{"key":"3_CR6","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0947-3580(97)70063-3","volume":"3","author":"M. Fabian","year":"1997","unstructured":"Fabian, M., Lennartson, B.: A class of nondeterministic specification for supervisory control. European Journal of Control\u00a03, 81\u201390 (1997)","journal-title":"European Journal of Control"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Forschelen, S.T.J., van de Mortel-Fronczak, J.M., Su, R., Rooda, J.E.: Application of supervisory control theory to theme park vehicles. In: Proc. 10th Workshop on Discrete Event Systems, Berlin, Germany (2010)","DOI":"10.3182\/20100830-3-DE-4013.00049"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1137\/S0363012997317189","volume":"37","author":"S. Hashtrudi-Zad","year":"1999","unstructured":"Hashtrudi-Zad, S., Kwong, R.H., Wonham, W.M.: Supremum operators and computation of supremal elements in system theory. SIAM Journal of Control and Optimization\u00a037, 695\u2013709 (1999)","journal-title":"SIAM Journal of Control and Optimization"},{"key":"3_CR10","volume-title":"Basic Algebra","author":"N. Jacobson","year":"1985","unstructured":"Jacobson, N.: Basic Algebra, 2nd edn., vol.\u00a01. W.H. Freeman and Company, New York (1985)","edition":"2"},{"key":"3_CR11","volume-title":"Computer-Aided Verification of Coordinating Processes","author":"R.P. Kurshan","year":"1994","unstructured":"Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton (1994)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/9.52291","volume":"35","author":"S. Lafortune","year":"1990","unstructured":"Lafortune, S., Chen, E.: The infimal closed controllable superlanguage and its application in supervisory control. IEEE Transactions on Automatic Control\u00a035, 398\u2013405 (1990)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"3_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511755460","volume-title":"Sets for Mathematics","author":"F.W. Lawvere","year":"2003","unstructured":"Lawvere, F.W., Roseburgh, R.: Sets for Mathematics. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR14","unstructured":"Lee, S.H.: Structural Decentralised Control of Concurrent Discrete-Event Systems. PhD thesis. Australian National University, Canberra, Australia (1998)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/9.566659","volume":"42","author":"A. Overkamp","year":"1997","unstructured":"Overkamp, A.: Supervisory control using failure semantics and partial specifications. IEEE Transactions on Automatic Control\u00a042, 498\u2013510 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"3_CR16","series-title":"Texts in Applied Mathematics","volume-title":"Introduction to mathematical system theory\u2013A behavioral approach","author":"J.W. Polderman","year":"1997","unstructured":"Polderman, J.W., Willems, J.C.: Introduction to mathematical system theory\u2013A behavioral approach. Texts in Applied Mathematics, vol.\u00a026. Springer, New York (1997)"},{"key":"3_CR17","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, 206\u2013230 (1987)","journal-title":"SIAM Journal of Control and Optimization"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proceedings IEEE"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Theunissen, R.J.M., Schiffelers, R.R.H., van Beek, D.A., Rooda, J.E.: Supervisory control synthesis for a patient support system. In: Proc. European Control Conference, Budapest, Hungary (2009)","DOI":"10.23919\/ECC.2009.7075134"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BF01439153","volume":"5","author":"J.G. Thistle","year":"1995","unstructured":"Thistle, J.G.: On control of systems modelled as deterministic Rabin automata. Discrete Event Dynamics Systems\u00a05, 357\u2013381 (1995)","journal-title":"Discrete Event Dynamics Systems"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0895-7177(96)00063-5","volume":"23","author":"J.G. Thistle","year":"1996","unstructured":"Thistle, J.G.: Supervisory control of discrete event systems. Mathematical and Computer Modelling\u00a023, 25\u201353 (1996)","journal-title":"Mathematical and Computer Modelling"},{"key":"3_CR22","volume-title":"Feature Interactions in Telecommunications and Distributed Systems IV","author":"J.G. Thistle","year":"1997","unstructured":"Thistle, J.G., Malham\u00e9, R.P., Hoang, H.H., Lafortune, S.: Feature interaction modelling, detection and resolution: A supervisory control approach. In: Feature Interactions in Telecommunications and Distributed Systems IV. IOS Press, Amsterdam (1997)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.1137\/S0363012991217536","volume":"32","author":"J.G. Thistle","year":"1994","unstructured":"Thistle, J.G., Wonham, W.M.: Control of infinite behavior of finite automata. SIAM Journal of Control and Optimization\u00a032, 1075\u20131097 (1994)","journal-title":"SIAM Journal of Control and Optimization"},{"key":"3_CR24","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1137\/S0363012991217524","volume":"32","author":"J.G. Thistle","year":"1994","unstructured":"Thistle, J.G., Wonham, W.M.: Supervision of infinite behavior of discrete-event systems. SIAM Journal of Control and Optimization\u00a032, 1098\u20131113 (1994)","journal-title":"SIAM Journal of Control and Optimization"},{"key":"3_CR25","first-page":"133","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: van Leeuwen (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 133\u2013191. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"3_CR26","volume-title":"Universal Algebra for Computer Scientists","author":"W. Thomas","year":"1992","unstructured":"Thomas, W.: Universal Algebra for Computer Scientists. Springer, Berlin (1992)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Wong-Toi, H., Hoffmann, G.: The control of dense real-time discrete event systems. In: Proc. 30th IEEE Conference on Decision and Control, New York (1991)","DOI":"10.21236\/ADA325997"},{"key":"3_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0068-7","volume-title":"Linear Multivariable Control: A Geometric Approach","author":"W.M. Wonham","year":"1979","unstructured":"Wonham, W.M.: Linear Multivariable Control: A Geometric Approach. Springer, Berlin (1979)"},{"key":"3_CR29","unstructured":"Wonham, W.M.: Supervisory Control of Discrete-Event Systems. University of Toronto (2008)"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T04:46:06Z","timestamp":1674103566000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_3","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}