Safety Verification on Unstable 1D system
98Ps (Probability)Time-Varying SBF Certificates
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Time-Varying SBF CertificatesHorizon (H)=5, Degree (deg)=42026.04 | 98 | 0.016 | — | 0.0001 | 0.11 | — | |
| Time-Varying SBF CertificatesHorizon (H)=10, Degree (deg)=42026.04 | 97 | 0.027 | — | 0.0012 | 0.14 | — | |
| Time-Varying SBF CertificatesHorizon (H)=15, Degree (deg)=42026.04 | 96 | 0.043 | — | 0.0007 | 0.34 | — | |
| Time-VaryingH=5, deg=42026.04 | 94 | 2.1 | — | — | 0.13 | 8.5 | |
| InterpolationHorizon (H)=5, Degree (deg)=42026.04 | 92 | — | — | — | 0.07 | — | |
| Time-Invariant SBF CertificatesHorizon (H)=5, Degree (deg)=302026.04 | 90 | 0.076 | 0.024 | — | 142.54 | — | |
| Time-Varying SBF CertificatesHorizon (H)=20, Degree (deg)=62026.04 | 90 | 0.0009 | — | 0.05 | 7.18 | — | |
| Time-VaryingH=10, deg=42026.04 | 89 | 3.6 | — | — | 0.39 | 2.4 | |
| InterpolationH=5, deg=42026.04 | 88 | — | — | — | 0.19 | — | |
| Time-Invariant SBF CertificatesHorizon (H)=10, Degree (deg)=302026.04 | 87 | 0.082 | 0.048 | — | 144.25 | — | |
| Time-Invariant SBF CertificatesHorizon (H)=15, Degree (deg)=302026.04 | 85 | 0.073 | 0.081 | — | 147.27 | — | |
| InterpolationHorizon (H)=20, Degree (deg)=62026.04 | 84 | — | — | — | 76.19 | — | |
| Time-InvariantH=5, deg=242026.04 | 84 | 5.1 | 0.11 | — | 192.16 | — | |
| Time-Invariant SBF CertificatesHorizon (H)=20, Degree (deg)=302026.04 | 82 | 0.0054 | 0.17 | — | 149.34 | — | |
| InterpolationHorizon (H)=10, Degree (deg)=42026.04 | 74 | — | — | — | 0.15 | — | |
| InterpolationH=10, deg=42026.04 | 62 | — | — | — | 0.21 | — | |
| Time-InvariantH=10, deg=242026.04 | 54 | 6.7 | 0.39 | — | 198.57 | — | |
| InterpolationHorizon (H)=15, Degree (deg)=42026.04 | 35 | — | — | — | 0.62 | — |