Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics
Formal Languages and Automata Theory
2017-03-21 v1
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.
Cite
@article{arxiv.1703.06783,
title = {Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics},
author = {Ekaterina Arafailova and Nicolas Beldiceanu and Helmut Simonis},
journal= {arXiv preprint arXiv:1703.06783},
year = {2017}
}
Comments
45 pages, 6 figures, 10 tables