Tightened reachability constraints for the verification of linear hybrid systems (Q1026401): Difference between revisions

@@ Property / cites work @@
+Constraints for Continuous Reachability in the Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418865
@@ Property / cites work: Q4418865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552457
@@ Property / cites work: Q4552457 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Q4413057
@@ Property / cites work: Q4413057 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solving of quantified inequality constraints over the real numbers
+Normal rank
@@ Property / cites work @@
+Validated solutions of initial value problems for ordinary differential equations
+Normal rank