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

@@ Property / author @@
-Zhi Ming Zheng
@@ Property / author: Zhi Ming Zheng / rank @@
-Normal rank
@@ Property / author @@
+Zhi Ming Zheng
@@ Property / author: Zhi Ming Zheng / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Benchmarks
@@ Property / describes a project that uses: Benchmarks / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.nahs.2008.09.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2041656005
@@ Property / OpenAlex ID: W2041656005 / rank @@
+Normal rank
@@ 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