Hybrid-Zonotope Reachability Loss for Neural Closed Loops / results.json
Failed on benchmark
1{
2 "seed": 2686,
3 "mechanism": {
4 "radius_recurrence": [
5 {
6 "lambda": 0.0,
7 "observed_rN": 0.03,
8 "predicted_rN": 0.03,
9 "abs_error": 0.0
10 },
11 {
12 "lambda": 0.2,
13 "observed_rN": 0.037500416,
14 "predicted_rN": 0.037500416,
15 "abs_error": 0.0
16 },
17 {
18 "lambda": 0.5,
19 "observed_rN": 0.06054687499999999,
20 "predicted_rN": 0.06054687499999999,
21 "abs_error": 0.0
22 },
23 {
24 "lambda": 0.8,
25 "observed_rN": 0.15838860800000004,
26 "predicted_rN": 0.15838860800000004,
27 "abs_error": 0.0
28 },
29 {
30 "lambda": 1.0,
31 "observed_rN": 0.44,
32 "predicted_rN": 0.44,
33 "abs_error": 0.0
34 },
35 {
36 "lambda": 1.2,
37 "observed_rN": 1.3549359359999997,
38 "predicted_rN": 1.3549359359999997,
39 "abs_error": 0.0
40 }
41 ],
42 "disturbance_linear_scaling": [
43 {
44 "gamma": 0.0,
45 "observed_rN": 0.005598719999999999,
46 "predicted_rN": 0.005598719999999999
47 },
48 {
49 "gamma": 0.01,
50 "observed_rN": 0.029898879999999996,
51 "predicted_rN": 0.029898879999999996
52 },
53 {
54 "gamma": 0.02,
55 "observed_rN": 0.05419904,
56 "predicted_rN": 0.05419904
57 },
58 {
59 "gamma": 0.04,
60 "observed_rN": 0.10279935999999999,
61 "predicted_rN": 0.10279935999999999
62 },
63 {
64 "gamma": 0.08,
65 "observed_rN": 0.19999999999999998,
66 "predicted_rN": 0.19999999999999998
67 }
68 ],
69 "constraint_boundary": {
70 "predicted_gamma_star": 0.09400007480016458,
71 "samples": [
72 {
73 "gamma": 0.0,
74 "violation": 0.0
75 },
76 {
77 "gamma": 0.09306007405216293,
78 "violation": 0.0
79 },
80 {
81 "gamma": 0.09400007480016458,
82 "violation": 0.0
83 },
84 {
85 "gamma": 0.09494007554816622,
86 "violation": 0.0027647020000000078
87 }
88 ]
89 },
90 "contraction_boundary": [
91 {
92 "lambda": 0.8,
93 "ratio_rN_r0": 0.10737418240000006,
94 "predicted_contracts": true
95 },
96 {
97 "lambda": 0.99,
98 "ratio_rN_r0": 0.9043820750088044,
99 "predicted_contracts": true
100 },
101 {
102 "lambda": 1.0,
103 "ratio_rN_r0": 1.0,
104 "predicted_contracts": false
105 },
106 {
107 "lambda": 1.01,
108 "ratio_rN_r0": 1.1046221254112045,
109 "predicted_contracts": false
110 },
111 {
112 "lambda": 1.2,
113 "ratio_rN_r0": 6.191736422399998,
114 "predicted_contracts": false
115 }
116 ]
117 },
118 "training": [
119 {
120 "gamma": 0.0,
121 "baseline_k": 1.0,
122 "reach_k": 0.9003320336341858,
123 "baseline_certificate": [
124 0.08,
125 0.0,
126 0.0
127 ],
128 "reach_certificate": [
129 0.08,
130 7.789951660631214e-10,
131 0.0
132 ],
133 "baseline_nominal_loss": 0.64000004529953,
134 "reach_training_loss": 0.18490000069141388
135 },
136 {
137 "gamma": 0.12,
138 "baseline_k": 1.0,
139 "reach_k": 0.9003320336341858,
140 "baseline_certificate": [
141 0.12,
142 0.12,
143 0.0
144 ],
145 "reach_certificate": [
146 0.1332841607873066,
147 0.1332841607873066,
148 0.0
149 ],
150 "baseline_nominal_loss": 0.64000004529953,
151 "reach_training_loss": 0.18490000069141388
152 },
153 {
154 "gamma": 0.3,
155 "baseline_k": 1.0,
156 "reach_k": 1.0030667781829834,
157 "baseline_certificate": [
158 0.3,
159 0.3,
160 0.0
161 ],
162 "reach_certificate": [
163 0.3009228636730734,
164 0.3009228636730734,
165 0.0
166 ],
167 "baseline_nominal_loss": 0.64000004529953,
168 "reach_training_loss": 0.19786569476127625
169 },
170 {
171 "gamma": 0.6,
172 "baseline_k": 1.0,
173 "reach_k": 0.9996851682662964,
174 "baseline_certificate": [
175 0.6,
176 0.6,
177 0.14999999999999997
178 ],
179 "reach_certificate": [
180 0.6001889585303639,
181 0.6001889585303639,
182 0.1501889585303639
183 ],
184 "baseline_nominal_loss": 0.64000004529953,
185 "reach_training_loss": 1.046187400817871
186 }
187 ]
188}