Skip to Main content Skip to Navigation
Conference papers

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals

Abstract : Signal regular expressions can specify sequential properties of real-valued signals based on threshold conditions, regular operations, and duration constraints. In this paper we endow them with a quantitative semantics which indicates how robustly a signal matches or does not match a given expression. First, we show that this semantics is a safe approximation of a distance between the signal and the language defined by the expression. Then, we consider the robust matching problem, that is, computing the quantitative semantics of every segment of a given signal relative to an expression. We present an algorithm that solves this problem for piecewise-constant and piecewise-linear signals and show that for such signals the robustness map is a piecewise-linear function. The availability of an indicator describing how robustly a signal segment matches some regular pattern provides a general framework for quantitative monitoring of cyber-physical systems.
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01552132
Contributor : Alexey Bakhirkin <>
Submitted on : Friday, June 30, 2017 - 7:33:04 PM
Last modification on : Thursday, March 26, 2020 - 1:16:57 AM
Document(s) archivé(s) le : Monday, January 22, 2018 - 10:23:57 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01552132, version 1

Collections

Citation

Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Sep 2017, Berlin, Germany. ⟨hal-01552132⟩

Share

Metrics

Record views

248

Files downloads

263