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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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
CSP-based inference of function block finite-state models from execution traces
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap. Computer Technologies Laboratory, ITMO University, Saint Petersburg.ORCID-id: 0000-0002-9315-9920
2017 (Engelska)Ingår i: Proceedings: 2017 IEEE 15th International Conference on Industrial Informatics, INDIN 2017, Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017, s. 714-719, artikel-id 8104860Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

A method for inferring finite-state models of function blocks from given execution traces based on translation to the constraint satisfaction problem (CSP) is proposed. In contrast to the previous method based on a metaheuristic algorithm, the approach suggested in this paper is exact: it allows to find a solution if it exists or to prove the opposite. The proposed method is evaluated on the example of constructing a finite-state model of a controller for a Pick-and-Place manipulator and is shown to be significantly faster then the metaheuristic algorithm

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017. s. 714-719, artikel-id 8104860
Serie
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-67632DOI: 10.1109/INDIN.2017.8104860ISI: 000427453200107Scopus ID: 2-s2.0-85041200470ISBN: 978-1-5386-0837-1 (digital)OAI: oai:DiVA.org:ltu-67632DiVA, id: diva2:1182471
Konferens
15th IEEE International Conference on Industrial Informatics, INDIN 2017, University of Applied Science Emden/LeerEmden, Germany, 24-26 July 2017
Tillgänglig från: 2018-02-13 Skapad: 2018-02-13 Senast uppdaterad: 2019-08-14Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Vyatkin, Valeriy

Sök vidare i DiVA

Av författaren/redaktören
Vyatkin, Valeriy
Av organisationen
Datavetenskap
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • 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