Allow process-level parallelization (default 4) to derive min & max b…

…ound in parallel.
dependable-ai · Dec 4, 2018 · 6fd2dca · 6fd2dca
1 parent 33dbd6d
commit 6fd2dca
Show file tree

Hide file tree

Showing 3 changed files with 243 additions and 207 deletions.
diff --git a/TargetVehicleProcessingNetwork_FormalVerification.ipynb b/TargetVehicleProcessingNetwork_FormalVerification.ipynb
@@ -1322,21 +1322,19 @@
       "bigM under abs(max bound): 1686.2971\n",
       "bigM under abs(min bound): 1980.218\n",
       "[Octagon abstraction] Processing layer 1\n",
-      "  (constraint shape x_{i} - x_{i+1}: 0,5,10,15,20,25,30,35,40,45,50,55,60,65,70,75,80,85,90,95,\n",
+      "  (constraint shape x_{i} - x_{i+1}: \n",
       "  (constraint shape x_{i} + x_{i+1}: 0,5,10,15,20,25,30,35,40,45,50,55,60,65,70,75,80,85,90,95,\n",
-      "  (constraint shape x_{i} - x_{i+(N/2)}: 0,5,10,15,20,25,30,35,40,45,\n",
+      "  (constraint shape x_{i} - x_{i+(N/2)}: \n",
       "  (constraint shape x_{i} + x_{i+(N/2)}: 0,5,10,15,20,25,30,35,40,45,\n",
       "Layer 1: completed\n",
       "\n",
       "[Octagon abstraction] Processing layer 2\n",
-      "  (constraint shape x_{i} - x_{i+1}: 0,5,10,15,20,25,30,35,40,45,\n",
+      "  (constraint shape x_{i} - x_{i+1}: \n",
       "  (constraint shape x_{i} + x_{i+1}: 0,5,10,15,20,25,30,35,40,45,\n",
-      "  (constraint shape x_{i} - x_{i+(N/2)}: 0,5,10,15,20,\n",
+      "  (constraint shape x_{i} - x_{i+(N/2)}: \n",
       "  (constraint shape x_{i} + x_{i+(N/2)}: 0,5,10,15,20,\n",
       "Layer 2: completed\n",
       "\n",
-      "[Octagon abstraction] Processing layer 3\n",
-      "Layer 3: completed\n",
       "\n",
       "[Octagon abstraction] Processing layer 3\n",
       "3  0\n",

diff --git a/img/VerificationStrategy.png b/img/VerificationStrategy.png