changes in experiment file

core/spec_definitions.py

@@ -188,10 +188,11 @@ class anaesthesia_delivery_spec(master.spec_master):
         width = self.partition['boundary'] @ np.array([-1, 1]) / self.partition['number']
         
         # Actions per dimension (if 'auto', equal to nr of regions)
-        self.targets['boundary']    = self.partition['boundary']
+        self.targets['boundary'] = np.vstack((
+                self.partition['boundary'][:,0] + 1.5*width,
+                self.partition['boundary'][:,1] - 1.5*width
+                )).T
         
-        self.targets['boundary'][:,0] = self.targets['boundary'][:,0] + width
-        self.targets['boundary'][:,1] = self.targets['boundary'][:,1] - width
         self.targets['number']      = list(np.array(self.partition['number'])-2)
         
         self.goal = [

run_experiments.sh

 #!/bin/bash
 # Define number of iterations (i)
-i=2
+i=10
 #
 # Longitudinal drone dynamics benchmark
 echo -e "++++++++ RUN DRONE BENCHMARK ++++++++\n";
@@ -11,19 +11,19 @@ python3 RunFile.py --model 'drone' --prism_java_memory 8 --drone_spring --drone_
 #
 # Building temperature control problem, without epistemic uncertainty
 echo -e "++++++++ RUN TEMPERATURE CONTROL BENCHMARK (NO EPISTEMIC UNCERTAINTY) ++++++++\n";
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_partition [15,25] --iterations $i;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [25,35] --iterations $i;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [35,45] --iterations $i;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [50,70] --iterations $i;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [70,100] --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_partition '[15,25]' --bld_target_size '[[-.2, .2], [-.5, .5]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_partition '[25,35]' --bld_target_size '[[-.1, .1], [-.3, .3]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_partition '[35,45]' --bld_target_size '[[-.1, .1], [-.3, .3]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_partition '[50,70]' --bld_target_size '[[-.05, .05], [-.15, .15]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_partition '[70,100]' --bld_target_size '[[-.05, .05], [-.15, .15]]' --iterations $i;
 #
 # Building temperature control problem, with epistemic uncertainty
 echo -e "++++++++ RUN TEMPERATURE CONTROL BENCHMARK (WITH EPISTEMIC UNCERTAINTY) ++++++++\n";
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_partition [15,25] --iterations $i --bld_control_error;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [25,35] --iterations $i --bld_control_error;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [35,45] --iterations $i --bld_control_error;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [50,70] --iterations $i --bld_control_error;
-python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --drug_partition [70,100] --iterations $i --bld_control_error;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_control_error --bld_partition '[15,25]' --bld_target_size '[[-.2, .2], [-.5, .5]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_control_error --bld_partition '[25,35]' --bld_target_size '[[-.1, .1], [-.3, .3]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_control_error --bld_partition '[35,45]' --bld_target_size '[[-.1, .1], [-.3, .3]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_control_error --bld_partition '[50,70]' --bld_target_size '[[-.05, .05], [-.15, .15]]' --iterations $i;
+python3 RunFile.py --model 'building_temp' --prism_java_memory 8 --bld_control_error --bld_partition '[70,100]' --bld_target_size '[[-.05, .05], [-.15, .15]]' --iterations $i;
 #
 # Anaesthesia delivery problem
 echo -e "++++++++ RUN ANAESTHESIA DELIVERY BENCHMARK ++++++++\n";