Efficient On-line Detection of Temporal Patterns

TL;DR

This paper introduces efficient real-time schemes for detecting temporal event patterns, minimizing comparisons during monitoring by preprocessing and early halting when patterns cannot be extended.

Contribution

It proposes novel online monitoring schemes that reduce runtime comparisons through preprocessing and early termination strategies.

Findings

Significantly reduces comparison count during online detection

Enables real-time identification of temporal event patterns

Improves efficiency of on-line verification processes

Abstract

Identifying a temporal pattern of events is a fundamental task of on-line (real-time) verification. We present efficient schemes for on-line monitoring of events for identifying desired/undesired patterns of events. The schemes use preprocessing to ensure that the number of comparisons during run-time is minimized. In particular, the first comparison following the time point when an execution sub-sequence cannot be further extended to satisfy the temporal requirements, halts the process that monitors the sub-sequence.