The Stability of Saturated Linear Dynamical Systems Is Undecidable

Vincent D. Blondel, Olivier Bournez, Pascal Koiran, John N. Tsitsiklis

Type: Article

Publication Date: 2001-05-01

Citations: 52

DOI: https://doi.org/10.1006/jcss.2000.1737

View Publication

Locations

Journal of Computer and System Sciences - View
CiteSeer X (The Pennsylvania State University) - View - PDF

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Deciding stability and mortality of piecewise affine dynamical systems	1999	Vincent D. Blondel Olivier Bournez Pascal Koiran Christos Papadimitriou John N. Tsitsiklis
+	On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps	2024	Olga Tveretina
+	Partial stability of discontinuous dynamical systems	2003	A.N. Michel A. P. Molchanov Yuangong Sun
+	Discrete Linear Dynamical Systems	2013	Joël Ouaknine
+	A Study on Some Properties for Weak Stability of Non-Autonomous Discrete Dynamical Systems	2023	Kim Man Lim Zabidin Salleh
+	Introduction to Stability and Boundedness in Dynamical Systems	2020	Murat Adıvar Youssef N‎. ‎Raffoul‎
+	The Stability of Dynamical Systems	1976	J. P. La Salle
+	Non-autonomous dynamical systems and their applications	2022	David Cheban
+	Invariant sets of a class of discontinuous dynamical systems	1984	N. A. Perestyuk
+ PDF Chat	Stability of Dynamical Systems	2018	Nivaldo A. Lemos̀
+	Stability and attractivity in discrete dynamical systems	1995	Mario Martelli David Marshall
+	Dynamical Systems	2021	Giuseppe Orlando Giovanni Taglialatela
+	Examples and counterexamples for Markus-Yamabe and LaSalle global asymptotic stability problems	2011	Anna Cima Armengol Gasull Francesc Mañosas Capellades
+	Discrete dynamic systems	2002	Ronald Shone
+ PDF Chat	Stability of Dynamical Systems	2007	E. D. Courant
+	Stability of Dynamical Systems	2007	Xiaoxin Liao Liqiu Wang Pei Yu
+	Stability of Dynamical Systems	2015	A.N. Michel Ling Hou Derong Liu
+ PDF Chat	Qualitative and Computational Aspects of Dynamical Systems	2022
+	Controllability up to negligible trajectories of discrete multidimensional behaviours	2013	Martin Scheicher Ulrich Oberst
+	Dynamics of discrete systems	2017

Works That Cite This (26)

Action	Title	Year	Authors
+	Non-monotonic Lyapunov functions for stability of nonlinear and switched systems : theory and computation	2008	Amir Ali Ahmadi
+	On the presence of periodic configurations in Turing machines and in counter machines	2002	Vincent D. Blondel Julien Cassaigne Codrin Nichitiu
+ PDF Chat	Computability, noncomputability, and hyperbolic systems	2012	Daniel S. Graça Ning Zhong Jorge Buescu
+ PDF Chat	Reachability Problems for PAMs	2016	Oleksiy Kurganskyy Igor Potapov
+	Reachability Problems for One-Dimensional Piecewise Affine Maps	2018	Olivier Bournez Oleksiy Kurganskyy Igor Potapov
+	Deciding the point-to-fixed-point problem for skew tent maps on an interval	2020	Bart Kuijpers
+	Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis	2012	Amir Ali Ahmadi
+	Computability, Noncomputability, and Hyperbolic Systems	2011	Daniel S. Graça Ning Zhong Jorge Buescu
+ PDF Chat	Reachability in Injective Piecewise Affine Maps	2023	Faraz Ghahremani Edon Kelmendi Joël Ouaknine
+ PDF Chat	The topological entropy of iterated piecewise affine maps is uncomputable	2001	Pascal Koiran

Works Cited by This (5)

Action	Title	Year	Authors
+	Real algebraic geometry	2014	Jacek Bochnak Michel Coste Marie-Françoise Roy
+ PDF Chat	On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines	1989	Lenore Blum M. Shub Steve Smale
+ PDF Chat	Generalized shifts: unpredictability and undecidability in dynamical systems	1991	Cristopher Moore
+	Real Algebraic Geometry	1998	Frédéric Mangolte Jean-Philippe Rolin Kurdyka Krzysztof Saugata Basu Victoria Powers
+ PDF Chat	Deciding stability and mortality of piecewise affine dynamical systems	1999	Vincent D. Blondel Olivier Bournez Pascal Koiran Christos Papadimitriou John N. Tsitsiklis