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

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.
Type de document :
Article dans une revue
Constraints, Springer Verlag, 2018, 23 (1), pp.44 - 86. 〈10.1007/s10601-017-9276-z〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01685567
Contributeur : Ekaterina Arafailova <>
Soumis le : mardi 16 janvier 2018 - 15:14:20
Dernière modification le : lundi 3 décembre 2018 - 14:50:57

Lien texte intégral

Identifiants

Citation

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis. Deriving generic bounds for time-series constraints based on regular expressions characteristics. Constraints, Springer Verlag, 2018, 23 (1), pp.44 - 86. 〈10.1007/s10601-017-9276-z〉. 〈hal-01685567〉

Partager

Métriques

Consultations de la notice

283