Deciding stability and mortality of piecewise affine dynamical systems

This publication has 13 references indexed in Scilit:

• The Stability of Saturated Linear Dynamical Systems Is Undecidable
  Published by Springer Nature ,2000
• Complexity of stability and controllability of elementary hybrid systems
  Automatica, 1999
• On unsolvability of nonlinear system stability
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1997
• On the computational power of dynamical systems and hybrid systems
  Theoretical Computer Science, 1996
• A family of universal recurrent networks
  Theoretical Computer Science, 1996
• Reachability analysis of dynamical systems having piecewise-constant derivatives
  Theoretical Computer Science, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• What's decidable about hybrid automata?
  Published by Association for Computing Machinery (ACM) ,1995
• Computability with low-dimensional dynamical systems
  Theoretical Computer Science, 1994
• The undecidability of the Turing machine immortality problem
  The Journal of Symbolic Logic, 1966