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.

中文翻译：

---

根据正则表达式特征推导时间序列约束的通用范围

我们引入正则表达式特征的概念，以简洁的方式表达时间序列约束的界限。这不仅使我们能够以合成的方式定义时间序列约束，而且能够以合成的方式处理它们的组合方面，而不必分别为每个时间序列约束开发临时边界。