{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T22:43:00Z","timestamp":1784328180458,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"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":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311796","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"77-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["On the decidability of reachability in linear time-invariant systems"],"prefix":"10.1145","author":[{"given":"Nathana\u00ebl","family":"Fijalkow","sequence":"first","affiliation":[{"name":"CNRS, LaBRI, Bordeaux, France and Alan Turing Institute of Data Science, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jo\u00ebl","family":"Ouaknine","sequence":"additional","affiliation":[{"name":"Saarland Informatics Campus, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[{"name":"CNRS, IRIF, Universit\u00e9 Paris Diderot, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jo\u00e3o","family":"Sousa-Pinto","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Stabilization of discrete-time systems with bounded control inputs. Master's thesis","author":"Jamak A.","year":"2000","unstructured":"A. Jamak . Stabilization of discrete-time systems with bounded control inputs. Master's thesis , University of Waterloo , 2000 . URL: http:\/\/hdl.handle.net\/10012\/765. A. Jamak. Stabilization of discrete-time systems with bounded control inputs. Master's thesis, University of Waterloo, 2000. URL: http:\/\/hdl.handle.net\/10012\/765."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.08.013"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00175-7"},{"key":"e_1_3_2_1_5_1","first-page":"46","volume-title":"Overview of complexity and decidability results for three classes of elementary nonlinear systems","author":"Blondel V.","year":"1999","unstructured":"V. Blondel and J. Tsitsiklis . Overview of complexity and decidability results for three classes of elementary nonlinear systems . In Yutaka Yamamoto and Shinji Hara, editors, Learning, control and hybrid systems, pages 46 -- 58 , London, 1999 . Springer . V. Blondel and J. Tsitsiklis. Overview of complexity and decidability results for three classes of elementary nonlinear systems. In Yutaka Yamamoto and Shinji Hara, editors, Learning, control and hybrid systems, pages 46--58, London, 1999. Springer."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(00)00050-9"},{"key":"e_1_3_2_1_7_1","volume-title":"SUNY at Buffalo","author":"Cai Jin-Yi","year":"2000","unstructured":"Jin-Yi Cai . Computing Jordan normal forms exactly for commuting matrices in polynomial time. Technical report , SUNY at Buffalo , 2000 . Jin-Yi Cai. Computing Jordan normal forms exactly for commuting matrices in polynomial time. Technical report, SUNY at Buffalo, 2000."},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/978-3-662-48288-9_18","volume-title":"Static Analysis - 22nd International Symposium, SAS","author":"Cattaruzza D.","year":"2015","unstructured":"D. Cattaruzza , A. Abate , P. Schrammel , and D. Kroening . Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration . In Static Analysis - 22nd International Symposium, SAS , volume 9291 of Lecture Notes in Computer Science , pages 312 -- 331 . Springer , 2015 . D. Cattaruzza, A. Abate, P. Schrammel, and D. Kroening. Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration. In Static Analysis - 22nd International Symposium, SAS, volume 9291 of Lecture Notes in Computer Science, pages 312--331. Springer, 2015."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207728008967004"},{"key":"e_1_3_2_1_10_1","volume-title":"Jo\u00e4o Sousa Pinto, and James Worrell. On the decidability of reachability in linear time-invariant systems. CoRR, abs\/1802.06575","author":"Fijalkow Nathana\u00ebl","year":"2018","unstructured":"Nathana\u00ebl Fijalkow , Jo\u00ebl Ouaknine , Amaury Pouly , Jo\u00e4o Sousa Pinto, and James Worrell. On the decidability of reachability in linear time-invariant systems. CoRR, abs\/1802.06575 , 2018 . URL : http:\/\/arxiv.org\/abs\/1802.06575, arXiv:1802.06575. Nathana\u00ebl Fijalkow, Jo\u00ebl Ouaknine, Amaury Pouly, Jo\u00e4o Sousa Pinto, and James Worrell. On the decidability of reachability in linear time-invariant systems. CoRR, abs\/1802.06575, 2018. URL: http:\/\/arxiv.org\/abs\/1802.06575, arXiv:1802.06575."},{"key":"e_1_3_2_1_11_1","volume-title":"IFAC Proceedings Volumes, 41(2):8966 -- 8971, 2008. 17th IFAC World Congress.","author":"Girard A.","unstructured":"A. Girard and C. Le Guernic . Efficient reachability analysis for linear systems using support functions . IFAC Proceedings Volumes, 41(2):8966 -- 8971, 2008. 17th IFAC World Congress. A. Girard and C. Le Guernic. Efficient reachability analysis for linear systems using support functions. IFAC Proceedings Volumes, 41(2):8966 -- 8971, 2008. 17th IFAC World Congress."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00933917"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/578595"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739333"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00091-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(02)00176-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(97)00104-7"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/6490.6496"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5531392"},{"key":"e_1_3_2_1_22_1","volume-title":"April","author":"Kirat I.","year":"2015","unstructured":"I. Kirat and I. Kocyigit . On the Convex Hulls of Self-Affine Fractals. ArXiv e-prints , April 2015 . arXiv:1504.07396. I. Kirat and I. Kocyigit. On the Convex Hulls of Self-Affine Fractals. ArXiv e-prints, April 2015. arXiv:1504.07396."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2802864.2802987"},{"issue":"1","key":"e_1_3_2_1_24_1","first-page":"1","article-title":"O-minimal hybrid systems","volume":"13","author":"Lafferriere Gerardo","year":"2000","unstructured":"Gerardo Lafferriere , George J. Pappas , and Shankar Sastry . O-minimal hybrid systems . MCSS , 13 ( 1 ): 1 -- 21 , 2000 . Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. O-minimal hybrid systems. MCSS, 13(1):1--21, 2000.","journal-title":"MCSS"},{"key":"e_1_3_2_1_25_1","volume-title":"The distance between terms of an algebraic recurrence sequence. J. f\u00fcr die reine und angewandte Math., 349","author":"Mignotte M.","year":"1984","unstructured":"M. Mignotte , T. Shorey , and R. Tijdeman . The distance between terms of an algebraic recurrence sequence. J. f\u00fcr die reine und angewandte Math., 349 , 1984 . M. Mignotte, T. Shorey, and R. Tijdeman. The distance between terms of an algebraic recurrence sequence. J. f\u00fcr die reine und angewandte Math., 349, 1984."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2634074.2634101"},{"key":"e_1_3_2_1_27_1","volume-title":"Cornerstones of Undecidability","author":"Rozenberg G.","year":"1994","unstructured":"G. Rozenberg and A. Salomaa . Cornerstones of Undecidability . Prentice Hall , 1994 . G. Rozenberg and A. Salomaa. Cornerstones of Undecidability. Prentice Hall, 1994."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6264-0","volume-title":"Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science","author":"Salomaa A.","year":"1978","unstructured":"A. Salomaa and M. Soittola . Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science . Springer , 1978 . A. Salomaa and M. Soittola. Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science. Springer, 1978."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1137\/0318025"},{"key":"e_1_3_2_1_30_1","volume-title":"Third International Workshop, HSCC","volume":"1790","author":"Shakernia O.","year":"2000","unstructured":"O. Shakernia , S. Sastry , and G. J. Pappas . Decidable controller synthesis for classes of linear systems. In Hybrid Systems: Computation and Control , Third International Workshop, HSCC , volume 1790 of Lecture Notes in Computer Science, pages 407--420. Springer , 2000 . O. Shakernia, S. Sastry, and G. J. Pappas. Decidable controller synthesis for classes of linear systems. In Hybrid Systems: Computation and Control, Third International Workshop, HSCC, volume 1790 of Lecture Notes in Computer Science, pages 407--420. Springer, 2000."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1995.1013"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207178408933158"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00940520"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","DOI":"10.1090\/mbk\/059","volume-title":"Structure and randomness","author":"Tao T.","year":"2008","unstructured":"T. Tao . Structure and randomness : pages from year one of a mathematical blog. American Mathematical Society , 2008 . T. Tao. Structure and randomness: pages from year one of a mathematical blog. American Mathematical Society, 2008."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207178608933514"},{"key":"e_1_3_2_1_36_1","volume-title":"February","author":"Vass J.","year":"2015","unstructured":"J. Vass . On the Exact Convex Hull of IFS Fractals . ArXiv e-prints , February 2015 . arXiv:1502.03788. J. Vass. On the Exact Convex Hull of IFS Fractals. ArXiv e-prints, February 2015. arXiv:1502.03788."},{"key":"e_1_3_2_1_37_1","volume-title":"The problem of appearance of a zero in a linear recurrence sequence (in Russian). Mat. Zametki, 38(2)","author":"Vereshchagin N. K.","year":"1985","unstructured":"N. K. Vereshchagin . The problem of appearance of a zero in a linear recurrence sequence (in Russian). Mat. Zametki, 38(2) , 1985 . N. K. Vereshchagin. The problem of appearance of a zero in a linear recurrence sequence (in Russian). Mat. Zametki, 38(2), 1985."},{"key":"e_1_3_2_1_38_1","volume-title":"May","author":"Zhao M.","year":"2017","unstructured":"M. Zhao . On Controllable Abundance Of Saturated-input Linear Discrete Systems. ArXiv e-prints , May 2017 . arXiv:1705.08064. M. Zhao. On Controllable Abundance Of Saturated-input Linear Discrete Systems. ArXiv e-prints, May 2017. arXiv:1705.08064."}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311796","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:36Z","timestamp":1750206336000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":37,"alternative-id":["10.1145\/3302504.3311796","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311796","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}