Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo Low dimensional hybrid systems – decidable, undecidable, don’t know. (English) Zbl 1279.68127 Inf. Comput. 211, 138-159 (2012). MSC: 68Q45 68Q05 37B99 68Q85 PDFBibTeX XMLCite \textit{E. Asarin} et al., Inf. Comput. 211, 138--159 (2012; Zbl 1279.68127) Full Text: DOI
Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio Algorithmic analysis of polygonal hybrid systems. I: Reachability. (English) Zbl 1121.68071 Theor. Comput. Sci. 379, No. 1-2, 231-265 (2007). MSC: 68Q60 34A60 93B03 93C30 PDFBibTeX XMLCite \textit{E. Asarin} et al., Theor. Comput. Sci. 379, No. 1--2, 231--265 (2007; Zbl 1121.68071) Full Text: DOI
Barrett, Christopher L.; Hunt, Harry B. III; Marathe, Madhav V.; Ravi, S. S.; Rosenkrantz, Daniel J.; Stearns, Richard E. Complexity of reachability problems for finite discrete dynamical systems. (English) Zbl 1119.68095 J. Comput. Syst. Sci. 72, No. 8, 1317-1345 (2006). MSC: 68Q25 37B15 68Q17 68Q80 PDFBibTeX XMLCite \textit{C. L. Barrett} et al., J. Comput. Syst. Sci. 72, No. 8, 1317--1345 (2006; Zbl 1119.68095) Full Text: DOI
Barrett, Chris; Hunt, Harry B. III; Marathe, Madhav V.; Ravi, S. S.; Rosenkrantz, Daniel J.; Stearns, Richard E. Reachability problems for sequential dynamical systems with threshold functions. (English) Zbl 1045.68062 Theor. Comput. Sci. 295, No. 1-3, 41-64 (2003). MSC: 68Q10 68Q17 68Q80 PDFBibTeX XMLCite \textit{C. Barrett} et al., Theor. Comput. Sci. 295, No. 1--3, 41--64 (2003; Zbl 1045.68062) Full Text: DOI
Bournez, Olivier Achilles and the tortoise climbing up the hyper-arithmetical hierarchy. (English) Zbl 0912.68032 Theor. Comput. Sci. 210, No. 1, 21-71 (1999). MSC: 68Q05 03D55 PDFBibTeX XMLCite \textit{O. Bournez}, Theor. Comput. Sci. 210, No. 1, 21--71 (1999; Zbl 0912.68032) Full Text: DOI
Siegelmann, Hava T.; Fishman, Shmuel Analog computation with dynamical systems. (English) Zbl 0954.37038 Physica D 120, No. 1-2, 214-235 (1998). MSC: 37M99 68Q15 65P99 PDFBibTeX XMLCite \textit{H. T. Siegelmann} and \textit{S. Fishman}, Physica D 120, No. 1--2, 214--235 (1998; Zbl 0954.37038) Full Text: DOI
Bournez, Olivier Some bounds on the computational power of piecewise constant derivative systems. (English) Zbl 1401.68076 Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 143-153 (1997). MSC: 68Q05 03D55 68Q15 PDFBibTeX XMLCite \textit{O. Bournez}, Lect. Notes Comput. Sci. 1256, 143--153 (1997; Zbl 1401.68076) Full Text: DOI
Bournez, Olivier; Cosnard, Michel On the computational power of dynamical systems and hybrid systems. (English) Zbl 0874.68303 Theor. Comput. Sci. 168, No. 2, 417-459 (1996). MSC: 68U20 PDFBibTeX XMLCite \textit{O. Bournez} and \textit{M. Cosnard}, Theor. Comput. Sci. 168, No. 2, 417--459 (1996; Zbl 0874.68303) Full Text: DOI
Asarin, Eugene; Maler, Oded; Pnueli, Amir Reachability analysis of dynamical systems having piecewise-constant derivatives. (English) Zbl 0884.68050 Theor. Comput. Sci. 138, No. 1, 35-65 (1995). MSC: 68Q10 93B05 PDFBibTeX XMLCite \textit{E. Asarin} et al., Theor. Comput. Sci. 138, No. 1, 35--65 (1995; Zbl 0884.68050) Full Text: DOI