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

Merge branch 'master' of github.com:mvcisback/py-metric-temporal-logic

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2019-02-11 16:59:33 -08:00
commit 14e215a8b2
1 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

16
README.md
View file

@ -147,13 +147,23 @@ phi = mtl.parse('F(a | b)')
print(phi(data, quantitative=False)) print(phi(data, quantitative=False))
# output: True # output: True
# Evaluate at t=3 phi = mtl.parse('F(a | b)')
print(phi(data, t=3, quantitative=False)) print(phi(data))
# output: True
# Note, quantitative parameter defaults to False
# Evaluate at t=3.
print(phi(data, t=3))
# output: False # output: False
# Compute satisifaction signal
print(phi(data, t=None)
# output: [(0, True), (0.2, True), (4, False)]
# Evaluate with discrete time # Evaluate with discrete time
phi = mtl.parse('X b') phi = mtl.parse('X b')
print(phi(data, dt=0.2, quantitative=False)) print(phi(data, dt=0.2))
# output: True # output: True
``` ```