Safe \& robust reachability analysis of hybrid systems (Q1786614): Difference between revisions

@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / 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 @@
+Q3999603
@@ Property / cites work: Q3999603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3575369
@@ Property / cites work: Q3575369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417923
@@ Property / cites work: Q4417923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999065
@@ Property / cites work: Q3999065 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation Frameworks
@@ Property / cites work: Abstract Interpretation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+On Bicontinuous Bisimulation and the Preservation of Stability
+Normal rank
@@ Property / cites work @@
+Q2847419
@@ Property / cites work: Q2847419 / rank @@
+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 @@
+Dynamical systems, measures, and fractals via domain theory
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems
@@ Property / cites work: Hybrid dynamical systems / rank @@
+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 @@
+Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2--6, 2017
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953414
@@ Property / cites work: Q4953414 / rank @@
+Normal rank