ACC Setting:
output_mat = [1 0;0 1]; % feedback: relative distance, relative velocity
A=[0 1;0 0];
B=[0;1];
C=[1 0;0 1];
D=[0;0];
plant = LinearODE(A,B,C,D);
....

# Analysis using LinearODE
lb = [0.1; -4];
ub = [0.5; 0];

reachPRM = 

  struct with fields:

        ref_input: []
         numSteps: 1
         init_set: [1×1 Star]
         numCores: 1
    controlPeriod: 0.1000
     plantTimStep: 0.1000
      reachMethod: 'exact-star'



The neural network control system is safe  711.7489

reachPRM = 

  struct with fields:

        ref_input: []
         numSteps: 1
         init_set: [1×1 Star]
         numCores: 1
    controlPeriod: 0.1000
     plantTimStep: 0.1000
      reachMethod: 'approx-star'



The neural network control system is safe   1.1898e+03

# Analysis using NonlinearODE

reachPRM = 

  struct with fields:

        ref_input: []
         numSteps: 1
         init_set: [1×1 Star]
         numCores: 1
    controlPeriod: 0.1000
     plantTimStep: 0.1000
      reachMethod: 'approx-star'

The 1^th reach set reaches unsafe regionCannot find counter examples, please consider increasing number of samples for falsification   36.6521

reachStep = 0.05;
controlPeriod = 0.05;

reachPRM = 

  struct with fields:

        ref_input: []
         numSteps: 1
         init_set: [1×1 Star]
         numCores: 1
    controlPeriod: 0.0500
     plantTimStep: 0.0500
      reachMethod: 'approx-star'

The 1^th reach set reaches unsafe regionCannot find counter examples, please consider increasing number of samples for falsification   32.4264

# Additional Experiment: Larger State Space 
lb = [0.1; -4];
ub = [0.9; 0];
reachPRM = 

  struct with fields:

        ref_input: []
         numSteps: 1
         init_set: [1×1 Star]
         numCores: 1
    controlPeriod: 0.1000
     plantTimStep: 0.1000
      reachMethod: 'exact-star'



The neural network control system is safe   1.6535e+03

lb = [0.1; -4];
ub = [0.9; 4];
reachPRM = 

  struct with fields:

        ref_input: []
         numSteps: 1
         init_set: [1×1 Star]
         numCores: 1
    controlPeriod: 0.1000
     plantTimStep: 0.1000
      reachMethod: 'exact-star'



The neural network control system is safe   3.3157e+03