Skip to Main content Skip to Navigation
Journal articles

Deriving generic bounds for time-series constraints based on regular expressions characteristics

Abstract : We introduce the concept of regular expression characteristics as a unified way to concisely express bounds on time-series constraints. This allows us not only to define time-series constraints in a compositional way, but also to deal with their combinatorial aspect in a compositional way, without developing ad-hoc bounds for each time-series constraint separately.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01685567
Contributor : Ekaterina Arafailova Connect in order to contact the contributor
Submitted on : Tuesday, January 16, 2018 - 3:14:20 PM
Last modification on : Wednesday, January 19, 2022 - 3:48:24 PM

Links full text

Identifiers

Citation

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis. Deriving generic bounds for time-series constraints based on regular expressions characteristics. Constraints, Springer Verlag, 2018, 23 (1), pp.44 - 86. ⟨10.1007/s10601-017-9276-z⟩. ⟨hal-01685567⟩

Share

Metrics

Les métriques sont temporairement indisponibles