Hybrid-Zonotope Reachability Loss for Neural Closed Loops / results.json

Failed on benchmark

Raw ⬇ ZIP
  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}