{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:51:21Z","timestamp":1787320281000,"version":"build-2736575974"},"reference-count":35,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Control Optim."],"published-print":{"date-parts":[[2009,1]]},"abstract":"<jats:p>Control under partial observations is studied within the infinite-string supervisory control framework. It is shown that, provided that there are no pure liveness assumptions embodied in the plant model (technically, the $\\omega$-language generated by the plant is the limit of the finite-string language generated), the problem of synthesizing a centralized supervisor reduces to the case of complete observations; the result involves constructions similar to those used to \u201cdeterminize\u201d nondeterministic automata on infinite strings.<\/jats:p>","DOI":"10.1137\/060673862","type":"journal-article","created":{"date-parts":[[2009,6,3]],"date-time":"2009-06-03T18:07:36Z","timestamp":1244052456000},"page":"1858-1887","source":"Crossref","is-referenced-by-count":18,"title":["Effective Control Synthesis for Partially Observed Discrete-Event Systems"],"prefix":"10.1137","volume":"48","author":[{"given":"J. G.","family":"Thistle","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H. M.","family":"Lamouchi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2009,6,3]]},"reference":[{"key":"R1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"S. Basu and R. Kumar,\n                      Quotient-based control synthesis for nondeterministic plants with mu-calculus specifications\n                      , in Proceedings of the 45th IEEE Conference on Decision and Control, IEEE Control Systems Society, Piscataway, NJ, 2006, pp. 6041\u20136046.","DOI":"10.1109\/CDC.2006.376737"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"S. Basu and R. Kumar,\n                      Quotient-based control synthesis for partially observed nondeterministic plants with mu-calculus specifications\n                      , in Proceedings of the 46th IEEE Conference on Decision and Control, IEEE Control Systems Society, Piscataway, NJ, 2007, pp. 5294\u20135299.","DOI":"10.1109\/CDC.2007.4434955"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"C. G. Cassandras and S. Lafortune,\n                      Introduction to Discrete Event Systems\n                      , Kluwer Academic Publishers, Boston, 1999.","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"R5","unstructured":"A. Church,\n                      Application of logic to the problem of circuit synthesis\n                      , in Summer Institute for Symbolic Logic, Cornell University, Ithaca, NY, 1957, pp. 3\u201350."},{"key":"R6","doi-asserted-by":"publisher","DOI":"10.1109\/9.402"},{"key":"R7","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1961-0139530-9"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and C. S. Jutla,\n                      The complexity of tree automata and logics of programs (extended abstract)\n                      , in Proceedings of the 29th IEEE Annual Symposium on Foundations of Computer Science, IEEE Computer Society, Washington, DC, 1988, pp. 328\u2013337.","DOI":"10.1109\/SFCS.1988.21949"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and C. S. Jutla,\n                      On simultaneously determinizing and complementing $\\omega$-automata (extended abstract)\n                      , in Proceedings of the IEEE Symposium on Logic in Computer Science, IEEE Computer Society, Washington, DC, 1989, pp. 333\u2013342.","DOI":"10.1109\/LICS.1989.39188"},{"key":"R10","doi-asserted-by":"publisher","DOI":"10.1109\/9.58555"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"B. Khoussainov and A. Nerode,\n                      Automata Theory and Its Applications\n                      , Progress in Computer Science and Applied Logic, Birkh\u00e4user Boston, Boston, 2001.","DOI":"10.1007\/978-1-4612-0171-7"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"O. Kupferman, P. Madhusudan, P. S. Thiagarajan, and M. Y. Vardi,\n                      Open systems in reactive environments: Control and synthesis\n                      , in Proceedings of the 11th International Conference on Concurrency Theory, Lecture Notes in Comput. Sci. 1877, Springer-Verlag, New York, 2000, pp. 92\u2013107.","DOI":"10.1007\/3-540-44618-4_9"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan,\n                      Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach\n                      . Princeton University Press, Princeton, NJ, 1994.","DOI":"10.1515\/9781400864041"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"M. H. Lamouchi and J. G. Thistle,\n                      Effective control synthesis for DES under partial observations\n                      , in Proceedings of the 39th IEEE Conference on Decision and Control, IEEE Control Systems Society, Piscataway, NJ, 2000, pp. 22\u201329.","DOI":"10.1109\/CDC.2000.912726"},{"key":"R15","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"A. Pnueli,\n                      Specification and verification of concurrent programs by $\\forall$-automata\n                      , in Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, ACM, New York, 1987, pp. 1\u201312.","DOI":"10.1145\/41625.41626"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner,\n                      On the synthesis of a reactive module\n                      , in Proceedings of the 16th Annual Symposium on Principles of Programming Languages, ACM, New York, 1989, pp. 179\u2013190.","DOI":"10.1145\/75277.75293"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner,\n                      On the synthesis of an asynchronous reactive module\n                      , in Automata, Languages and Programming, Proceedings of the 16th International Colloquium (Stresa, 1989), Lecture Notes in Comput. Sci. 372, Springer-Verlag, New York, 1989, pp. 652\u2013671.","DOI":"10.1007\/BFb0035790"},{"key":"R19","doi-asserted-by":"crossref","unstructured":"M. O. Rabin,\n                      Automata on Infinite Objects and Church's Problem\n                      , Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics 13, AMS, Providence, RI, 1972.","DOI":"10.1090\/cbms\/013"},{"key":"R20","first-page":"1","volume":"141","author":"Rabin M. O.","year":"1969","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"R21","unstructured":"P. J. Ramadge,\n                      Tractable supervisory control problems for discrete-event systems\n                      , in Analysis and Control of Nonlinear Systems, C. I. Byrnes, C. F. Martin, and R. E. Saeks, eds., North-Holland, Amsterdam, 1988, pp. 359\u2013368."},{"key":"R22","doi-asserted-by":"publisher","DOI":"10.1109\/9.8645"},{"key":"R23","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"R24","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"R25","doi-asserted-by":"crossref","unstructured":"S. Riedweg and S. Pinchinat,\n                      Quantified mu-calculus for control synthesis\n                      , in Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, 2003, pp. 642\u2013651.","DOI":"10.1007\/978-3-540-45138-9_58"},{"key":"R26","unstructured":"R. Rosner,\n                      Modular Synthesis of Reactive Systems\n                      , Ph.D. thesis, The Weizmann Institute of Science, Rehovot, Israel, 1991."},{"key":"R27","doi-asserted-by":"crossref","unstructured":"S. Safra.\n                      On the complexity of $\\omega$-automata\n                      , in Proceedings of the 29th Annual Symposium on Foundations of Computer Science, IEEE Computer Society, Washington, DC, 1988, pp. 319\u2013327.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"R28","unstructured":"J. G. Thistle,\n                      Control of Infinite Behaviour of Discrete-Event Systems\n                      , Ph.D. thesis, University of Toronto, Toronto, Canada, 1991; available as Systems Control Group Report 9012, Systems Control Group, Dept. of Electl. Engrg., University of Toronto, Toronto, Canada, 1991."},{"key":"R29","doi-asserted-by":"publisher","DOI":"10.1007\/BF01439153"},{"key":"R30","doi-asserted-by":"publisher","DOI":"10.1016\/0895-7177(96)00063-5"},{"key":"R31","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(97)00106-0"},{"key":"R32","unstructured":"J. G. Thistle and W. M. Wonham,\n                      On the synthesis of supervisors subject to $\\omega$-language specifications\n                      , in Proceedings of the 1988 Conference on Information Sciences and Systems, Princeton University, Princeton, NJ, 1988, pp. 440\u2013444."},{"key":"R33","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217536"},{"key":"R34","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012991217524"},{"key":"R35","doi-asserted-by":"crossref","unstructured":"W. Thomas,\n                      Automata on infinite objects\n                      , in Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, J. van  Leeuwen, ed., Elsevier, Amsterdam, MIT Press, Cambridge, MA, 1990, pp. 134\u2013191.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"}],"container-title":["SIAM Journal on Control and Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/060673862","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T12:55:45Z","timestamp":1787316945000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/060673862"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.1137\/060673862"],"URL":"https:\/\/doi.org\/10.1137\/060673862","relation":{},"ISSN":["0363-0129","1095-7138"],"issn-type":[{"value":"0363-0129","type":"print"},{"value":"1095-7138","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}