finish LinearNNCS reachLive, and reach method

verivital · Nov 1, 2019 · cbe1e62 · cbe1e62
1 parent 9cda90d
commit cbe1e62
Show file tree

Hide file tree

Showing 5 changed files with 421 additions and 79 deletions.
diff --git a/code/nnv/engine/nncs/DLinearNNCS.m b/code/nnv/engine/nncs/DLinearNNCS.m
@@ -138,7 +138,7 @@ function start_pool(obj)
                     init_set1 = varargin{2};
                     ref_input1 = varargin{3};
                     numOfSteps = varargin{4};
-                    method1 = 'exact-star';
+                    method1 = 'approx-star';
                     numCores1 = 1;
 
                 case 5
@@ -261,7 +261,7 @@ function start_pool(obj)
                     init_set1 = varargin{2};
                     ref_input1 = varargin{3};
                     numOfSteps = varargin{4};
-                    method1 = 'exact-star';
+                    method1 = 'approx-star';
                     numCores1 = 1;
                     map_mat = zeros(1, obj.plant.dim);
                     map_mat(1) = 1; % default setting, plot the reachable set of the first state versus time steps