Safety Verification on Volterra 2D system
0.99PsInterpolation
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| InterpolationHorizon (H)=5, Degree (deg)=42026.04 | 0.99 | — | — | — | 0.89 | |
| Time-Varying SBF CertificatesHorizon (H)=5, Degree (deg)=42026.04 | 0.99 | 0 | — | 0 | 0.81 | |
| InterpolationHorizon (H)=10, Degree (deg)=42026.04 | 0.99 | — | — | — | 2.26 | |
| Time-Varying SBF CertificatesHorizon (H)=10, Degree (deg)=42026.04 | 0.99 | 0 | — | 0 | 1.98 | |
| InterpolationHorizon (H)=20, Degree (deg)=42026.04 | 0.99 | — | — | — | 3.41 | |
| Time-Varying SBF CertificatesHorizon (H)=20, Degree (deg)=42026.04 | 0.99 | 0 | — | 0 | 2.87 | |
| Time-Invariant SBF CertificatesHorizon (H)=5, Degree (deg)=102026.04 | 0.95 | 0.011 | 0.036 | — | 19.01 | |
| Time-Invariant SBF CertificatesHorizon (H)=10, Degree (deg)=102026.04 | 0.92 | 0.011 | 0.072 | — | 19.46 | |
| Time-Invariant SBF CertificatesHorizon (H)=20, Degree (deg)=102026.04 | 0.49 | 0.021 | 0.49 | — | 19.49 |