Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Using finite transducers for describing and synthesising structural time-series constraints
Ecole des Mines de Nantes, France.
RISE., Swedish ICT, SICS, Computer Systems Laboratory.ORCID-id: 0000-0003-3079-8095
Ecole des Mines de Nantes, France.
University College Cork, Ireland.
2015 (Engelska)Ingår i: Constraints, ISSN 1383-7133, E-ISSN 1572-9354, Vol. 21, nr 1, s. 22-40Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
Springer , 2015, 5. Vol. 21, nr 1, s. 22-40
Nyckelord [en]
Global constraint, Time series, Global constraint catalogue, Constraint synthesis, Finite transducer
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-24496DOI: 10.1007/s10601-015-9200-3Scopus ID: 2-s2.0-84953346838OAI: oai:DiVA.org:ri-24496DiVA, id: diva2:1043580
Projekt
SICStus PrologTillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2020-01-31Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopushttp

Personposter BETA

Carlsson, Mats

Sök vidare i DiVA

Av författaren/redaktören
Carlsson, Mats
Av organisationen
Computer Systems Laboratory
I samma tidskrift
Constraints
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 15 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.9