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

Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis

doi:10.1007/s10601-017-9276-z

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

Ekaterina Arafailova
, Nicolas Beldiceanu
, Helmut Simonis

IMT Atlantique

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	44-86
Number of pages	43
Journal	Constraints
Volume	23
Issue number	1
DOIs	https://doi.org/10.1007/s10601-017-9276-z
Publication status	Published - 1 Jan 2018

Keywords

Global constraints
Quantitative regular expressions
Regular programming
Sharp bounds
Time-series constraints

Access to Document

10.1007/s10601-017-9276-z

Cite this

@article{5f11877b375e4db0ac87b0ee08eb6aff,

title = "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.",

keywords = "Global constraints, Quantitative regular expressions, Regular programming, Sharp bounds, Time-series constraints",

author = "Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis",

note = "Publisher Copyright: {\textcopyright} 2017, Springer Science+Business Media, LLC.",

year = "2018",

month = jan,

day = "1",

doi = "10.1007/s10601-017-9276-z",

language = "English",

volume = "23",

pages = "44--86",

journal = "Constraints",

issn = "1383-7133",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

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

AU - Arafailova, Ekaterina

AU - Beldiceanu, Nicolas

AU - Simonis, Helmut

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

KW - Global constraints

KW - Quantitative regular expressions

KW - Regular programming

KW - Sharp bounds

KW - Time-series constraints

UR - https://www.scopus.com/pages/publications/85038876555

U2 - 10.1007/s10601-017-9276-z

DO - 10.1007/s10601-017-9276-z

M3 - Article

AN - SCOPUS:85038876555

SN - 1383-7133

VL - 23

SP - 44

EP - 86

JO - Constraints

JF - Constraints

IS - 1

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this