Monitoring Arithmetic Temporal Properties
main
help
load example
blood sugar
temperature control
heart rate zone
simple example
Trace
glucose = 100, toolow = 0, toohigh = 0 glucose = 110, toolow = 0, toohigh = 0 glucose = 130, toolow = 0, toohigh = 0 glucose = 145, toolow = 0, toohigh = 0 glucose = 147, toolow = 0, toohigh = 1 glucose = 120, toolow = 0, toohigh = 1 glucose = 80, toolow = 0, toohigh = 1 glucose = 60, toolow = 0, toohigh = 0 glucose = 55, toolow = 0, toohigh = 0 glucose = 59, toolow = 0, toohigh = 0
LTLf property
Check
NFA
DFA
OUTPUT
Ready for monitoring.
Top