Efficient On-line Detection of Temporal Patterns
Data Structures and Algorithms
2015-05-28 v2
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.
Cite
@article{arxiv.1410.2480,
title = {Efficient On-line Detection of Temporal Patterns},
author = {Shlomi Dolev and Jonathan Goldfeld and Rami Puzis},
journal= {arXiv preprint arXiv:1410.2480},
year = {2015}
}
Comments
withdrawn due to submission policy