%% Instances of of the navigation benchmarks, as described in: %% A. Fehnker and F. Ivancic, Benchmarks for Hybrid System Verification, 2004. %% %% The intitial state it determined by variables x0 and v0. The map is to be %% found in gridmap, the matrix A in variable matA. %% %% A inconsitency for NAV01 was reported by Goran Frese. This file has the %% corrected values for NAV01 to NAV03. If there are any other inconsitencies %% between the values used in the simulink models and this file, then the %% values in this file have precedence. %% NAV01 %% MAP=[B 2 4; 2 3 4; 2 2 A] (old) MAP=[B 2 4; 4 3 4; 2 2 A] MatA = [ -1.2 0.1;0.1 -1.2] x0 in [2,3]x[1,2] v0 in [-0.3,0.3]x[-0.3,0] %% NAV02 %% MAP=[B 2 4; 2 3 4; 2 2 A] (old) MAP=[B 2 4; 4 3 4; 2 2 A] MatA = [ -1.2 0.1;0.1 -1.2] x0 in [2,3]x[1,2] v0 in [-0.3,0.3]x[-0.3,0.3] %% NAV03 %% MAP=[B 2 4; 2 3 4; 2 2 A] (old) MAP=[B 2 4; 4 3 4; 2 2 A] MatA = [ -1.2 0.1;0.1 -1.2] x0 in [2,3]x[1,2] v0 in [-0.4,0.4]x[-0.4,0.4] %% NAV04 MAP=[B 2 4; 2 2 4; 1 1 A] MatA = [ -1.2 0.1;0.1 -1.2] x0 in [0,1]x[0,1] v0 in [0.1,0.5]x[0.05,0.25] %% NAV05 MAP=[B 2 4; 1 2 4; 1 1 A] MatA = [ -1.2 0.1;0.1 -1.2] x0 in [0,1]x[0,1] v0 in [0.3,0.5]x[0.05,0.25] %% NAV06 MAP=[B 2 4; 3 0 4; 2 1 A] MatA = [ -1.2 0.1;0.1 -1.2] x0 in [0,1]x[0,1] v0 in [0.3,0.5]x[0.05,0.25] %% NAV07 MAP=[0 2 3 4;B 2 3 4;4 3 4 4;2 A 6 6] MatA = [-0.8 -0.2;0.2 -0.8] x0 in [2,3]x[3,4] v0 in [0.1,0.5]x[-0.5,-0.1] %% NAV08 MAP=[4 6 3 4;B 6 3 4;0 7 4 4;2 A 6 6] MatA = [-0.8 -0.2;0.2 -0.8] x0 in [2,3]x[3,4] v0 in [0.1,0.5]x[-0.5,-0.1] %% NAV09 MAP=[4 6 4 4;B 6 4 4;0 7 5 5;2 A 6 6] MatA = [-1.8 -0.2;-0.2 -1.8] x0 in [2.5,3.5]x[3,4] v0 in [-0.1,0.1]x[-0.5,-0.1] %% NAV10 MAP=[2 4 6 6 6;2 4 7 7 4;2 4 B 3 4;2 4 6 6 6;2 A 0 0 0] MatA = [-0.8 -0.1;-0.2 -0.8] x0 in [3.5,4]x[3.5,4] v0 in [-0.5,0.5]x[-0.5,-0] %% NAV11 MAP=[2 4 6 6 6;2 4 7 7 4;2 4 B 3 4;2 4 6 6 6;2 A 0 0 0] MatA = [-0.8 -0.1;-0.2 -0.8] x0 in [3.5,4]x[3.5,4] v0 in [-1,0.5]x[-1,0.5] %% NAV12 MAP=[2 4 6 6 6;2 4 7 7 4;2 4 B 3 4;2 4 6 6 6;2 A 0 0 0] MatA = [-0.8 -0.1;-0.2 -0.8] x0 in [3,3.5]x[3,3.5] v0 in [0.5,0.5]x[-0.5,0.5] %% NAV13 MAP=[4 4 4 4 4 4 4;2 4 4 6 6 6 6;2 4 A 6 6 6 6;2 4 B 1 7 7 0;2 4 2 1 7 7 0;2 2 2 1 1 0 0] MatA = [-1.2 0.2;0.1 -1.2] x0 in [4.5,5.5]x[1.5,2.5] v0 in [0.5,0.5]x[-0.5,0.5] %% NAV14 MAP=[4 4 4 4 4 4 4;2 4 4 6 6 6 6;2 4 A 7 7 7 6;2 4 B 1 7 7 0;2 4 2 1 7 7 0;2 2 2 1 1 0 0] MatA = [-1.2 0.2;0.1 -1.2] x0 in [4.5,5.5]x[1.5,2.5] v0 in [0.5,0.5]x[-0.5,0.5] %% NAV15 MAP=[4 4 4 4 4 4 4;2 4 5 6 6 6 6;2 4 A 7 7 7 6;2 4 B 1 7 7 0;2 4 2 1 7 7 0;2 2 2 1 1 0 0] MatA = [-1.2 0.2;0.1 -1.2] x0 in [4.5,5.5]x[1.5,2.5] v0 in [0.5,0.5]x[-0.5,0.5] %% NAV16 MAP=[2 2 2 2 3 4 4 4 4;1 1 3 2 3 4 4 B 4;1 1 3 2 3 2 3 4 5;1 1 3 2 3 2 3 4 5;1 1 3 2 3 2 3 4 5;1 1 3 2 3 2 3 4 6;1 1 1 2 2 2 2 A 6;1 1 1 1 1 1 1 0 0;1 1 1 1 1 1 1 0 0] MatA = [-0.2 -0.2;0 -0.7] x0 in [0.5,1.5]x[0.5,1.5] v0 in [0,0.5]x[0,0.5] %% NAV17 MAP=[0 1 2 3 4 5 0 0 0;0 1 2 3 4 5 6 -2 2;0 1 2 3 4 5 4 4 4;3 3 3 3 3 3 3 4 5;2 2 2 2 2 2 3 4 5;0 0 3 3 3 2 3 4 6;0 0 3 3 3 3 3 A 6;1 1 2 2 3 3 3 0 0;1 1 2 2 2 2 2 0 0] MatA = [-1.5 -0.2;-0.5 -1.2] x0 in [0.5,1.5]x[0.5,1.5] v0 in [0,0.5]x[0,0.5] %% NAV18 MAP=[2 2 2 2 3 4 4 1 1;0 0 1 2 3 4 4 B 1;0 0 1 2 3 2 4 4 4;0 0 1 2 3 2 3 4 5;0 0 1 2 3 2 3 4 5;0 0 1 2 3 2 3 4 6;0 0 1 1 1 1 1 A 6;1 1 2 2 2 2 2 0 0;1 1 2 2 2 2 2 0 0] MatA = [-1.2 -0.2;0.5 -0.7] x0 in [0.5,1.5]x[0.5,1.5] v0 in [0,0.5]x[0,0.5] %% NAV19 MAP=[3 3 3 3 4 4 4 4 5 5 5 5 3 3 2 0 1 7 3 4 5 3 4 5 3 7 6 1 7 1 2 A 6 6 7 5 6 6 7 6 0 1 3 0 0 7 7 5 6 7 6 5 B 2 3 1 0 7 7 6 6 3 4 5 4 3 4 2 1 0 0 6 4 5 4 4 5 3 2 1 1 1 0 6 2 3 3 4 4 5 3 3 4 1 0 6 1 2 4 3 4 6 7 1 2 1 0 7 1 2 2 3 3 3 3 3 3 1 0 7 1 1 2 2 2 2 2 2 2 0 0 7 1 1 1 1 0 0 0 0 0 0 7 7] MatA = [-1 -0.7;1 -1.8] x0 in [0,1]x[0,1] v0 in [0,0.5]x[0,0.5] %% NAV20 MAP=[3 3 3 3 4 4 4 4 5 5 5 5 3 3 2 0 1 7 6 4 5 3 4 5 3 7 6 4 5 3 2 A 6 6 7 5 3 6 7 6 0 2 3 0 0 7 7 5 2 2 3 5 B 6 7 1 0 0 7 6 2 3 2 0 1 7 6 4 5 0 0 6 2 7 6 4 5 3 2 0 1 1 0 6 2 6 7 1 4 5 3 5 4 1 0 6 1 2 4 3 4 6 7 1 0 1 0 7 1 3 2 3 4 0 2 4 3 1 0 7 1 1 2 2 2 2 2 2 2 0 0 7 1 1 1 1 0 0 0 0 7 7 7 7] MatA = [-1.5 -0.6;0.3 -0.7] x0 in [0,1]x[0,1] v0 in [0,0.5]x[0,0.5] %% NAV21 MAP=[3 3 3 3 4 4 4 4 5 5 5 5 3 3 2 0 1 7 6 4 5 3 4 5 3 7 6 4 5 3 2 A 6 6 7 5 3 6 7 6 0 2 3 0 0 7 7 5 2 2 3 5 B 6 7 1 0 0 7 6 2 3 2 0 1 7 6 4 5 0 0 6 2 7 6 4 5 3 2 0 1 1 0 6 2 6 7 1 4 5 3 5 4 1 0 6 1 2 4 3 4 6 7 1 0 1 0 7 1 3 2 3 1 0 2 4 3 1 0 7 1 1 2 2 2 2 2 2 2 0 0 7 1 1 1 1 0 0 0 0 7 7 7 7] MatA = [-1.5 -0.6;0.3 -0.7] x0 in [0,1]x[0,1] v0 in [0,0.5]x[0,0.5] %% NAV22 MAP=[1 2 3 2 3 3 3 3 3 3 3 3 3 4 5 0 7 5 3 1 2 2 2 2 2 2 2 3 4 5 1 0 6 1 1 0 1 1 1 1 1 1 3 4 5 0 7 5 2 1 0 7 0 1 4 0 7 3 4 5 7 6 7 1 1 0 7 7 1 5 7 6 3 4 5 1 2 3 1 1 0 7 7 0 3 1 2 3 4 5 0 7 5 0 1 0 0 6 3 4 0 7 3 4 5 1 0 6 0 1 0 0 6 4 5 1 0 3 4 5 0 7 5 0 1 0 7 5 3 4 0 7 3 4 5 7 6 7 1 7 0 6 7 6 5 7 6 3 4 5 1 2 3 2 0 1 1 1 1 2 1 2 3 4 5 0 7 5 3 0 0 0 0 0 1 0 2 3 3 5 1 0 6 4 5 1 0 6 4 5 1 2 3 3 4 0 7 5 3 4 0 7 5 3 4 0 2 2 3 4 B 6 7 6 5 7 6 7 6 5 7 2 2 2 A] MatA = [-0.9 -0.5;-0.1 -0.5] x0 in [7,8]x[7,8] v0 in [-0.4,-0.1]x[-0.4,-0.1] %% NAV23 MAP=[1 2 3 2 3 3 3 2 2 3 2 3 3 2 5 0 7 5 3 1 2 3 2 2 3 2 2 2 4 5 1 0 6 1 1 1 1 1 2 2 1 2 3 5 5 0 7 5 2 1 0 0 0 1 4 0 7 4 3 4 7 6 7 1 1 0 7 7 1 5 7 6 3 5 4 1 2 3 1 0 1 0 7 0 3 1 2 3 5 5 0 7 5 0 1 0 0 6 3 4 0 7 3 4 4 1 0 6 0 0 0 0 6 4 5 1 0 4 5 4 0 7 5 0 1 1 7 5 3 4 0 7 4 5 4 7 6 7 1 7 0 6 7 6 5 7 6 3 4 5 1 2 3 2 0 1 2 3 2 3 1 2 4 5 4 0 7 5 3 4 0 7 5 3 4 0 7 4 3 4 1 0 6 4 5 1 0 6 4 5 1 0 3 5 5 0 7 5 3 4 0 7 5 3 4 0 7 1 2 4 B 6 7 6 5 7 6 7 6 5 7 6 2 1 A] MatA = [-0.9 -0.5;-0.1 -0.5] x0 in [7,8]x[7,8] v0 in [-0.4,-0.1]x[-0.4,-0.1] %% NAV24 MAP=[1 2 3 2 3 1 2 3 2 3 1 2 3 2 3 0 7 5 3 4 0 7 5 3 4 0 7 5 3 4 1 0 6 4 5 1 0 6 4 5 1 0 6 4 5 0 7 5 3 4 0 7 5 3 4 0 7 5 3 4 7 6 7 6 5 7 6 7 6 5 7 6 7 6 5 1 2 3 2 3 1 2 3 2 3 1 2 3 2 3 0 7 5 3 4 0 7 5 3 4 0 7 5 3 4 1 0 6 4 5 1 0 6 4 5 1 0 6 4 5 0 7 5 3 4 0 7 5 3 4 0 7 5 3 4 7 6 7 6 5 7 6 7 6 5 7 6 7 6 5 1 2 3 2 3 1 2 3 2 3 1 2 3 2 3 0 7 5 3 4 0 7 5 3 4 0 7 5 3 4 1 0 6 4 5 1 0 6 4 5 1 0 6 4 5 0 7 5 3 4 0 7 5 3 4 0 7 5 3 4 B 6 7 6 5 7 6 7 6 5 7 6 7 6 A] MatA = [-0.9 -0.5;-0.1 -0.5] x0 in [7,8]x[7,8] v0 in [-0.4,-0.1]x[-0.4,-0.1] %% NAV25 MAP=[2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 5 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 A 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 7 1 0 7 7 4 2 6 0 2 0 3 2 7 6 2 0 1 1 0 7 1 0 7 7 0 6 0 2 1 7 1 6 1 7 6 6 1 1 0 7 1 0 7 7 1 4 2 5 0 1 1 1 6 1 1 2 1 1 0 7 1 0 7 7 7 4 6 1 0 0 4 0 1 3 3 4 1 1 0 7 1 0 7 7 0 1 2 4 6 4 5 5 5 2 0 1 1 1 0 7 1 0 7 7 2 6 7 7 2 B 3 4 5 1 2 2 1 1 0 7 1 0 7 7 7 2 5 6 3 0 2 2 6 7 7 6 1 1 0 7 1 0 7 7 1 6 0 7 7 6 2 2 3 2 6 5 1 1 0 7 1 0 7 7 3 5 0 0 1 0 6 0 3 5 2 0 1 1 0 7 1 0 7 7 2 1 0 6 6 4 5 7 3 3 7 4 1 1 0 7 1 0 7 7 5 4 1 7 5 1 1 6 4 3 3 3 1 1 0 7 1 0 7 7 7 4 4 1 7 5 7 2 1 4 4 7 1 1 0 7 1 0 7 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 0 7 1 0 7 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 0 7 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0] MatA = [-0.5 -0.7;0.2 -0.7] x0 in [0,1]x[0,1] v0 in [0.1,0.5]x[0.1,0.5] %% NAV26 MAP=[2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 5 1 2 2 3 2 3 2 3 2 2 2 3 3 2 2 2 2 A 6 6 1 1 1 2 1 2 1 2 1 1 1 2 2 1 1 2 4 6 7 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 4 5 7 7 7 1 0 7 7 4 2 6 0 2 0 3 2 7 6 3 5 5 1 0 7 1 0 7 7 0 6 0 2 7 7 1 6 1 3 5 5 1 1 0 7 1 0 7 7 1 4 2 5 7 1 1 0 3 5 5 5 1 1 0 0 1 0 7 7 7 4 6 1 0 0 3 3 5 5 5 5 1 1 0 7 1 0 7 7 0 1 2 4 6 4 4 5 5 5 5 7 1 1 0 7 1 1 0 7 2 6 7 7 2 B 6 6 6 6 6 7 1 1 0 7 1 1 0 7 7 2 5 6 7 0 0 0 0 0 0 0 1 0 0 7 1 1 0 7 1 6 0 7 7 6 2 2 3 2 6 5 1 1 0 7 1 0 7 7 3 5 0 0 1 0 6 0 3 5 2 0 1 1 0 7 1 0 7 7 2 1 0 6 7 4 5 7 3 3 7 4 1 0 7 7 1 0 7 7 5 4 1 7 5 1 1 6 4 3 3 3 1 0 7 7 1 0 7 7 7 4 4 1 7 5 7 2 1 4 4 7 1 1 0 7 1 0 7 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 0 7 1 0 7 3 3 2 2 3 3 3 2 3 3 2 3 3 1 1 0 7 1 1 2 2 2 1 1 2 2 2 1 2 2 1 2 2 1 1 0 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0] MatA = [-0.5 -0.7;0.2 -0.7] x0 in [0,1]x[0,1] v0 in [0.1,0.5]x[0.1,0.5] %% NAV27 MAP=[2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 4 5 1 2 2 3 2 3 2 2 3 2 2 1 3 3 1 2 2 A 6 6 1 1 2 2 1 2 2 3 1 1 1 2 2 1 1 2 4 6 7 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 4 5 7 7 7 1 0 7 7 4 2 6 0 2 0 3 2 7 6 3 5 5 1 0 7 1 0 7 7 0 6 0 2 7 7 1 6 1 3 5 4 1 1 0 7 1 0 7 7 1 4 2 5 7 1 1 0 3 5 4 5 1 1 0 0 1 0 7 7 7 4 6 1 0 0 3 3 5 4 5 2 1 1 0 0 1 0 7 7 0 1 2 4 6 4 4 5 4 5 2 7 1 1 0 0 1 1 0 7 2 6 7 7 2 B 6 6 6 6 6 7 1 1 0 7 1 0 1 7 7 2 5 6 7 0 0 0 0 0 0 0 1 0 0 7 1 1 0 7 1 6 0 7 7 6 2 2 3 2 6 5 1 1 0 7 1 0 7 7 3 5 0 0 1 0 6 0 3 5 2 0 1 1 0 7 1 0 7 7 2 1 0 6 7 4 5 7 3 3 7 4 1 0 0 7 1 0 7 7 5 4 1 7 5 1 1 6 4 3 3 3 1 0 7 7 1 0 7 7 7 4 4 1 7 5 7 2 1 4 4 7 1 1 0 7 1 0 7 3 3 3 3 3 3 3 3 3 3 3 3 3 1 1 0 7 0 0 7 3 3 2 2 3 3 3 2 3 1 2 3 3 1 1 0 7 1 1 2 2 2 1 3 2 2 2 1 2 2 1 2 2 1 1 0 7 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0] MatA = [-0.5 -0.7;0.2 -0.7] x0 in [0,1]x[0,1] v0 in [0.1,0.5]x[0.1,0.5] %% NAV28 MAP=[6 2 6 3 4 7 7 5 5 6 5 6 5 2 3 5 7 5 7 6 6 5 7 6 6 3 3 2 6 5 7 5 6 6 5 5 5 4 3 3 6 5 5 5 6 5 6 7 5 6 1 2 2 3 3 3 4 5 5 5 6 6 5 7 1 7 6 5 6 5 5 5 5 6 6 3 3 2 3 3 3 4 5 5 7 5 5 7 7 0 6 7 7 5 5 7 7 7 5 6 1 5 5 3 3 3 4 5 5 7 7 7 7 5 3 5 7 7 5 7 7 6 6 6 7 0 4 3 2 2 2 3 3 3 4 5 5 6 6 5 7 6 6 7 5 B 7 5 5 5 3 3 1 2 2 2 3 3 3 4 5 6 6 7 7 6 7 6 7 7 6 7 7 5 6 1 3 2 1 1 2 3 3 3 4 5 5 7 6 5 7 5 5 6 6 6 5 6 5 7 3 2 2 1 1 3 2 2 2 3 3 3 4 5 6 7 6 6 5 5 6 7 7 5 5 3 2 3 2 2 3 2 3 1 3 3 3 4 5 5 6 7 6 7 6 7 6 6 7 5 2 2 3 2 2 2 1 2 2 3 3 3 4 5 7 6 5 6 5 7 5 7 5 6 5 3 1 2 2 2 3 2 3 3 2 2 2 3 3 3 4 5 5 7 6 5 7 5 6 6 3 7 1 2 0 5 2 2 1 3 1 1 3 3 3 4 5 5 6 5 6 6 7 6 7 6 6 6 5 4 5 1 2 3 2 1 1 3 3 3 4 5 5 5 5 5 7 5 6 7 2 1 6 6 7 3 7 0 2 2 3 1 2 2 2 3 3 3 4 5 5 7 6 7 5 3 2 3 3 1 1 2 3 3 2 1 2 3 1 3 3 3 3 4 5 6 7 7 7 6 2 3 3 3 1 3 1 1 2 1 2 1 1 1 2 3 3 3 4 5 7 5 7 5 7 1 1 3 3 3 2 2 2 1 3 7 3 3 1 2 2 2 2 3 3 3 4 5 5 5 2 3 1 1 2 3 2 3 3 3 2 4 2 2 2 3 1 2 3 3 3 4 5 5 5 3 2 1 1 2 3 1 2 1 2 2 1 1 2 2 2 3 2 3 3 3 4 5 5 5 2 1 3 3 3 3 2 1 3 3 2 2 3 2 3 3 1 3 2 2 2 A 6 6 7 2 2 2 3 1 1 2 1 3 1 2 2 1 1 1 2 2 3 1 3 1 0 7 7 1 2 1 1 1 1 2 1 2 1 2 3 3 3 3 1 2 3 3 2 3 3 0 7 6 6 2 2 1 2 2 2 2 2 3 2 2 2 2 3 3 1 3 3 1 3 1 4 2 3 1 1 3 1 1 2 2 1 3 2 3 1 1 1 3 1 1 3 3 1 3 1 1 5 7 5] MatA = [-0.5 0.6;0.2 -0.7] x0 in [4,5]x[21,22] v0 in [0.2,0.5]x[-0.5,0.5] %% NAV29 MAP=[4 5 5 4 5 5 5 4 6 6 5 6 6 6 6 5 5 6 4 6 4 5 5 4 6 4 5 4 5 3 4 4 4 4 5 6 6 4 6 5 6 6 6 4 5 6 6 4 5 4 3 3 4 3 3 3 3 6 4 6 5 4 4 4 5 6 4 4 6 4 4 4 5 5 4 4 5 4 3 3 3 4 6 6 5 4 6 5 6 5 6 4 6 6 5 5 4 6 4 5 3 5 3 3 3 3 3 4 6 4 5 5 5 5 4 5 5 6 4 6 5 6 5 5 6 4 3 4 5 3 3 3 4 6 6 5 6 6 6 5 4 6 5 6 5 B 6 5 5 5 3 3 5 4 3 3 3 4 4 6 6 6 6 4 6 4 4 6 6 5 6 4 6 5 6 5 3 4 4 3 3 3 5 4 6 4 5 6 4 5 5 6 6 5 5 4 6 4 5 4 5 3 5 5 3 3 3 3 6 4 5 6 4 5 6 4 5 5 6 4 5 4 4 5 5 5 4 5 4 4 3 3 3 5 6 5 6 4 6 4 6 5 4 4 6 5 5 6 6 4 4 5 4 5 5 3 3 3 4 4 5 6 6 6 5 6 4 6 4 4 6 6 6 6 6 4 4 3 5 4 4 3 3 3 5 5 4 6 5 4 4 6 5 4 4 5 4 4 4 6 4 5 4 5 4 5 3 3 3 4 4 6 4 4 5 6 4 5 5 6 6 6 4 6 5 5 4 4 4 3 4 3 3 3 5 5 5 5 4 4 6 5 5 6 6 4 6 4 5 4 5 4 3 3 3 4 3 3 3 3 5 4 5 4 5 6 6 6 3 3 3 6 6 4 5 5 4 4 5 3 4 4 3 3 3 4 5 6 4 4 5 6 4 4 5 6 6 5 5 5 3 5 3 3 5 4 4 3 3 3 6 5 6 6 6 6 4 4 5 5 6 6 4 4 5 5 3 3 5 5 3 4 6 3 3 3 3 3 5 6 4 4 4 4 3 3 4 5 5 5 2 3 2 3 1 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 4 5 5 3 3 2 3 2 1 3 2 1 3 3 3 3 3 3 3 3 3 3 3 3 3 4 5 5 5 2 1 3 2 3 1 1 3 2 3 2 3 3 3 3 3 3 3 3 2 2 A 6 6 6 2 2 1 1 2 2 1 3 2 1 2 1 3 3 3 2 2 1 2 1 1 0 7 7 7 2 1 2 2 2 1 2 3 1 3 1 3 3 3 3 1 2 2 2 1 1 0 7 7 6 2 2 1 2 1 1 1 1 1 2 2 2 1 1 2 1 1 2 2 1 1 0 7 6 6 1 3 3 3 3 2 3 2 1 3 2 2 1 1 1 1 1 1 1 1 1 0 7 6 6] MatA = [-0.5 0.6;0.2 -0.7] x0 in [4,5]x[21,22] v0 in [0,0.5]x[-0.5,0] %% NAV30 MAP=[4 5 5 4 5 5 5 4 6 6 5 6 6 6 6 5 5 6 4 6 4 5 5 4 6 4 5 4 5 3 4 4 4 4 5 6 6 4 6 5 6 6 6 4 5 6 6 4 5 4 3 3 4 3 3 3 3 6 4 6 5 4 4 4 5 6 4 4 6 4 4 4 5 5 4 4 5 4 3 3 3 3 3 3 5 4 6 5 6 5 6 4 6 6 5 5 4 6 4 5 3 5 3 3 3 3 3 3 3 3 3 3 5 5 4 5 5 6 4 6 5 6 5 5 6 4 3 4 5 3 3 3 3 3 3 3 3 3 3 3 4 6 5 6 5 -2 6 5 5 5 3 3 5 4 3 3 3 4 4 3 3 3 3 3 3 3 3 3 6 5 6 4 6 5 6 5 3 4 4 3 3 3 5 4 2 2 1 3 3 3 3 3 3 3 3 3 6 4 5 4 5 3 5 5 3 3 3 3 6 4 5 1 2 3 1 1 3 3 3 3 3 4 4 5 5 5 4 5 4 4 3 3 3 5 6 5 6 2 2 2 1 2 1 3 3 3 5 6 6 4 4 5 4 5 5 3 3 3 4 4 5 6 6 6 1 1 3 3 3 4 5 5 4 5 5 4 4 3 5 4 4 3 3 3 5 5 4 6 5 4 1 1 3 3 3 5 4 4 4 6 4 5 4 5 4 5 3 3 3 4 4 6 4 4 5 1 1 3 3 3 4 6 4 6 5 5 4 4 4 3 4 3 3 3 5 5 5 5 4 4 2 2 3 3 3 4 5 4 5 4 5 4 3 3 3 4 3 3 3 3 5 4 5 4 5 6 2 3 3 3 3 5 6 4 5 5 4 4 5 3 4 4 3 3 3 4 5 6 4 4 5 1 2 3 3 3 5 5 5 5 3 5 3 3 5 4 4 3 3 3 6 5 6 6 6 6 2 3 3 3 3 5 4 4 5 5 3 3 5 5 3 4 6 3 3 3 3 3 5 6 4 4 4 4 3 3 5 5 5 5 2 3 2 3 1 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 4 5 5 3 3 2 3 2 1 3 2 1 3 3 3 3 3 3 3 3 3 3 3 3 3 4 5 5 5 2 1 3 2 3 1 1 3 2 3 2 3 3 3 3 3 3 3 3 2 2 -1 6 6 6 2 2 1 1 2 2 1 3 2 1 2 1 3 3 3 2 2 1 2 1 1 0 7 7 7 2 1 2 2 2 1 2 3 1 3 1 3 3 3 3 1 2 2 2 1 1 0 7 7 6 2 2 1 2 1 1 1 1 1 2 2 2 1 1 2 1 1 2 2 1 1 0 7 6 6 1 3 3 3 3 2 3 2 1 3 2 2 1 1 1 1 1 1 1 1 1 0 7 6 6] MatA = [-0.5 0.6;0.2 -0.7] x0 in [4,5]x[21,22] v0 in [0.2,0.5]x[-0.5,0.5]