Monitoring Arithmetic Temporal Properties
main
help
load example
blood sugar
temperature control
heart rate zone
simple example
Trace
heartrate = 135, toolow = 0, toohigh = 0 heartrate = 135, toolow = 0, toohigh = 0 heartrate = 140, toolow = 0, toohigh = 0 heartrate = 145, toolow = 0, toohigh = 0 heartrate = 147, toolow = 0, toohigh = 0 heartrate = 149, toolow = 0, toohigh = 1 heartrate = 143, toolow = 0, toohigh = 1 heartrate = 140, toolow = 0, toohigh = 0 heartrate = 130, toolow = 0, toohigh = 0 heartrate = 130, toolow = 1, toohigh = 0
LTLf property
Check
NFA
DFA
OUTPUT
Ready for monitoring.
Top