Reachability analysis of rational eigenvalue linear systems (Q3072442): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207720903480691
+Normal rank
@@ Property / OpenAlex ID @@
+W2028881181
@@ Property / OpenAlex ID: W2028881181 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding polynomial-exponential problems
@@ Property / cites work: Deciding polynomial-exponential problems / rank @@
+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 @@
+Reachability analysis of dynamical systems having piecewise-constant derivatives
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+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 @@
+A dwell time approach to the stability of switched linear systems based on the distance between eigenvector sets
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Reachability Analysis of Discrete-Time Systems With Disturbances
+Normal rank
@@ Property / cites work @@
+Optimal technique for estimating the reachable set of a controlled<i>n</i>-dimensional linear system
+Normal rank
@@ Property / cites work @@
+Further results on stability and stabilisation of linear systems with state and input delays
+Normal rank