1{
 2  "config": {
 3    "A": -0.4,
 4    "C": 1.0,
 5    "alpha": 0.2,
 6    "gamma": 0.9
 7  },
 8  "baseline": {
 9    "K": 10.0,
10    "lmi": [
11      0.09048869476572478,
12      0.07708096680538273
13    ],
14    "exact_hinf_gain": 0.9615384615384615,
15    "zero_disturbance": {
16      "observed_V_decay_rate": 20.80520000000001,
17      "required_rate": 0.4,
18      "V_initial": 0.09048869476572478,
19      "V_final": 4.698139248563672e-74
20    },
21    "disturbance": {
22      "P": 0.09048869476572478,
23      "lmi_max_eigenvalue": 0.07708096680538273,
24      "dissipation_residual": -0.5844619834425168,
25      "induced_energy_ratio": 0.12991967828684448,
26      "initial_V": 0.1529258941540749,
27      "final_V": 0.00025032922811613474
28    }
29  },
30  "idea": {
31    "K": 1.7804347826086957,
32    "lmi": [
33      0.5064161095446302,
34      -0.0009812140936630298
35    ],
36    "exact_hinf_gain": 0.8165503489531406,
37    "zero_disturbance": {
38      "observed_V_decay_rate": 4.361959782608726,
39      "required_rate": 0.4,
40      "V_initial": 0.5064161095446302,
41      "V_final": 3.5441084393085284e-16
42    },
43    "disturbance": {
44      "P": 0.5064161095446302,
45      "lmi_max_eigenvalue": -0.0009812140936630298,
46      "dissipation_residual": -0.9999337711623704,
47      "induced_energy_ratio": 0.01979430583344683,
48      "initial_V": 0.8558432251304252,
49      "final_V": 2.7672738524787317e-05
50    }
51  },
52  "claim_check": {
53    "idea_lmi_feasible": true,
54    "baseline_lmi_feasible": false,
55    "idea_dissipation_holds": true,
56    "idea_exact_hinf_below_gamma": true,
57    "baseline_exact_hinf_below_gamma": false
58  }
59}