Monitoring Arithmetic Temporal Properties
main
help
load example
blood sugar
temperature control
heart rate zone
simple example
Trace
x = 0, y = 0 x = 1.5, y = 1 x = 2, y = 2 x = 3, y = 1
LTLf property
Check
NFA
DFA
OUTPUT
Ready for monitoring.
Top