Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints

no code implementations • 15 Jan 2019 • Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Many constraints restricting the result of some computations over an integer sequence can be compactly represented by register automata.

Time Series Time Series Analysis

Global Constraint Catalog, Volume II, Time-Series Constraints

no code implementations • 26 Sep 2016 • Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme.

Time Series Time Series Analysis