On the complexity of bounded time and precision reachability for piecewise affine systems (Q2636516): Difference between revisions

@@ Property / author @@
-Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
-Normal rank
@@ Property / author @@
+Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2529633050
@@ Property / OpenAlex ID: W2529633050 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05353
@@ Property / arXiv ID: 1601.05353 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Q4484488
@@ Property / cites work: Q4484488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552459
@@ Property / cites work: Q4552459 / rank @@
+Normal rank
@@ Property / cites work @@
+On The Complexity of Bounded Time Reachability for Piecewise Affine Systems
+Normal rank
@@ Property / cites work @@
+Reachability Problems for Hierarchical Piecewise Constant Derivative Systems
+Normal rank
@@ Property / cites work @@
+Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract)
+Normal rank
@@ Property / cites work @@
+The stability of saturated linear dynamical systems is undecidable
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing over the reals with addition and order
@@ Property / cites work: Computing over the reals with addition and order / rank @@
+Normal rank
@@ Property / cites work @@
+Computability with low-dimensional dynamical systems
+Normal rank
@@ Property / cites work @@
+Generalized shifts: unpredictability and undecidability in dynamical systems
+Normal rank
@@ Property / cites work @@
+On the computational power of neural nets
@@ Property / cites work: On the computational power of neural nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392273
@@ Property / cites work: Q3392273 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2636516