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([[-0.01, -0.  ],
                [-0.  , -0.01]])
   A_p = array([[ 0.05,  0.  ],
                [ 0.  ,  0.05]])
   B_d = array([[-0.4, -0. ],
                [-0. , -0.4]])
   B_p = array([[ 0.5,  0. ],
                [ 0. ,  0.5]])
   C_d = array([[ 1.,  0.],
                [ 0.,  1.]])
   C_p = array([[ 1.,  0.],
                [ 0.,  1.]])
   T = 1
   delta_t_u_max = array([ 0.1,  0.1])
   delta_t_u_min = array([-0.4, -0.4])
   delta_t_y_max = array([ 0.4,  0.4])
   delta_t_y_min = array([-0.1, -0.1])
   global_time = False
   m = 2
   n_d = 2
   n_p = 2
   p = 2
   results = {}
   spaceex_clustering_percent = 100
   spaceex_directions = 'oct'
   spaceex_iterations = 2000
   spaceex_iterations_for_global_time = None
   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 = False
   x_p_0_max = array([1, 1])
   x_p_0_min = array([-1, -1]))