On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2016.09.003
@@ Property / DOI: 10.1016/j.tcs.2016.09.003 / rank @@
-Normal rank
@@ Property / cites work @@
+A survey of computational complexity results in systems and control
+Normal rank
@@ Property / cites work @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of polygonal hybrid systems. I: Reachability
+Normal rank
@@ Property / cites work @@
+When is a pair of matrices mortal?
@@ Property / cites work: When is a pair of matrices mortal? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953389
@@ Property / cites work: Q4953389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484488
@@ Property / cites work: Q4484488 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability with low-dimensional dynamical systems
+Normal rank
@@ Property / cites work @@
+Deciding stability and mortality of piecewise affine dynamical systems
+Normal rank
@@ Property / cites work @@
+Low dimensional hybrid systems -- decidable, undecidable, don't know
+Normal rank
@@ Property / cites work @@
+Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract)
+Normal rank
@@ Property / cites work @@
+REACHABILITY PROBLEMS IN LOW-DIMENSIONAL ITERATIVE MAPS
+Normal rank
@@ Property / cites work @@
+Hybrid Systems Forming Strange Billiards
@@ Property / cites work: Hybrid Systems Forming Strange Billiards / rank @@
+Normal rank
@@ Property / cites work @@
+The mortality problem for matrices of low dimensions
+Normal rank
@@ Property / cites work @@
+MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
@@ Property / cites work: MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM / rank @@
+Normal rank
@@ Property / cites work @@
+UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability Problems for Hierarchical Piecewise Constant Derivative Systems
+Normal rank
@@ Property / cites work @@
+Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Two-Clock Timed Automata Is PSPACE-Complete
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2016.09.003
@@ Property / DOI: 10.1016/J.TCS.2016.09.003 / rank @@
+Normal rank