Safety Verification on Unstable 2D system
97PsTime-Varying SBF Certificates
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Time-Varying SBF CertificatesHorizon (H)=5, Degree (deg)=42026.04 | 97 | 3.3 | — | 0.0011 | 0.21 | |
| Time-Varying SBF CertificatesHorizon (H)=10, Degree (deg)=42026.04 | 94 | 5.4 | — | 0.0023 | 0.39 | |
| Time-Varying SBF CertificatesHorizon (H)=15, Degree (deg)=42026.04 | 91 | 8.5 | — | 0.0008 | 1.06 | |
| Time-Varying SBF CertificatesHorizon (H)=20, Degree (deg)=62026.04 | 89 | 11 | — | 0.0012 | 24.17 | |
| InterpolationHorizon (H)=5, Degree (deg)=42026.04 | 84 | — | — | — | 0.33 | |
| Time-Invariant SBF CertificatesHorizon (H)=5, Degree (deg)=242026.04 | 67 | 26 | 0.069 | — | 179 | |
| InterpolationHorizon (H)=10, Degree (deg)=42026.04 | 47 | — | — | — | 0.96 | |
| Time-Invariant SBF CertificatesHorizon (H)=10, Degree (deg)=242026.04 | 45 | 5.1 | 0.036 | — | 177.23 | |
| InterpolationHorizon (H)=20, Degree (deg)=62026.04 | 34 | — | — | — | 50.12 | |
| Time-Invariant SBF CertificatesHorizon (H)=15, Degree (deg)=242026.04 | 24 | 7.2 | 0.032 | — | 176.41 | |
| Time-Invariant SBF CertificatesHorizon (H)=20, Degree (deg)=242026.04 | 19 | 79 | 0.012 | — | 185.42 | |
| InterpolationHorizon (H)=15, Degree (deg)=42026.04 | 0 | — | — | — | 2.07 |