Certified Tube Wrapper for Learned Predictive Control / results.json

Failed on benchmark

Raw ⬇ ZIP
 1{
 2  "math_verification": {
 3    "boundary_prediction": 1.0,
 4    "boundary_observed_growth_test": 1.0099999999999998,
 5    "boundary_terminal_below_0.98": 0.04706533751883914,
 6    "boundary_terminal_above_1.02": 235620.22067973902,
 7    "steady_gain_max_relative_error": 1.9151347174783947e-14,
 8    "steady_gain_predicted": [
 9      0.022222222222222223,
10      0.02666666666666667,
11      0.03333333333333333,
12      0.04444444444444445,
13      0.06666666666666665,
14      0.10000000000000002,
15      0.20000000000000004
16    ],
17    "steady_gain_measured": [
18      0.022222222222222223,
19      0.026666666666666665,
20      0.03333333333333333,
21      0.04444444444444444,
22      0.06666666666666664,
23      0.10000000000000002,
24      0.1999999999999962
25    ],
26    "multiplicative_slope_predicted": 0.27999999999999997,
27    "multiplicative_slope_observed": 0.27999999999999997,
28    "sampled_2d_bound_max_ratio": 0.8617217445803642
29  },
30  "mini_experiment": {
31    "0.1": {
32      "nominal": {
33        "violation_rate": 0.0,
34        "fallback_rate": 0.0,
35        "mean_abs_state": 0.018085835988390826,
36        "mean_abs_action": 0.01067435010960232
37      },
38      "constant": {
39        "violation_rate": 0.0,
40        "fallback_rate": 0.0,
41        "mean_abs_state": 0.016171591763912814,
42        "mean_abs_action": 0.011561204956299797
43      },
44      "horizon": {
45        "violation_rate": 0.0,
46        "fallback_rate": 0.0,
47        "mean_abs_state": 0.017731251248450607,
48        "mean_abs_action": 0.010821821949979491
49      }
50    },
51    "0.25": {
52      "nominal": {
53        "violation_rate": 0.0,
54        "fallback_rate": 0.0,
55        "mean_abs_state": 0.01804125599417929,
56        "mean_abs_action": 0.01065922699509529
57      },
58      "constant": {
59        "violation_rate": 0.0,
60        "fallback_rate": 0.0,
61        "mean_abs_state": 0.01612782136585778,
62        "mean_abs_action": 0.011544090346362564
63      },
64      "horizon": {
65        "violation_rate": 0.0,
66        "fallback_rate": 0.0,
67        "mean_abs_state": 0.017620473639506414,
68        "mean_abs_action": 0.010819428915146753
69      }
70    },
71    "0.4": {
72      "nominal": {
73        "violation_rate": 0.0,
74        "fallback_rate": 0.0,
75        "mean_abs_state": 0.018012545231029152,
76        "mean_abs_action": 0.010651272819793589
77      },
78      "constant": {
79        "violation_rate": 0.0,
80        "fallback_rate": 0.0,
81        "mean_abs_state": 0.01610788940052204,
82        "mean_abs_action": 0.011538779761933734
83      },
84      "horizon": {
85        "violation_rate": 0.0,
86        "fallback_rate": 0.0,
87        "mean_abs_state": 0.017526505708652374,
88        "mean_abs_action": 0.010825056072955938
89      }
90    }
91  }
92}