Extended Timed Regular Expressions
摘要
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.