Ä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
Function Block Finite-State Model Identification Using SAT and CSP Solvers
Computer Technologies Laboratory, ITMO University, St. Petersburg, Russia.
Computer Technologies Laboratory, ITMO University, St. Petersburg, Russia.
Computer Technologies Laboratory, ITMO University, St. Petersburg, Russia.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap. Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland.ORCID-id: 0000-0002-9315-9920
2019 (Engelska)Ingår i: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 15, nr 8, s. 4558-4568Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

We propose a two-stage exact approach for identifying finite-state models of function blocks based on given execution traces. First, a base finite-state model is inferred with a method based on translation to the Boolean satisfiability problem, and then, the base model is generalized by inferring minimal guard conditions of the state machine with a method based on translation to the constraint satisfaction problem.

Ort, förlag, år, upplaga, sidor
IEEE, 2019. Vol. 15, nr 8, s. 4558-4568
Nyckelord [en]
Automata, control system synthesis, CSP, reverse engineering, SAT
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-75721DOI: 10.1109/TII.2019.2891614ISI: 000480360800016OAI: oai:DiVA.org:ltu-75721DiVA, id: diva2:1346623
Anmärkning

Validerad;2019;Nivå 2;2019-08-28 (johcin)

Tillgänglig från: 2019-08-28 Skapad: 2019-08-28 Senast uppdaterad: 2019-08-28Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Vyatkin, Valeriy

Sök vidare i DiVA

Av författaren/redaktören
Vyatkin, Valeriy
Av organisationen
Datavetenskap
I samma tidskrift
IEEE Transactions on Industrial Informatics
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
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