Proper-Kernel Neural Safety Layer / results.json
Mechanism failed
1{
2 "seed": 2961,
3 "dt": 0.002,
4 "frequency_response": [
5 {
6 "a": 0.3,
7 "omega": 0.6,
8 "omega_over_a": 2.0,
9 "measured": 0.44904824394372833,
10 "theory": 0.4472135954999579,
11 "relative_error": 0.004102398635084823
12 },
13 {
14 "a": 0.3,
15 "omega": 1.5,
16 "omega_over_a": 5.0,
17 "measured": 0.1958618038957561,
18 "theory": 0.19611613513818402,
19 "relative_error": 0.0012968399680561983
20 },
21 {
22 "a": 0.3,
23 "omega": 3.0,
24 "omega_over_a": 10.0,
25 "measured": 0.09914513339831352,
26 "theory": 0.09950371902099892,
27 "relative_error": 0.003603740907510434
28 },
29 {
30 "a": 1.0,
31 "omega": 2.0,
32 "omega_over_a": 2.0,
33 "measured": 0.44903431557708356,
34 "theory": 0.4472135954999579,
35 "relative_error": 0.0040712538604515845
36 },
37 {
38 "a": 1.0,
39 "omega": 5.0,
40 "omega_over_a": 5.0,
41 "measured": 0.1958519226101289,
42 "theory": 0.19611613513818404,
43 "relative_error": 0.0013472248362888452
44 },
45 {
46 "a": 1.0,
47 "omega": 10.0,
48 "omega_over_a": 10.0,
49 "measured": 0.09913973488435786,
50 "theory": 0.09950371902099892,
51 "relative_error": 0.003657995301303697
52 },
53 {
54 "a": 3.0,
55 "omega": 6.0,
56 "omega_over_a": 2.0,
57 "measured": 0.4490222239830306,
58 "theory": 0.4472135954999579,
59 "relative_error": 0.004044216234192822
60 },
61 {
62 "a": 3.0,
63 "omega": 15.0,
64 "omega_over_a": 5.0,
65 "measured": 0.19606056325527624,
66 "theory": 0.19611613513818402,
67 "relative_error": 0.0002833621153538581
68 },
69 {
70 "a": 3.0,
71 "omega": 30.0,
72 "omega_over_a": 10.0,
73 "measured": 0.09915706904427611,
74 "theory": 0.09950371902099892,
75 "relative_error": 0.003483789150128635
76 }
77 ],
78 "toy_comparison": {
79 "0.3": {
80 "memoryless": {
81 "tv_mean": 9.169964344226265,
82 "tv_std": 0.018571522982263167,
83 "min_x_mean": 0.012884617075331655,
84 "violation_rate": 0.0,
85 "infeasible_rate": 0.0
86 },
87 "filtered": {
88 "tv_mean": 9.169025039146257,
89 "tv_std": 0.01856978844717645,
90 "min_x_mean": 0.020349040763769984,
91 "violation_rate": 0.0,
92 "infeasible_rate": 0.0
93 }
94 },
95 "1.0": {
96 "memoryless": {
97 "tv_mean": 9.169964344226265,
98 "tv_std": 0.018571522982263167,
99 "min_x_mean": 0.012884617075331655,
100 "violation_rate": 0.0,
101 "infeasible_rate": 0.0
102 },
103 "filtered": {
104 "tv_mean": 9.169446119204501,
105 "tv_std": 0.018570401182368804,
106 "min_x_mean": 0.026275487915253304,
107 "violation_rate": 0.0,
108 "infeasible_rate": 0.0
109 }
110 },
111 "3.0": {
112 "memoryless": {
113 "tv_mean": 9.169964344226265,
114 "tv_std": 0.018571522982263167,
115 "min_x_mean": 0.012884617075331655,
116 "violation_rate": 0.0,
117 "infeasible_rate": 0.0
118 },
119 "filtered": {
120 "tv_mean": 9.190962895438393,
121 "tv_std": 0.018689092860099905,
122 "min_x_mean": 0.02775973206151237,
123 "violation_rate": 0.0,
124 "infeasible_rate": 0.0
125 }
126 },
127 "10.0": {
128 "memoryless": {
129 "tv_mean": 9.169964344226265,
130 "tv_std": 0.018571522982263167,
131 "min_x_mean": 0.012884617075331655,
132 "violation_rate": 0.0,
133 "infeasible_rate": 0.0
134 },
135 "filtered": {
136 "tv_mean": 9.488704580687237,
137 "tv_std": 0.01918369364648467,
138 "min_x_mean": 0.027741047436233013,
139 "violation_rate": 0.0,
140 "infeasible_rate": 0.0
141 }
142 }
143 }
144}