{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:25:27Z","timestamp":1755998727986,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":55,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456705","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On the decidability of reachability in continuous time linear time-invariant systems"],"prefix":"10.1145","author":[{"given":"Mohan","family":"Dantam","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Paris, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Paris, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.11.006"},{"volume-title":"Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)","author":"Basu Saugata","key":"e_1_3_2_1_4_1","unstructured":"Saugata Basu , Richard Pollack , and Marie-Fran\u00e7oise Roy . 2006. Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics) . Springer-Verlag , Berlin, Heidelberg . Saugata Basu, Richard Pollack, and Marie-Fran\u00e7oise Roy. 2006. Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics). Springer-Verlag, Berlin, Heidelberg."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.09.003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.06.005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00175-7"},{"key":"e_1_3_2_1_8_1","volume-title":"Tsitsiklis","author":"Blondel Vincent D.","year":"1999","unstructured":"Vincent D. Blondel and John N . Tsitsiklis . 1999 . Overview of complexity and decidability results for three classes of elementary nonlinear systems. In Learning, control and hybrid systems, Yutaka Yamamoto and Shinji Hara (Eds.). Springer London , London, 46--58. Vincent D. Blondel and John N. Tsitsiklis. 1999. Overview of complexity and decidability results for three classes of elementary nonlinear systems. In Learning, control and hybrid systems, Yutaka Yamamoto and Shinji Hara (Eds.). Springer London, London, 46--58."},{"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.1142\/S0129054118410046"},{"volume-title":"Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration","author":"Cattaruzza Dario","key":"e_1_3_2_1_11_1","unstructured":"Dario Cattaruzza , Alessandro Abate , Peter Schrammel , and Daniel Kroening . 2015. Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration . In Static Analysis, Sandrine Blazy and Thomas Jensen (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 312--331. Dario Cattaruzza, Alessandro Abate, Peter Schrammel, and Daniel Kroening. 2015. Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration. In Static Analysis, Sandrine Blazy and Thomas Jensen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 312--331."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.08.004"},{"key":"e_1_3_2_1_13_1","volume-title":"43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Leibniz International Proceedings in Informatics (LIPIcs)","volume":"13","author":"Chonev Ventsislav","year":"2016","unstructured":"Ventsislav Chonev , Jo\u00ebl Ouaknine , and James Worrell . 2016 . On the Skolem Problem for Continuous Linear Dynamical Systems. In 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Leibniz International Proceedings in Informatics (LIPIcs) , Vol. 55), Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 100:1--100: 13 . Ventsislav Chonev, Jo\u00ebl Ouaknine, and James Worrell. 2016. On the Skolem Problem for Continuous Linear Dynamical Systems. In 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 55), Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi (Eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 100:1--100:13."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207728008967004"},{"volume-title":"Verification and Synthesis of Hybrid Systems. Theses","author":"Thao Dang Thi Xuan","key":"e_1_3_2_1_15_1","unstructured":"Thi Xuan Thao Dang . 2000. Verification and Synthesis of Hybrid Systems. Theses . Institut National Polytechnique de Grenoble - INPG . Thi Xuan Thao Dang. 2000. Verification and Synthesis of Hybrid Systems. Theses. Institut National Polytechnique de Grenoble - INPG."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311796"},{"volume-title":"Automated Technology for Verification and Analysis","author":"Gan Ting","key":"e_1_3_2_1_17_1","unstructured":"Ting Gan , Mingshuai Chen , Liyun Dai , Bican Xia , and Naijun Zhan . 2015. Decidability of the Reachability for a Family of Linear Vector Fields . In Automated Technology for Verification and Analysis , Bernd Finkbeiner , Geguang Pu, and Lijun Zhang (Eds.). Springer International Publishing , Cham, 482--499. Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, and Naijun Zhan. 2015. Decidability of the Reachability for a Family of Linear Vector Fields. In Automated Technology for Verification and Analysis, Bernd Finkbeiner, Geguang Pu, and Lijun Zhang (Eds.). Springer International Publishing, Cham, 482--499."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810321"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.01514"},{"key":"e_1_3_2_1_20_1","volume-title":"Colas Le Guernic, and Oded Maler","author":"Girard Antoine","year":"2006","unstructured":"Antoine Girard , Colas Le Guernic, and Oded Maler . 2006 . Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In Hybrid Systems: Computation and Control, Jo\u00e3o P. Hespanha and Ashish Tiwari (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 257--271. Antoine Girard, Colas Le Guernic, and Oded Maler. 2006. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In Hybrid Systems: Computation and Control, Jo\u00e3o P. Hespanha and Ashish Tiwari (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 257--271."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00933917"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.007"},{"volume-title":"Logic and Theory of Algorithms, Arnold Beckmann, Costas Dimitracopoulos, and Benedikt L\u00f6we (Eds.)","author":"Hainry Emmanuel","key":"e_1_3_2_1_23_1","unstructured":"Emmanuel Hainry . 2008. Reachability in Linear Dynamical Systems . In Logic and Theory of Algorithms, Arnold Beckmann, Costas Dimitracopoulos, and Benedikt L\u00f6we (Eds.) . Springer Berlin Heidelberg , Berlin, Heidelberg , 241--250. Emmanuel Hainry. 2008. Reachability in Linear Dynamical Systems. In Logic and Theory of Algorithms, Arnold Beckmann, Costas Dimitracopoulos, and Benedikt L\u00f6we (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 241--250."},{"volume-title":"Control theory in the plane","author":"H\u00e1jek Otomar","key":"e_1_3_2_1_24_1","unstructured":"Otomar H\u00e1jek . 2009. Control theory in the plane . Vol. 153 . Springer Science & Business Media . Otomar H\u00e1jek. 2009. Control theory in the plane. Vol. 153. Springer Science & Business Media."},{"volume-title":"2008 47th IEEE Conference on Decision and Control. 3487--3492","author":"Heemels W. P. M. H.","key":"e_1_3_2_1_25_1","unstructured":"W. P. M. H. Heemels and M. K. Camlibel . 2008. Null controllability of discrete-time linear systems with input and state constraints . In 2008 47th IEEE Conference on Decision and Control. 3487--3492 . W. P. M. H. Heemels and M. K. Camlibel. 2008. Null controllability of discrete-time linear systems with input and state constraints. In 2008 47th IEEE Conference on Decision and Control. 3487--3492."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00176-7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00091-2"},{"volume-title":"Stabilization of Discrete-time Systems With Bounded Control Inputs. Master's thesis","author":"Jamak Anes","key":"e_1_3_2_1_28_1","unstructured":"Anes Jamak . 2000. Stabilization of Discrete-time Systems With Bounded Control Inputs. Master's thesis . University of Waterloo . Anes Jamak. 2000. Stabilization of Discrete-time Systems With Bounded Control Inputs. Master's thesis. University of Waterloo."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/0301010"},{"volume-title":"Proceedings of the 2010 American Control Conference (2010)","author":"Kaynama Shahab","key":"e_1_3_2_1_30_1","unstructured":"Shahab Kaynama and Meeko M. K. Oishi . 2010. Overapproximating the reachable sets of LTI systems through a similarity transformation . Proceedings of the 2010 American Control Conference (2010) , 1874--1879. Shahab Kaynama and Meeko M. K. Oishi. 2010. Overapproximating the reachable sets of LTI systems through a similarity transformation. Proceedings of the 2010 American Control Conference (2010), 1874--1879."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2802864.2802987"},{"volume-title":"Hybrid Systems: Computation and Control","author":"Kurganskyy Oleksiy","key":"e_1_3_2_1_32_1","unstructured":"Oleksiy Kurganskyy , Igor Potapov , and Fernando Sancho Caparrini . 2007. Computation in One-Dimensional Piecewise Maps . In Hybrid Systems: Computation and Control , Alberto Bemporad, Antonio Bicchi, and Giorgio Buttazzo (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 706--709. Oleksiy Kurganskyy, Igor Potapov, and Fernando Sancho Caparrini. 2007. Computation in One-Dimensional Piecewise Maps. In Hybrid Systems: Computation and Control, Alberto Bemporad, Antonio Bicchi, and Giorgio Buttazzo (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 706--709."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054108006054"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-02-06753-9"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)56362-4"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"e_1_3_2_1_37_1","unstructured":"Serge Lang. 1966. Introduction to Transcendental Number Theory.  Serge Lang. 1966. Introduction to Transcendental Number Theory."},{"key":"e_1_3_2_1_38_1","unstructured":"E. B. Lee and L. Markus. 1967. Foundations of optimal control theory. Wiley New York. x 576 p. pages.  E. B. Lee and L. Markus. 1967. Foundations of optimal control theory. Wiley New York. x 576 p. pages."},{"key":"e_1_3_2_1_39_1","volume-title":"Wilkie","author":"Macintyre Angus","year":"1996","unstructured":"Angus Macintyre and Alex J . Wilkie . 1996 . On the Decidability of the Real Exponential Field. In Kreiseliana. About and Around Georg Kreisel, Piergiorgio Odifreddi (Ed.). A K Peters , 441--467. Angus Macintyre and Alex J. Wilkie. 1996. On the Decidability of the Real Exponential Field. In Kreiseliana. About and Around Georg Kreisel, Piergiorgio Odifreddi (Ed.). A K Peters, 441--467."},{"key":"e_1_3_2_1_40_1","unstructured":"A. Macintyre and A. J. Wilkie. 1996. On the Decidability of the Real Exponential Field. In Kreiseliana. About and Around Georg Kreisel. A K Peters 441--467.  A. Macintyre and A. J. Wilkie. 1996. On the Decidability of the Real Exponential Field. In Kreiseliana. About and Around Georg Kreisel. A K Peters 441--467."},{"key":"e_1_3_2_1_41_1","unstructured":"Jack Macki and A Strauss. 1995. Introduction to Optimal Control Theory.  Jack Macki and A Strauss. 1995. Introduction to Optimal Control Theory."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1971-0279689-2"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2766189.2766191"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80003-3"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.2307\/2271358"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1137\/0318025"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(97)00104-7"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1013"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207178408933158"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00940520"},{"volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"Tarski Alfred","key":"e_1_3_2_1_51_1","unstructured":"Alfred Tarski . 1951. A Decision Method for Elementary Algebra and Geometry . University of California Press. Alfred Tarski. 1951. A Decision Method for Elementary Algebra and Geometry. University of California Press."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(71)80003-3"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207178608933514"},{"key":"e_1_3_2_1_55_1","volume-title":"On Controllable Abundance Of Saturated-input Linear Discrete Systems. ArXiv e-prints (May","author":"Zhao M.","year":"2017","unstructured":"M. Zhao . 2017. On Controllable Abundance Of Saturated-input Linear Discrete Systems. ArXiv e-prints (May 2017 ). M. Zhao. 2017. On Controllable Abundance Of Saturated-input Linear Discrete Systems. ArXiv e-prints (May 2017)."}],"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.3456705","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:24Z","timestamp":1750195704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":55,"alternative-id":["10.1145\/3447928.3456705","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456705","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"}}]}}