Efficient online detection of temporal patterns

Shlomi Dolev, Jonathan Goldfeld, Rami Puzis, K. Muni Venkateswarlu

Research output: Contribution to journalArticlepeer-review

Abstract

Identifying a temporal pattern of events is a fundamental task of online (real- time) verification. We present efficient schemes for online 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.

Original languageEnglish
Article numbere53
JournalPeerJ Computer Science
Volume2016
Issue number4
DOIs
StatePublished - 1 Jan 2016

Keywords

  • Pattern matching
  • Time series
  • Verification

Fingerprint

Dive into the research topics of 'Efficient online detection of temporal patterns'. Together they form a unique fingerprint.

Cite this