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

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.

[1]  Thomas Colcombet,et al.  Approximate Comparison of Functions Computed by Distance Automata , 2015, Theory of Computing Systems.

[2]  Mats Carlsson,et al.  Using finite transducers for describing and synthesising structural time-series constraints , 2015, Constraints.

[3]  Gilles Pesant,et al.  A Regular Language Membership Constraint for Finite Sequences of Variables , 2004, CP.

[4]  Mats Carlsson,et al.  Global Constraint Catalog, Volume II, Time-Series Constraints , 2016, ArXiv.

[5]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[6]  Rajeev Alur,et al.  Regular Functions and Cost Register Automata , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

[7]  Marcel Paul Schützenberger,et al.  On the Definition of a Family of Automata , 1961, Inf. Control..

[8]  Toru Fujiwara,et al.  A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes , 2009, DBPL.

[9]  Mats Carlsson,et al.  A Generic Visualization Platform for CP , 2010, CP.

[10]  Rajeev Alur,et al.  Regular Programming for Quantitative Properties of Data Streams , 2016, ESOP.

[11]  Mats Carlsson,et al.  Deriving Filtering Algorithms from Constraint Checkers , 2004, CP.

[12]  Helmut Simonis,et al.  Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker , 2013, CP.

[13]  Maxime Crochemore,et al.  Algorithms on strings , 2007 .

[14]  Gilles Pesant,et al.  A Cost-Regular Based Hybrid Column Generation Approach , 2006, Constraints.

[15]  Mats Carlsson,et al.  Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators , 2014, CP.

[16]  Mats Carlsson,et al.  Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints , 2016, CP.

[17]  Pierre Flener,et al.  Time-Series Constraints: Improvements and Application in CP and MIP Contexts , 2016, CPAIOR.