{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:08:33Z","timestamp":1736140113486,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544777"},{"type":"electronic","value":"9783540383949"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0023742","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:01:03Z","timestamp":1132380063000},"page":"282-291","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Task-driven supervisory control of discrete event systems"],"prefix":"10.1007","author":[{"given":"C. H.","family":"Golaszewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. P.","family":"Kurshan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,14]]},"reference":[{"key":"30_CR1","unstructured":"I. Brave and M. Heymann, \u201cOn Stabilization of Discrete-Event Processes\u201d, Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, 1989."},{"issue":"3","key":"30_CR2","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. Fawaz, and P. Varaiya, \u201cSupervisory Control of Discrete Event Processes with Partial Observations\u201d, IEEE Transactions on Automatic Control, Vol. 33(3), pp. 249\u2013260, March 1988.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"C.H. Golaszewski and P.J. Ramadge, \u201cMutual Exclusion Problems for Discrete Event Systems with Shared Events\u201d, Proceedings of the 27th Conference on Decision and Control, pp. 234\u2013239, Austin, Texas, 1988.","DOI":"10.1109\/CDC.1988.194301"},{"key":"30_CR4","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/3-540-52559-9_74","volume":"430","author":"R.P. Kurshan","year":"1990","unstructured":"R.P. Kurshan, \u201cAnalysis of Discrete Event Coordination\u201d, Lecture Notes on Computer Science 430, pp. 414\u2013453, Springer Verlag, 1990.","journal-title":"Lecture Notes on Computer Science"},{"key":"30_CR5","unstructured":"R.P. Kurshan and C.H. Golaszewski, \u201cAn Automaton-Based Approach to the Synthesis of Communication Protocols\u201d, in preparation."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"C.M. \u00d6zveren and A.S. Willsky, \u201cOutput Stabilizability of Discrete Event Dynamic Systems\u201d, Discrete-Event Dynamical Systems\u201d, Proceedings of the 28th Conference on Decision and Control, Tampa, Florida, 1989.","DOI":"10.21236\/ADA459490"},{"issue":"1","key":"30_CR7","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J. Ramadge","year":"1987","unstructured":"P.J. Ramadge and W.M. Wonham, \u201cSupervisory Control of a Class of Discrete-Event Processes\u201d, SIAM J. Control and Optimization, Vol. 25(1), pp. 206\u2013230, January 1987.","journal-title":"SIAM J. Control and Optimization"},{"issue":"1","key":"30_CR8","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/9.8645","volume":"34","author":"P.J. Ramadge","year":"1989","unstructured":"P.J. Ramadge, \u201cSome Tractable Supervisory Control Problems for Discrete Event Systems Modeled by B\u00fcchi Automata\u201d, IEEE Transactions on Automatic Control, Vol. 34(1), pp. 10\u201319, January 1989.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"P.J. Ramadge, \u201cObservability of Discrete Event Systems\u201d, Proceedings of the 25th Conference on Decision and Control, Athens, Greece, 1986.","DOI":"10.1109\/CDC.1986.267551"},{"key":"30_CR10","unstructured":"J.G. Thistle and W.M. Wonham, \u201cOn the Synthesis of Supervisors Subject to \u03c9-Language Specifications\u201d, 22nd Annual Conference on Information Sciences and Systems, Princeton NJ, pp.440\u2013444, March 1988."}],"container-title":["Lecture Notes in Computer Science","Computer-Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:51:27Z","timestamp":1736103087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544777","9783540383949"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0023742","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"14 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}