update save starset for reachability analysis

yogeshVU · Sep 18, 2020 · ab54edd · ab54edd
1 parent 8c50028
commit ab54edd
Show file tree

Hide file tree

Showing 10 changed files with 18 additions and 4 deletions.
diff --git a/FFNN.py b/FFNN.py
@@ -162,7 +162,12 @@ def main():
 
     simObj = FFNN(eng)
     simObj.parseJson(str(jsonfile))
-    print(simObj.compute())
+    # print(simObj.compute())
+    result = simObj.compute()
+    print(result)
+    Strs = eng.getfield(result['reachability'], 'reachSet')
+    print(Strs)
+
     # if simObj.doReach():
     #     result = simObj.invokeReachibility()
 

diff --git a/input/ContinuousLinearNNCS/LinearNNCS_reach.m b/input/ContinuousLinearNNCS/LinearNNCS_reach.m
@@ -31,5 +31,6 @@
 
     disp(R)
     disp(reachTime)
+    save('starset.mat','R','-v7.3')
 
     end
diff --git a/input/ContinuousNonLinearNNCS/NonLinearNNCS_reach.m b/input/ContinuousNonLinearNNCS/NonLinearNNCS_reach.m
@@ -39,7 +39,8 @@
         reachPRM.ref_input = [];
     end
     [R,reachTime] = nncs.reach(reachPRM); % Execute reachability analysis
-
+    save('starset.mat','R','-v7.3')
+
     end
 
 
diff --git a/input/DiscreteLinearNNCS/DLinearNNCS_reach.m b/input/DiscreteLinearNNCS/DLinearNNCS_reach.m
@@ -28,6 +28,7 @@
     disp(reachTime)
     disp(R)
     disp('Finished reachability')
+    save('starset.mat','R','-v7.3')
 
     end
 
diff --git a/input/DiscreteNonLinearNNCS/DNonLinear_reach.m b/input/DiscreteNonLinearNNCS/DNonLinear_reach.m
@@ -37,6 +37,7 @@
     [R,reachTime] = nncs.reach(reachPRM); % Execute reachability analysis
 
     disp(R)
+    save('starset.mat','R','-v7.3')
 
     end
 

diff --git a/input/FFNN/FNN_template.m b/input/FFNN/FNN_template.m
@@ -71,7 +71,8 @@
     result.reachSet = S;
     result.t = t;
     disp(result.reachSet)
-
+    save('starset.mat','S','-v7.3')
+
 else
     error('Unknown procedure for the verification of feed-forward neural networks')
 end

diff --git a/templates/NNCS/DLinear/DLinearNNCS_reach.m b/templates/NNCS/DLinear/DLinearNNCS_reach.m
@@ -28,6 +28,7 @@
     disp(reachTime)
     disp(R)
     disp('Finished reachability')
+    save('starset.mat','R','-v7.3')
 
     end
 
diff --git a/templates/NNCS/DNonlinear/DNonLinear_reach.m b/templates/NNCS/DNonlinear/DNonLinear_reach.m
@@ -37,6 +37,7 @@
     [R,reachTime] = nncs.reach(reachPRM); % Execute reachability analysis
 
     disp(R)
+    save('starset.mat','R','-v7.3')
 
     end
 

diff --git a/templates/NNCS/Linear/LinearNNCS_reach.m b/templates/NNCS/Linear/LinearNNCS_reach.m
@@ -31,5 +31,6 @@
 
     disp(R)
     disp(reachTime)
+    save('starset.mat','R','-v7.3')
 
     end
diff --git a/templates/NNCS/Nonlinear/NonLinearNNCS_reach.m b/templates/NNCS/Nonlinear/NonLinearNNCS_reach.m
@@ -39,7 +39,8 @@
         reachPRM.ref_input = [];
     end
     [R,reachTime] = nncs.reach(reachPRM); % Execute reachability analysis
-
+    save('starset.mat','R','-v7.3')
+
     end
-Original file line number
+Diff line change
@@ Expand Up / @@ -31,5 +31,6 @@ @@
         disp(R)
         disp(reachTime)
+        save('starset.mat','R','-v7.3')
         end