Specifying and detecting temporal patterns with shape expressions

Modern cyber-physical systems (CPS) and the Internet of things (IoT) are data factories generating, measuring and recording huge amounts of time series. The useful information in time series is usually present in the form of sequential patterns. We propose shape expressions as a declarative language...

Full description

Saved in:
Bibliographic Details
Published in:International journal on software tools for technology transfer Vol. 23; no. 4; pp. 565 - 577
Main Authors: Ničković, Dejan, Qin, Xin, Ferrère, Thomas, Mateis, Cristinel, Deshmukh, Jyotirmoy
Format: Journal Article
Language:English
Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2021
Springer Nature B.V
Subjects:
Avionics
Computer Science
Cyber-physical systems
Internet of Things
Matching
Parameters
Semantics
Software Engineering
Software Engineering/Programming and Operating Systems
Statistical analysis
Theory of Computation
Time series
Statistical regression
Runtime monitoring
Regular expressions
Pattern matching
ISSN:1433-2779, 1433-2787
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Modern cyber-physical systems (CPS) and the Internet of things (IoT) are data factories generating, measuring and recording huge amounts of time series. The useful information in time series is usually present in the form of sequential patterns. We propose shape expressions as a declarative language for specification and extraction of rich temporal patterns from possibly noisy data. Shape expressions are regular expressions with arbitrary (linear, exponential, sinusoidal, etc.) shapes with parameters as atomic predicates and additional constraints on these parameters. We associate with shape expressions novel noisy semantics that combines regular expression matching semantics with statistical regression. We study essential properties of the language and propose an efficient heuristic for approximate matching of shape expressions. We demonstrate the applicability of this technique on two case studies from the health and the avionics domains.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-021-00627-x