Deriving generic bounds for time-series constraints based on regular expressions characteristics - Archive ouverte HAL Access content directly
Journal Articles Constraints Year : 2018

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

(1, 2) , (1, 2) , (3, 4)
1
2
3
4

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.

Dates and versions

hal-01685567 , version 1 (16-01-2018)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More