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

## TL;DR

This paper introduces regular expression characteristics to derive generic bounds for time-series constraints, enabling a unified and compositional approach to defining and managing these bounds without ad-hoc methods.

## Contribution

It presents a novel concept of regular expression characteristics that unify and simplify the derivation of bounds for time-series constraints.

## Key findings

- Provides a unified framework for time-series constraint bounds
- Enables compositional handling of constraints
- Eliminates need for ad-hoc bounds for individual constraints

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

---
Source: https://tomesphere.com/paper/1703.06783