Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Using finite transducers for describing and synthesising structural time-series constraints
RISE, Swedish ICT, SICS, Computer Systems Laboratory.ORCID iD: 0000-0003-3079-8095
2015 (English)In: Constraints, ISSN 1383-7133, E-ISSN 1572-9354, Vol. 21, 22-40 p.Article in journal (Refereed) Published
Abstract [en]

We describe a large family of constraints for structural time series by means of function composition. These constraints are on aggregations of features of patterns that occur in a time series, such as the number of its peaks, or the range of its steepest ascent. The patterns and features are usually linked to physical properties of the time series generator, which are important to capture in a constraint model of the system, i.e. a conjunction of constraints that produces similar time series. We formalise the patterns using finite transducers, whose output alphabet corresponds to semantic values that precisely describe the steps for identifying the occurrences of a pattern. Based on that description, we automatically synthesise automata with accumulators, as well as constraint checkers. The description scheme not only unifies the structure of the existing 30 time-series constraints in the Global Constraint Catalogue, but also leads to over 600 new constraints, with more than 100,000 lines of synthesised code.

Place, publisher, year, edition, pages
Springer , 2015, 5. Vol. 21, 22-40 p.
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-24496DOI: 10.1007/s10601-015-9200-3OAI: oai:DiVA.org:ri-24496DiVA: diva2:1043580
Projects
SICStus Prolog
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-01-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full texthttp

Search in DiVA

By author/editor
Carlsson, Mats
By organisation
Computer Systems Laboratory
In the same journal
Constraints
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.30.0