Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

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-serie…