{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:35Z","timestamp":1750220555209,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["610150"],"award-info":[{"award-number":["610150"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660 TRR 248?CPEC"],"award-info":[{"award-number":["389792660 TRR 248?CPEC"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456634","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The computability of LQR and LQG control"],"prefix":"10.1145","author":[{"given":"Rupak","family":"Majumdar","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Newcastle University, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"ICALP 2020","volume":"168","author":"Almagor Shaull","year":"2020","unstructured":"Shaull Almagor , Edon Kelmendi , Jo\u00ebl Ouaknine , and James Worrell . Invariants for continuous linear dynamical systems . In ICALP 2020 , volume 168 of LIPIcs, pages 107: 1 -- 107 :15. Leibniz-Zentrum f\u00fcr Informatik , 2020 . Shaull Almagor, Edon Kelmendi, Jo\u00ebl Ouaknine, and James Worrell. Invariants for continuous linear dynamical systems. In ICALP 2020, volume 168 of LIPIcs, pages 107:1--107:15. Leibniz-Zentrum f\u00fcr Informatik, 2020."},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019","volume":"126","author":"Almagor Shaull","year":"2019","unstructured":"Shaull Almagor , Jo\u00ebl Ouaknine , and James Worrell . The semialgebraic orbit problem . In 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019 , March 13 --16 , 2019 , Berlin, Germany, volume 126 of LIPIcs, pages 6: 1 -- 6 :15. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2019. Shaull Almagor, Jo\u00ebl Ouaknine, and James Worrell. The semialgebraic orbit problem. In 36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, March 13--16, 2019, Berlin, Germany, volume 126 of LIPIcs, pages 6:1--6:15. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2019."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/343369.343402"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33099-2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.06.005"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/517430"},{"key":"e_1_3_2_1_7_1","volume-title":"Blondel and Alexandre Megretski. Unsolved Problems in Mathematical Systems and Control Theory","author":"Vincent","year":"2004","unstructured":"Vincent D. Blondel and Alexandre Megretski. Unsolved Problems in Mathematical Systems and Control Theory . Princeton University Press , 2004 . Vincent D. Blondel and Alexandre Megretski. Unsolved Problems in Mathematical Systems and Control Theory. Princeton University Press, 2004."},{"key":"e_1_3_2_1_8_1","volume-title":"Open Problems in Mathematical Systems and Control Theory. Communications and control engineering","author":"Blondel Vincent D.","year":"1999","unstructured":"Vincent D. Blondel , Eduardo D. Sontag , Mathukumalli Vidyasagar , and Jan C. Willems . Open Problems in Mathematical Systems and Control Theory. Communications and control engineering . Springer , 1999 . Vincent D. Blondel, Eduardo D. Sontag, Mathukumalli Vidyasagar, and Jan C. Willems. Open Problems in Mathematical Systems and Control Theory. Communications and control engineering. Springer, 1999."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(00)00050-9"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1976-0396605-3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/321941.321944"},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"ICALP 2016","volume":"55","author":"Chonev Ventsislav","year":"2016","unstructured":"Ventsislav Chonev , Jo\u00ebl Ouaknine , and James Worrell . On the Skolem problem for continuous linear dynamical systems . In ICALP 2016 , volume 55 of LIPIcs, pages 100: 1 -- 100 :13. Leibniz-Zentrum f\u00fcr Informatik , 2016 . Ventsislav Chonev, Jo\u00ebl Ouaknine, and James Worrell. On the Skolem problem for continuous linear dynamical systems. In ICALP 2016, volume 55 of LIPIcs, pages 100:1--100:13. Leibniz-Zentrum f\u00fcr Informatik, 2016."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02945-9"},{"key":"e_1_3_2_1_14_1","volume-title":"Linear Estimation and Stochastic Control","author":"Davis Mark H.A.","year":"1977","unstructured":"Mark H.A. Davis . Linear Estimation and Stochastic Control . Chapman and Hall , 1977 . Mark H.A. Davis. Linear Estimation and Stochastic Control. Chapman and Hall, 1977."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311796"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of MTNS-2002","author":"Hinrichsen Diederich","year":"2002","unstructured":"Diederich Hinrichsen , Elmar Plischke , and Fabian Wirth . State feedback stabilization with guaranteed transient bounds . Proceedings of MTNS-2002 , Notre Dame, IN, USA , 2002 . Diederich Hinrichsen, Elmar Plischke, and Fabian Wirth. State feedback stabilization with guaranteed transient bounds. Proceedings of MTNS-2002, Notre Dame, IN, USA, 2002."},{"key":"e_1_3_2_1_17_1","first-page":"102","article-title":"Contributions to the theory of optimal control","volume":"5","author":"Kalman Rudolph E.","year":"1960","unstructured":"Rudolph E. Kalman . Contributions to the theory of optimal control . Boletin de la Sociedad Matematica Mexicana , 5 : 102 -- 119 , 1960 . Rudolph E. Kalman. Contributions to the theory of optimal control. Boletin de la Sociedad Matematica Mexicana, 5:102--119, 1960.","journal-title":"Boletin de la Sociedad Matematica Mexicana"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579150"},{"key":"e_1_3_2_1_20_1","volume-title":"A polynomial algorithm in linear programming. Doklady Akademii Nauk SSSR (English translation: Soviet. Math Dokl. 20:  191\u00e2\u0102\u015e194), 244:1093--1096","author":"Khachiyan Leonid G.","year":"1979","unstructured":"Leonid G. Khachiyan . A polynomial algorithm in linear programming. Doklady Akademii Nauk SSSR (English translation: Soviet. Math Dokl. 20: 191\u00e2\u0102\u015e194), 244:1093--1096 , 1979 . Leonid G. Khachiyan. A polynomial algorithm in linear programming. Doklady Akademii Nauk SSSR (English translation: Soviet. Math Dokl. 20: 191\u00e2\u0102\u015e194), 244:1093--1096, 1979."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2015.10.003"},{"key":"e_1_3_2_1_22_1","first-page":"441","volume-title":"Kreiseliana. About and Around Georg Kreisel","author":"Macintyre Angus","year":"1996","unstructured":"Angus Macintyre and Alex J. Wilkie . On the decidability of the real exponential field. In Piergiorgio Odifreddi, editor , Kreiseliana. About and Around Georg Kreisel , pages 441 -- 467 . A K Peters , 1996 . Angus Macintyre and Alex J. Wilkie. On the decidability of the real exponential field. In Piergiorgio Odifreddi, editor, Kreiseliana. About and Around Georg Kreisel, pages 441--467. A K Peters, 1996."},{"key":"e_1_3_2_1_23_1","first-page":"1","volume-title":"ICALP 2020","volume":"168","author":"Majumdar Rupak","year":"2020","unstructured":"Rupak Majumdar , Mahmoud Salamati , and Sadegh Soudjani . On decidability of time-bounded reachability in CTMDPs . In ICALP 2020 , volume 168 of LIPIcs, pages 133: 1 -- 133 :19. Leibniz-Zentrum f\u00fcr Informatik , 2020 . Rupak Majumdar, Mahmoud Salamati, and Sadegh Soudjani. On decidability of time-bounded reachability in CTMDPs. In ICALP 2020, volume 168 of LIPIcs, pages 133:1--133:19. Leibniz-Zentrum f\u00fcr Informatik, 2020."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"M. Ram Murty and Purusottam Rath. Transcendental Numbers. Springer 2014.  M. Ram Murty and Purusottam Rath. Transcendental Numbers. Springer 2014.","DOI":"10.1007\/978-1-4939-0832-5"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jnth.1998.2356"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0577-7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(90)90100-C"}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Nashville Tennessee","acronym":"HSCC '21"},"container-title":["Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:23Z","timestamp":1750195703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":27,"alternative-id":["10.1145\/3447928.3456634","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456634","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}