The behavior of complex organisms or systems is often stored as time series data. Time series data is valuable because it contains valuable information in the form of timed patterns. However, this patterns are difficult to formalize and to detect. We present Extended Timed Regular Expressions (ETRE) to express complex timed patterns which can be systematically and efficiently matched in large sets of time series data. We translate ETRE to Timed Automata (TA), where pattern matching is computed by reachability analysis in TA. We implement our theory using C++ in the new tool TimeRex. Our tool can be used for online (run time) or offline (post processing) pattern matching. We run extensive experiments on real data. We have been able to efficiently match a number of relevant patterns.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Extended Timed Regular Expressions

  • Marco Muñiz,
  • Marius Mikučionis,
  • Kim G. Larsen

摘要

The behavior of complex organisms or systems is often stored as time series data. Time series data is valuable because it contains valuable information in the form of timed patterns. However, this patterns are difficult to formalize and to detect. We present Extended Timed Regular Expressions (ETRE) to express complex timed patterns which can be systematically and efficiently matched in large sets of time series data. We translate ETRE to Timed Automata (TA), where pattern matching is computed by reachability analysis in TA. We implement our theory using C++ in the new tool TimeRex. Our tool can be used for online (run time) or offline (post processing) pattern matching. We run extensive experiments on real data. We have been able to efficiently match a number of relevant patterns.