At the 19th International Conference on Runtime Verification in Portugal, the AIT experts Dejan Nickovic and Cristinel Mateis were awarded the Best Paper Award for their paper entitled "Shape Expressions for Specifying and Extracting Signal Features". Dejan Nickovic, AIT Senior Scientist at the Center for Digital Safety & Security and Cristinel Mateis, AIT Scientist at the Center for Digital Safety & Security accepted the award on behalf of the team.
Paper Title: Shape Expressions for Specifying and Extracting Signal Features
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 diffcult 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 ecient approximate shape expression matching procedure. We demonstrate the wide applicability of this technique on two case studies.
More Information at https://link.springer.com/book/10.1007/978-3-030-32079-9