{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:57:53Z","timestamp":1778299073696,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540422877","type":"print"},{"value":"9783540482246","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48224-5_33","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:29:04Z","timestamp":1193552944000},"page":"396-407","source":"Crossref","is-referenced-by-count":48,"title":["Distributed Controller Synthesis for Local Specifications"],"prefix":"10.1007","author":[{"given":"P.","family":"Madhusudan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.S.","family":"Thiagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proc. 38th IEEE FOCS, pages 100\u2013109, October 1997.","DOI":"10.1109\/SFCS.1997.646098"},{"key":"33_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. 16th ICALP","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable concurrent program specifications. In Proc. 16th ICALP, vol. 372, pages 1\u201317. LNCS, Springer-Verlag, July 1989."},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"295","DOI":"10.2307\/1994916","volume":"138","author":"J.R. B\u00fcchi","year":"1969","unstructured":"J.R. B\u00fcchi and L.HG. Landweber. Solving sequential conditions by finite-state strategies. Trans. AMS, 138:295\u2013311, 1969.","journal-title":"Trans. AMS"},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Luca de Alfaro and Thomas A. Henzinger. Concurrent omega-regular games. In Proc., LICS\u2019 00, 15th Annual Conf., pages 141\u2013154, 2000.","DOI":"10.1109\/LICS.2000.855763"},{"key":"33_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1007\/3-540-44618-4_33","volume-title":"Proc., CONCUR\u2019 00, 11th Int. Conf.","author":"L. Alfaro de","year":"2000","unstructured":"Luca de Alfaro, Thomas A. Henzinger, and F.Y.C. Mang. The control of synchronous systems. In Proc., CONCUR\u2019 00, 11th Int. Conf., vol. 1877 of LNCS, pages 458\u2013473, Penn. State Univ, USA, Sept. 2000."},{"key":"33_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proc., CONCUR\u2019 00, 11th Int. Conf.","author":"O. Kupferman","year":"2000","unstructured":"O. Kupferman, P. Madhusudan, P.S. Thiagarajan, and M. Vardi. Open systems in reactive environments: Control and synthesis. In Proc., CONCUR\u2019 00, 11th Int. Conf., vol. 1877 of LNCS, USA, Sept. 2000."},{"key":"33_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/3-540-61474-5_59","volume-title":"CAV, Proc. 8th Intl. Conf.","author":"O. Kupferman","year":"1996","unstructured":"O. Kupferman and M.Y. Vardi. Module checking. In CAV, Proc. 8th Intl. Conf., vol. 1102 of LNCS, pages 75\u201386. Springer-Verlag, 1996."},{"issue":"2","key":"33_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.2307\/421091","volume":"5","author":"O. Kupferman","year":"1999","unstructured":"O. Kupferman and M.Y. Vardi. Church\u2019s problem revisited. The Bulletin of Symbolic Logic, 5(2):245\u2013263, June 1999.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0304-3975(94)00214-4","volume":"141","author":"D.E. Muller","year":"1995","unstructured":"D.E. Muller and P.E. Schupp. Simulating alternating tree automata by nondeterministic automata: New results and new proofs of theorems of Rabin, McNaughton and Safra. Theoretical Computer Science, 141:69\u2013107, 1995.","journal-title":"Theoretical Computer Science"},{"key":"33_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/BFb0055613","volume-title":"In Proc., CONCUR\u201998, 9th Int. Conf.","author":"P. Madhusudan","year":"1998","unstructured":"P. Madhusudan and P. S. Thiagarajan. Controllers for discrete event systems via morphisms. In In Proc., CONCUR\u201998, 9th Int. Conf., vol. 1466 of LNCS, pages. 18\u201333, France, September 1998."},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"G.L. Peterson and J.H. Reif. Multiple-person alternation. In Proc. 20th IEEE Symp. on FOCS, pages 348\u2013363, 1979.","DOI":"10.1109\/SFCS.1979.25"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symp. on Principles of Prog. Languages, Austin, January 1989.","DOI":"10.1145\/75277.75293"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In Proc. 31st IEEE Symp. FOCS, pages 746\u2013757, 1990.","DOI":"10.1109\/FSCS.1990.89597"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"M.O. Rabin. Automata on infinite objects and Church\u2019s problem. Amer. Mathematical Society, 1972.","DOI":"10.1090\/cbms\/013"},{"key":"33_CR15","first-page":"81","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"P.J.G. Ramadge and W.M. Wonham. The control of discrete event systems. IEEE Transactions on Control Theory, 77:81\u201398, 1989.","journal-title":"IEEE Transactions on Control Theory"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"S. Safra. On the complexity of \u03c9-automata. In Proc. 29th IEEE Symp. FOCS, pages 319\u2013327, White Plains, October 1988.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects. Handbook of Theoretical Computer Science, pages 165\u2013191, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"33_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"Proc. 12th Symp. on Theoretical Aspects of Comp. Sc.","author":"W. Thomas","year":"1995","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. In E.W. Mayr and C. Puech, editors, Proc. 12th Symp. on Theoretical Aspects of Comp. Sc., vol. 900 of LNCS, pages 1\u201313. Springer-Verlag, 1995."},{"key":"33_CR19","unstructured":"P. Madhusudan and P. S. Thiagarajan. Distributed Controller Synthesis for Local Specifications. Technical Report TCS-01-1, Chennai Mathematical Institute, India. Available at http:\/\/www.smi.ernet.in"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48224-5_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T23:49:11Z","timestamp":1737503351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48224-5_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422877","9783540482246"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48224-5_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}