Merge pull request #35 from trhoangdung/master

Finish LinearNNCS class with reachLive and reach
verivital · Nov 1, 2019 · ec5a93a · ec5a93a
2 parents d227c82 + 45b45be
commit ec5a93a
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