Safety Verification on Oscillator 2D system
99PsTime-Varying SBF Certificates
Evaluation results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| Time-Varying SBF CertificatesHorizon (H)=15, Degree (deg)=42026.04 | 99 | 0 | — | 0 | 5.53 | — | |
| Time-Varying SBF CertificatesHorizon (H)=20, Degree (deg)=42026.04 | 99 | 0 | — | 0 | 8.71 | — | |
| Time-VaryingH=10, deg=42026.04 | 81 | 1.9 | — | — | 27.58 | 2.7 | |
| Time-VaryingH=15, deg=42026.04 | 79 | 2.1 | — | — | 37.45 | 3.1 | |
| Time-VaryingH=10, deg=42026.04 | 73 | 2.7 | — | — | 841.17 | 2 | |
| Time-VaryingH=15, deg=42026.04 | 69 | 3.1 | — | — | 983.15 | 4.3 | |
| Time-VaryingH=5, deg=22026.04 | 65 | 3.5 | — | — | 5.49 | 8.6 | |
| Time-VaryingH=5, deg=22026.04 | 62 | 3.8 | — | — | 316.86 | 2.2 | |
| Time-Varying SBF CertificatesHorizon (H)=10, Degree (deg)=22026.04 | 40 | 0.6 | — | 0.0005 | 2.34 | — | |
| InterpolationH=5, deg=22026.04 | 38 | — | — | — | 289.17 | — | |
| Time-InvariantH=5, deg=102026.04 | 28 | 6.7 | 4.6 | — | 884.12 | — | |
| Time-Invariant SBF CertificatesHorizon (H)=10, Degree (deg)=102026.04 | 22 | 0.74 | 0.062 | — | 7.42 | — | |
| Time-InvariantH=10, deg=102026.04 | 22 | 6.9 | 8.9 | — | 900.12 | — | |
| InterpolationH=10, deg=42026.04 | 22 | — | — | — | 786.22 | — | |
| Time-InvariantH=5, deg=62026.04 | 20 | 6.9 | 1.1 | — | 914.38 | — | |
| Time-InvariantH=15, deg=102026.04 | 18 | 7.4 | 8 | — | 912.37 | — | |
| Time-Invariant SBF CertificatesHorizon (H)=15, Degree (deg)=102026.04 | 13 | 0.75 | 0.12 | — | 8.01 | — | |
| Time-InvariantH=10, deg=62026.04 | 13 | 6.4 | 2.3 | — | 911.56 | — | |
| Time-Invariant SBF CertificatesHorizon (H)=20, Degree (deg)=102026.04 | 12 | 0.72 | 0.16 | — | 7.59 | — | |
| Time-InvariantH=15, deg=62026.04 | 7 | 8.9 | 4.2 | — | 953.88 | — | |
| InterpolationHorizon (H)=10, Degree (deg)=22026.04 | 0 | — | — | — | 7.88 | — | |
| InterpolationHorizon (H)=15, Degree (deg)=42026.04 | 0 | — | — | — | 12.85 | — | |
| InterpolationHorizon (H)=20, Degree (deg)=42026.04 | 0 | — | — | — | 41.07 | — |