{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:19:58Z","timestamp":1778498398585,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540590422","type":"print"},{"value":"9783540491750","type":"electronic"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":[[1995]]},"DOI":"10.1007\/3-540-59042-0_76","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:58:39Z","timestamp":1330257519000},"page":"229-242","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":289,"title":["On the synthesis of discrete controllers for timed systems"],"prefix":"10.1007","author":[{"given":"Oded","family":"Maler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, and D.L. Dill, Model Checking in Dense Real Time, Information and Computation 104, 2\u201334, 1993.","journal-title":"Information and Computation"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Lamport, and P. Wolper, Realizable and Unrealizable Concurrent Program Specifications. In Proc. 16th Int. Collog. Aut. Lang. Prog., volume 372 of Lect. Notes in Comp. Sci., pages 1\u201317. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0035748"},{"key":"20_CR4","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 Discreteevent Systems, IEEE Transactions on Automatic Control, 39, 329\u2013342, 1994.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"20_CR5","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":"J.R. B\u00fcchi and L.H. Landweber, Solving Sequential Conditions by Finite-state Operators, Trans. of the AMS 138, 295\u2013311, 1969.","journal-title":"Trans. of the AMS"},{"key":"20_CR6","unstructured":"E.A. Emerson and C.J. Jutla, Tree Automata, \u03bc-calculus and Determinacy, Proc. 32nd FOCS, 1991."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L. Harrington, Trees, Automata and Games, Proc. 14th STOC, 1982.","DOI":"10.1145\/800070.802177"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T. Henzinger","year":"1994","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, Symbolic Modelchecking for Real-time Systems, Information and Computation 111, 193\u2013244, 1994.","journal-title":"Information and Computation"},{"key":"20_CR9","unstructured":"M. Le Borgne, Dynamical Systems over Finite Fields, Ph.D. thesis, Univ. Rennes 1, 1993 (In French)."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the Synthesis of a Reactive Module, In Proc. 16th ACM Symp. Princ. of Prog. Lang., pages 179\u2013190, 1989.","DOI":"10.1145\/75277.75293"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"M.O. Rabin, Automata on Infinite Objects and Church's Problem, AMS, 1972.","DOI":"10.1090\/cbms\/013"},{"key":"20_CR12","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, Supervisory Control of a Class of Discrete Event Processes, SIAM J. of Control and Optimization 25, 206\u2013230, 1987.","journal-title":"SIAM J. of Control and Optimization"},{"key":"20_CR13","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P.J. Ramadge","year":"1989","unstructured":"P.J. Ramadge and W.M. Wonham, The Control of Discrete Event Systems, Proc. of the IEEE 77, 81\u201398, 1989.","journal-title":"Proc. of the IEEE"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.1137\/S0363012991217536","volume":"32","author":"J.G. Thistle","year":"1994","unstructured":"J.G. Thistle and W.M. Wonham, Control of Infinite Behavior of Finite Automata, SIAM J. of Control and Optimization 32, 1075\u20131097, 1994.","journal-title":"SIAM J. of Control and Optimization"},{"key":"20_CR15","unstructured":"W. Thomas, On the Synthesis of Strategies in Infinite Games, These proceedings."},{"key":"20_CR16","volume-title":"Finite Automata: Behavior and Synthesis","author":"B.A. Trakhtenbrot","year":"1973","unstructured":"B.A. Trakhtenbrot and Y.M. Barzdin, Finite Automata: Behavior and Synthesis, North-Holland, Amsterdam, 1973."},{"key":"20_CR17","unstructured":"M.Y. Vardi, Personal communication."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi and G. Hoffmann, The Control of Dense Real-Time Discrete Event Systems, Technical report STAN-CS-92-1411, Stanford University, 1992.","DOI":"10.21236\/ADA325997"}],"container-title":["Lecture Notes in Computer Science","STACS 95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59042-0_76","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:54:14Z","timestamp":1578509654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59042-0_76"}},"subtitle":["An extended abstract"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590422","9783540491750"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-59042-0_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}