Almost Event-Rate Independent Monitoring of Metric Temporal Logic.

David A. Basin Bhargav Nagaraja Bhatt Dmitriy Traytel

Published in: TACAS (2) (2017)

Keyphrases

metric temporal logic
abnormal events
monitoring system
real time
event detection
event driven
event recognition
data acquisition
growth rate
information systems
image sequences
expert systems
news articles
early warning
health monitoring