Exemple #1
0
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)
Exemple #2
0
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.8)
f_14 = F.G(range(0, 30 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 0.9)
f_16 = F.G(range(30, 60 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 1.2)
f_19 = F.G(range(60, 120 + 1), f_18)
f_20 = F.add_predicate(1, ">=", 0.0)
f_21 = F.G(range(0, 30 + 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.3)
f_25 = F.G(range(30, 60 + 1), f_24)