Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097): Difference between revisions

@@ Property / Wikidata QID @@
+Q56338523
@@ Property / Wikidata QID: Q56338523 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-valued analysis
@@ Property / cites work: Set-valued analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5384983
@@ Property / cites work: Q5384983 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Continuity and computability of reachable sets
@@ Property / cites work: Continuity and computability of reachable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and Computability of the Evolution of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714448
@@ Property / cites work: Q5714448 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3224358
@@ Property / cites work: Q3224358 / rank @@
+Normal rank
@@ Property / cites work @@
+Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of nonlinear hybrid systems
@@ Property / cites work: Algorithmic analysis of nonlinear hybrid systems / 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 @@
+Q4953389
@@ Property / cites work: Q4953389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771497
@@ Property / cites work: Q2771497 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified constraints under perturbation
@@ Property / cites work: Quantified constraints under perturbation / rank @@
+Normal rank
@@ Property / cites work @@
+Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable
+Normal rank
@@ Property / cites work @@
+Some undecidable problems involving elementary functions of a real variable
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank