@InProceedings{10.1007/978-3-030-32079-9_17,
author="Ni{\v{c}}kovi{\'{c}}, Dejan
and Qin, Xin
and Ferr{\`e}re, Thomas
and Mateis, Cristinel
and Deshmukh, Jyotirmoy",
editor="Finkbeiner, Bernd
and Mariani, Leonardo",
title="Shape Expressions for Specifying and Extracting Signal Features",
booktitle="Runtime Verification",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="292--309",
abstract="Cyber-physical systems (CPS) and the Internet-of-Things (IoT) result in a tremendous amount of generated, measured and recorded time-series data. Extracting temporal segments that encode patterns with useful information out of these huge amounts of data is an extremely difficult problem. We propose shape expressions as a declarative formalism for specifying, querying and extracting sophisticated 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 equip shape expressions with a novel noisy semantics that combines regular expression matching semantics with statistical regression. We characterize essential properties of the formalism and propose an efficient approximate shape expression matching procedure. We demonstrate the wide applicability of this technique on two case studies.",
isbn="978-3-030-32079-9"
}