teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

implement smoketest robustness checks

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2016-10-09 19:48:26 -07:00
parent fb617482bf
commit 42efc69556
3 changed files with 27 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

5
robustness.py
View file

@ -6,6 +6,7 @@ from lenses import lens
import stl.ast
from stl.utils import set_params, param_lens
oo = float('inf')
@singledispatch
def pointwise_robustness(stl):
@ -26,14 +27,14 @@ def _(stl):
def _(stl):
lo, hi = stl.interval
return lambda x, t: max((pointwise_robustness(stl.arg)(x, t + t2)
for t2 in x[lo:hi].index), default=float('inf'))
for t2 in x[lo:hi].index), default=-oo)
@pointwise_robustness.register(stl.G)
def _(stl):
lo, hi = stl.interval
return lambda x, t: min((pointwise_robustness(stl.arg)(x, t + t2)
for t2 in x[lo:hi].index), default=-float('inf'))
for t2 in x[lo:hi].index), default=oo)
@pointwise_robustness.register(stl.Neg)