-
Notifications
You must be signed in to change notification settings - Fork 16
EMbrake
Marcelo Forets edited this page Apr 6, 2020
·
65 revisions
- Use
mforets/RAbranch in LazySets. - Models: embrake.jl in the tests folder
- Notebook: Verif_EMBrake
| Alg. | Jitter | Run(s) | Alloc | |
|---|---|---|---|---|
| nopv | GLGM06(δ=1e-8, max_order=3) |
no | 4.7 | 4.9GB |
| nopv | GLGM06(δ=1e-8, max_order=3) |
ζ=1e-7 | 4.64 s | 4.99GB |
| pv1 | ASB07(δ=1e-8, max_order=3) |
no | NA | |
ASB07(δ=1e-8, max_order=3) |
ζ=1e-7 | NA | ||
| pv2 | ASB07(δ=1e-8, max_order=3) |
no | NA | |
ASB07(δ=1e-8, max_order=3) |
ζ=1e-7 | NA |
- In all cases,
Tsample = 1e-4 - Final width: defined as the width of the final set projected to variable
I(current). - p.v. 1: parameter variation changing 1 constant, Flow* setting
- p.v. 2: parameter variation changing all constants associated to physical variables by +-5% w.r.t. their nominal values
-
GmeansGLGM06 -
AmeansASB07 - n°s: number of sets
Other data:
| Alg. | Jitter | w(I[end]) | w(x[end]) | n°s | |
|---|---|---|---|---|---|
| nopv | GLGM06(δ=1e-8, max_order=3) |
no | 1.369 | 7.34e-5 | 10010000 |
| nopv | GLGM06(δ=1e-8, max_order=3) |
ζ=1e-7 | 28.6 | 1.5e-3 | 9999990 |
| pv1 | ASB07(δ=1e-8, max_order=3) |
no | |||
ASB07(δ=1e-8, max_order=3) |
ζ=1e-7 | ||||
| pv2 | ASB07(δ=1e-8, max_order=3) |
no | |||
ASB07(δ=1e-8, max_order=3) |
ζ=1e-7 |