Errornous computation of distance metric - Githubissues

CIDARLAB / stl-Sharp

An implementation for STL-Sharp (composition of STL functions)

Other

0 stars 0 forks source link

Errornous computation of distance metric #2

Open rudanj opened 8 years ago

rudanj commented 8 years ago

In DistanceMetricTest:

`spec1 = "phi1(u1,u2,y1,y2)\n"

"\n"
"phi1 = (!(u2 > 2)) => (G[1, 3] y2 <= 8)\n"
"\n"
"io {u1: u1, u2: u2, y1: y}\n"; spec2 = "phi1(u1,u2,y1,y2)\n"
"\n"
"phi1 = (!(u1 < 10) && (u2 > 2)) => (F[0, 2] y1 > 2 || G[1, 3] y2 <= 8)\n"
"\n"
"io {u1: u1, u2: u2, y1: y}\n"; and then dist.computeDistance(stlspec1.spec, stlspec2.spec);` gives 0.0 as distance -- which doesn't seem to be realistic.