autogenerated. do not edit.
 To use in SpaceEx VM server: First load the .xml as Model File, then .cfg as Configuration File, then start.

 Model parameters:

System(
   A_d = array([[ 1.,  0.,  0.,  0.,  0.,  0.],
                [ 0.,  0.,  0.,  0.,  0.,  0.],
                [ 0.,  0.,  1.,  0.,  0.,  0.],
                [ 0.,  0.,  0.,  0.,  0.,  0.],
                [ 0.,  0.,  0.,  0.,  1.,  0.],
                [ 0.,  0.,  0.,  0.,  0.,  0.]])
   A_p = array([[0, 0, 0],
                [0, 0, 0],
                [0, 0, 0]])
   B_d = array([[ 0.01,  0.  ,  0.  ],
                [ 1.  ,  0.  ,  0.  ],
                [ 0.  ,  0.01,  0.  ],
                [ 0.  ,  1.  ,  0.  ],
                [ 0.  ,  0.  ,  0.01],
                [ 0.  ,  0.  ,  1.  ]])
   B_p = array([[     0.        , -11066.96621255,      0.        ,  11066.96621255],
                [-10956.74277951,      0.        ,  10956.74277951,      0.        ],
                [   516.31557208,   -516.31557208,    516.31557208,   -516.31557208]])
   C_d = array([[  0.00000000e+00,   0.00000000e+00,   1.82535000e-02,
                   1.29070000e-03,  -1.93680000e-01,  -1.36952500e-02],
                [  1.80720000e-02,   1.27850000e-03,   0.00000000e+00,
                   0.00000000e+00,   1.93680000e-01,   1.36952500e-02],
                [  0.00000000e+00,   0.00000000e+00,  -1.82535000e-02,
                  -1.29070000e-03,  -1.93680000e-01,  -1.36952500e-02],
                [ -1.80720000e-02,  -1.27850000e-03,  -2.53318200e-18,
                  -1.79120607e-19,   1.93680000e-01,   1.36952500e-02]])
   C_p = array([[ 1.,  0.,  0.],
                [ 0.,  1.,  0.],
                [ 0.,  0.,  1.]])
   T = 0.01
   delta_t_u_max = array([ 0.0001,  0.0001,  0.0001,  0.0001])
   delta_t_u_min = array([-0.0001, -0.0001, -0.0001, -0.0001])
   delta_t_y_max = array([ 0.0001,  0.0001,  0.0001])
   delta_t_y_min = array([-0.0001, -0.0001, -0.0001])
   global_time = True
   m = 4
   n_d = 6
   n_p = 3
   p = 3
   results = {}
   spaceex_clustering_percent = 100
   spaceex_directions = 'oct'
   spaceex_iterations = 2500
   spaceex_iterations_for_global_time = 3000
   spaceex_only_simulate = False
   spaceex_sampling_time = 0.001
   spaceex_scenario = 'stc'
   spaceex_set_aggregation = 'none'
   transform_states_as_outputs = False
   use_urgent_semantics_and_pseudorandom_sequence = True
   x_p_0_max = array([1, 1, 1])
   x_p_0_min = array([-1, -1, -1]))