Python STL_computation Beispiele

Beispiel #1

from ana_STL import STL_computation
from ana_STL import directed_distance

F = STL_computation(2, 105)

f_0 = F.add_predicate(1, "<", 0.1)
f_1 = F.add_predicate(2, "<", 0.6)
f_2 = F.Conj([f_0, f_1])
f_3 = F.add_predicate(2, ">=", 0.4)
f_4 = F.Conj([f_2, f_3])
f_5 = F.G(range(0, 10 + 1), f_4)
f_6 = F.add_predicate(1, ">=", 0.7)
f_7 = F.add_predicate(2, ">=", 0.8)
f_8 = F.add_predicate(2, "<", 0.2)
f_9 = F.Disj([f_7, f_8])
f_10 = F.Conj([f_6, f_9])
f_11 = F.G(range(70, 100 + 1), f_10)
f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1, "<=", 0.85)
f_14 = F.G(range(0, 35 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 1.05)
f_16 = F.G(range(35, 70 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 1.25)
f_19 = F.G(range(70, 105 + 1), f_18)
f_20 = F.add_predicate(1, ">=", 0.0)
f_21 = F.G(range(0, 35 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1, ">=", 0.35)
f_25 = F.G(range(35, 70 + 1), f_24)

Beispiel #2

Datei: grid1_gt.py Projekt: CIDARLAB/stl-Sharp

from ana_STL import STL_computation
from ana_STL import directed_distance

F = STL_computation(2, 105)

f_0 = F.add_predicate(1, "<", 0.1)
f_1 = F.add_predicate(2, "<", 0.6)
f_2 = F.Conj([f_0, f_1])
f_3 = F.add_predicate(2, ">=", 0.4)
f_4 = F.Conj([f_2, f_3])
f_5 = F.G(range(0, 10 + 1), f_4)
f_6 = F.add_predicate(1, ">=", 0.7)
f_7 = F.add_predicate(2, ">=", 0.8)
f_8 = F.add_predicate(2, "<", 0.2)
f_9 = F.Disj([f_7, f_8])
f_10 = F.Conj([f_6, f_9])
f_11 = F.G(range(70, 100 + 1), f_10)
f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1, "<=", 0.65)
f_14 = F.G(range(0, 15 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 0.6)
f_16 = F.G(range(15, 30 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 0.75)
f_19 = F.G(range(30, 60 + 1), f_18)
f_20 = F.add_predicate(1, "<=", 1.05)
f_21 = F.G(range(60, 75 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1, "<=", 1.05)
f_25 = F.G(range(75, 105 + 1), f_24)

Beispiel #3

Datei: grid3_gt.py Projekt: CIDARLAB/stl-Sharp

from ana_STL import STL_computation
from ana_STL import directed_distance

F = STL_computation(2, 100)

f_0 = F.add_predicate(1, "<", 0.1)
f_1 = F.add_predicate(2, "<", 0.6)
f_2 = F.Conj([f_0, f_1])
f_3 = F.add_predicate(2, ">=", 0.4)
f_4 = F.Conj([f_2, f_3])
f_5 = F.G(range(0, 10 + 1), f_4)
f_6 = F.add_predicate(1, ">=", 0.7)
f_7 = F.add_predicate(2, ">=", 0.8)
f_8 = F.add_predicate(2, "<", 0.2)
f_9 = F.Disj([f_7, f_8])
f_10 = F.Conj([f_6, f_9])
f_11 = F.G(range(70, 100 + 1), f_10)
f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1, "<=", 0.75)
f_14 = F.G(range(0, 50 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 1.0)
f_16 = F.G(range(50, 75 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 1.15)
f_19 = F.G(range(75, 100 + 1), f_18)
f_20 = F.add_predicate(1, ">=", 0.0)
f_21 = F.G(range(0, 25 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1, ">=", 0.25)
f_25 = F.G(range(25, 50 + 1), f_24)

Beispiel #4

from ana_STL import STL_computation
from ana_STL import directed_distance

F = STL_computation(2, 100)

f_0 = F.add_predicate(1, "<", 0.1)
f_1 = F.add_predicate(2, "<", 0.6)
f_2 = F.Conj([f_0, f_1])
f_3 = F.add_predicate(2, ">=", 0.4)
f_4 = F.Conj([f_2, f_3])
f_5 = F.G(range(0, 10 + 1), f_4)
f_6 = F.add_predicate(1, ">=", 0.7)
f_7 = F.add_predicate(2, ">=", 0.8)
f_8 = F.add_predicate(2, "<", 0.2)
f_9 = F.Disj([f_7, f_8])
f_10 = F.Conj([f_6, f_9])
f_11 = F.G(range(70, 100 + 1), f_10)
f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1, "<=", 1.0)
f_14 = F.G(range(0, 50 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 1.25)
f_16 = F.G(range(50, 100 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, ">=", 0.0)
f_19 = F.G(range(0, 50 + 1), f_18)
f_20 = F.add_predicate(1, ">=", 0.5)
f_21 = F.G(range(50, 100 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(2, "<=", 1.1)
f_25 = F.G(range(0, 50 + 1), f_24)

Beispiel #5

from ana_STL import STL_computation
from ana_STL import directed_distance

F = STL_computation(2, 120)

f_0 = F.add_predicate(1, "<", 0.1)
f_1 = F.add_predicate(2, "<", 0.6)
f_2 = F.Conj([f_0, f_1])
f_3 = F.add_predicate(2, ">=", 0.4)
f_4 = F.Conj([f_2, f_3])
f_5 = F.G(range(0, 10 + 1), f_4)
f_6 = F.add_predicate(1, ">=", 0.7)
f_7 = F.add_predicate(2, ">=", 0.8)
f_8 = F.add_predicate(2, "<", 0.2)
f_9 = F.Disj([f_7, f_8])
f_10 = F.Conj([f_6, f_9])
f_11 = F.G(range(70, 100 + 1), f_10)
f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1, "<=", 0.9)
f_14 = F.G(range(0, 40 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 1.2)
f_16 = F.G(range(40, 80 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 1.3)
f_19 = F.G(range(80, 120 + 1), f_18)
f_20 = F.add_predicate(1, ">=", 0.0)
f_21 = F.G(range(0, 40 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1, ">=", 0.4)
f_25 = F.G(range(40, 120 + 1), f_24)

Beispiel #6

Datei: gt_grid2.py Projekt: CIDARLAB/stl-Sharp

from ana_STL import STL_computation
from ana_STL import directed_distance

F = STL_computation(2, 100)

f_0 = F.add_predicate(1, "<", 0.1)
f_1 = F.add_predicate(2, "<", 0.6)
f_2 = F.Conj([f_0, f_1])
f_3 = F.add_predicate(2, ">=", 0.4)
f_4 = F.Conj([f_2, f_3])
f_5 = F.G(range(0, 10 + 1), f_4)
f_6 = F.add_predicate(1, ">=", 0.7)
f_7 = F.add_predicate(2, ">=", 0.8)
f_8 = F.add_predicate(2, "<", 0.2)
f_9 = F.Disj([f_7, f_8])
f_10 = F.Conj([f_6, f_9])
f_11 = F.G(range(70, 100 + 1), f_10)
f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1, "<=", 0.7)
f_14 = F.G(range(0, 20 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 0.6)
f_16 = F.G(range(20, 40 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 1.0)
f_19 = F.G(range(40, 60 + 1), f_18)
f_20 = F.add_predicate(1, "<=", 1.1)
f_21 = F.G(range(60, 100 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1, ">=", 0.0)
f_25 = F.G(range(0, 20 + 1), f_24)

Beispiel #7

from ana_STL import STL_computation
from ana_STL import directed_distance

F=STL_computation(2,100)

f_0 = F.add_predicate(1,"<",0.1)
f_1 = F.add_predicate(2,"<",0.6)
f_2 = F.Conj([f_0, f_1])
f_3 = F.add_predicate(2,">=",0.4)
f_4 = F.Conj([f_2, f_3])
f_5 = F.G(range(0, 10+1), f_4)
f_6 = F.add_predicate(1,">=",0.7)
f_7 = F.add_predicate(2,">=",0.8)
f_8 = F.add_predicate(2,"<",0.2)
f_9 = F.Disj([f_7, f_8])
f_10 = F.Conj([f_6, f_9])
f_11 = F.G(range(70, 100+1), f_10)
f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1,"<=",0.6)
f_14 = F.G(range(0, 10+1), f_13)
f_15 = F.add_predicate(1,"<=",0.4)
f_16 = F.G(range(10, 20+1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1,"<=",0.5)
f_19 = F.G(range(20, 30+1), f_18)
f_20 = F.add_predicate(1,"<=",0.7)
f_21 = F.G(range(30, 40+1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1,"<=",0.9)