The Stability of Saturated Linear Dynamical Systems Is Undecidable

Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis. The Stability of Saturated Linear Dynamical Systems Is Undecidable. In Horst Reichel, Sophie Tison, editors, STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings. Volume 1770 of Lecture Notes in Computer Science, pages 479-490, Springer, 2000. [doi]

@inproceedings{BlondelBKT00,
  title = {The Stability of Saturated Linear Dynamical Systems Is Undecidable},
  author = {Vincent D. Blondel and Olivier Bournez and Pascal Koiran and John N. Tsitsiklis},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1770/17700479.htm},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/BlondelBKT00},
  cites = {0},
  citedby = {0},
  pages = {479-490},
  booktitle = {STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings},
  editor = {Horst Reichel and Sophie Tison},
  volume = {1770},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67141-2},
}