Function Block Finite-State Model Identification Using SAT and CSP Solvers

Tutkimustuotos: Lehtiartikkelivertaisarvioitu

Tutkijat

Organisaatiot

  • St. Petersburg National Research University of Information Technologies, Mechanics and Optics (ITMO)
  • Luleå University of Technology

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut4558-4568
Sivumäärä11
JulkaisuIEEE Transactions on Industrial Informatics
Vuosikerta15
Numero8
TilaJulkaistu - elokuuta 2019
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

ID: 38920209