Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools (Q2474069): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2007.09.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2142520160
@@ Property / OpenAlex ID: W2142520160 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324260
@@ Property / cites work: Q3324260 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806207
@@ Property / cites work: Q4806207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552459
@@ Property / cites work: Q4552459 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736573
@@ Property / cites work: Q4736573 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of polygonal hybrid systems. I: Reachability
+Normal rank
@@ Property / cites work @@
+A Survey of Viability Theory
@@ Property / cites work: A Survey of Viability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992669
@@ Property / cites work: Q3992669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067388
@@ Property / cites work: Q4067388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552479
@@ Property / cites work: Q4552479 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Qualitative theory of hybrid dynamical systems.
@@ Property / cites work: Qualitative theory of hybrid dynamical systems. / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4658726
@@ Property / cites work: Q4658726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953411
@@ Property / cites work: Q4953411 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736603
@@ Property / cites work: Q4736603 / rank @@
+Normal rank