On the complexity of bounded time and precision reachability for piecewise affine systems

Reachability for piecewise affine systems is known to be undecidable, starting from dimension 2. In this paper we investigate the exact complexity of several decidable variants of reachability and control questions for piecewise affine systems. We show in particular that the region-to-region bounded time versions leads to NP-complete or co-NP-complete problems, starting from dimension 2. We also prove that a bounded precision version leads to PSPACE-complete problems.

[1]  Amir M. Ben-Amram.  Mortality of iterated piecewise affine functions over the integers: Decidability and complexity , 2015, Comput..

[2]  Michael Sipser,et al.  Introduction to the Theory of Computation , 1996, SIGA.

[3]  Cristopher Moore,et al.  Generalized shifts: unpredictability and undecidability in dynamical systems , 1991 .

[4]  Pascal Koiran.  Computing over the Reals with Addition and Order , 1994, Theor. Comput. Sci..

[5]  Michel Cosnard,et al.  Computability with Low-Dimensional Dynamical Systems , 1994, Theor. Comput. Sci..

[6]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[7]  Eugene Asarin,et al.  Widening the Boundary between Decidable and Undecidable Hybrid Systems , 2002, CONCUR.

[8]  Sergio Yovine,et al.  On the Decidability of the Reachability Problem for Planar Differential Inclusions , 2001, HSCC.

[9]  Amir Pnueli,et al.  Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..

[10]  Hava T. Siegelmann,et al.  On the Computational Power of Neural Nets , 1995, J. Comput. Syst. Sci..

[11]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[12]  Shang Chen,et al.  Reachability Problems for Hierarchical Piecewise Constant Derivative Systems , 2013, RP.

[13]  Walid Gomaa,et al.  On The Complexity of Bounded Time Reachability for Piecewise Affine Systems , 2014, RP.

[14]  John N. Tsitsiklis,et al.  The Stability of Saturated Linear Dynamical Systems Is Undecidable , 2001, J. Comput. Syst. Sci..