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
Liste complète des métadonnées

https://hal.inria.fr/hal-01685567
Contributor : Ekaterina Arafailova <>
Submitted on : Tuesday, January 16, 2018 - 3:14:20 PM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM

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

Record views

365