{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:59Z","timestamp":1725574439568},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221456"},{"type":"electronic","value":"9783540247715"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24771-5_7","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T12:41:39Z","timestamp":1294490499000},"page":"74-85","source":"Crossref","is-referenced-by-count":0,"title":["Investigating Discrete Controllability with Kleene Algebra"],"prefix":"10.1007","author":[{"given":"Hans","family":"Bherer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Desharnais","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"St-Denis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"1999","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Boston (1999)"},{"key":"7_CR2","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall, London (1971)"},{"key":"7_CR3","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":"7_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0020-0255(01)00168-2","volume":"139","author":"J. Desharnais","year":"2001","unstructured":"Desharnais, J., M\u00f6ller, B.: Characterizing determinacy in Kleene algebras. Information Sciences\u00a0139, 253\u2013273 (2001)","journal-title":"Information Sciences"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0020-0190(94)00205-D","volume":"53","author":"B. Karger von","year":"1995","unstructured":"von Karger, B., Hoare, C.A.R.: Sequential calculus. Information Processing Letters\u00a053, 123\u2013130 (1995)","journal-title":"Information Processing Letters"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Transactions on Programming Languages and Systems\u00a019, 427\u2013443 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2217-1","volume-title":"Modeling and Control of Logical Discrete Event Systems","author":"R. Kumar","year":"1995","unstructured":"Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston (1995)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-57499-9_19","volume-title":"Formal Program Development","author":"B. M\u00f6ller","year":"1993","unstructured":"M\u00f6ller, B.: Derivation of graph and pointer algorithms. In: M\u00f6ller, B., Schuman, S., Partsch, H. (eds.) Formal Program Development. LNCS, vol.\u00a0755, pp. 123\u2013160. Springer, Heidelberg (1993)"},{"key":"7_CR9","unstructured":"M\u00f6ller, B.: Residuals and detachment. Personal communication (2001)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P.J.G. Ramadge","year":"1987","unstructured":"Ramadge, P.J.G., Wonham, W.M.: Supervisory control of a class of discreteevent processes. SIAM J. on Control and Optimization\u00a025, 206\u2013230 (1987)","journal-title":"SIAM J. on Control and Optimization"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077, 81\u201398 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR12","unstructured":"Wonham, W.M.: Notes on control of discrete event systems. Systems Control Group, Edward S. Rogers Sr. Dept. of Electrical & Computer Engineering, University of Toronto, pp. xiv+356 (2002), Available at \n                    \n                      http:\/\/www.control.utoronto.ca\/people\/profs\/wonham\/wonham.html"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W.M. Wonham","year":"1987","unstructured":"Wonham, W.M., Ramadge, P.J.G.: On the supremal controllable sublanguage of a given language. SIAM J. on Control and Optimization\u00a025, 637\u2013659 (1987)","journal-title":"SIAM J. on Control and Optimization"},{"key":"7_CR14","unstructured":"Young, S.D., Garg, V.K.: Optimal sensor and actuator choices for discrete event systems. In: 31st Allerton Conf. on Communication, Control, and Computing, Allerton, IL (1993)"}],"container-title":["Lecture Notes in Computer Science","Relational and Kleene-Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24771-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:09:16Z","timestamp":1619996956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24771-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221456","9783540247715"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24771-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}