CSP-based inference of function block finite-state models from execution traces

Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto; Valeriy Vyatkin

doi:10.1109/INDIN.2017.8104860

CSP-based inference of function block finite-state models from execution traces

Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

4 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017
Kustantaja	IEEE
Sivut	714-719
Sivumäärä	6
ISBN (elektroninen)	978-1-5386-0837-1
DOI - pysyväislinkit	https://doi.org/10.1109/INDIN.2017.8104860
Tila	Julkaistu - 13 marrask. 2017
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	IEEE International Conference on Industrial Informatics - Emden, Saksa Kesto: 24 heinäk. 2017 → 26 heinäk. 2017 Konferenssinumero: 15

Julkaisusarja

Nimi	IEEE International Conference on Industrial Informatics
Kustantaja	IEEE
ISSN (painettu)	1935-4576
ISSN (elektroninen)	2378-363X

Conference

Conference	IEEE International Conference on Industrial Informatics
Lyhennettä	INDIN
Maa/Alue	Saksa
Kaupunki	Emden
Ajanjakso	24/07/2017 → 26/07/2017

Pääsy asiakirjaan

10.1109/INDIN.2017.8104860

Siteeraa tätä

Chivilikhin, D., Ulyantsev, V., Shalyto, A., & Vyatkin, V. (2017). CSP-based inference of function block finite-state models from execution traces. teoksessa Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 (Sivut 714-719). Artikkeli 8104860 (IEEE International Conference on Industrial Informatics). IEEE. https://doi.org/10.1109/INDIN.2017.8104860

@inproceedings{5bfad53e3a1c4398a86933b35931443f,

title = "CSP-based inference of function block finite-state models from execution traces",

abstract = "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.",

author = "Daniil Chivilikhin and Vladimir Ulyantsev and Anatoly Shalyto and Valeriy Vyatkin",

year = "2017",

month = nov,

day = "13",

doi = "10.1109/INDIN.2017.8104860",

language = "English",

series = "IEEE International Conference on Industrial Informatics",

publisher = "IEEE",

pages = "714--719",

booktitle = "Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017",

address = "United States",

note = "IEEE International Conference on Industrial Informatics, INDIN ; Conference date: 24-07-2017 Through 26-07-2017",

}

Chivilikhin, D, Ulyantsev, V, Shalyto, A & Vyatkin, V 2017, CSP-based inference of function block finite-state models from execution traces. julkaisussa Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 ., 8104860, IEEE International Conference on Industrial Informatics, IEEE, Sivut 714-719, IEEE International Conference on Industrial Informatics, Emden, Saksa, 24/07/2017. https://doi.org/10.1109/INDIN.2017.8104860

CSP-based inference of function block finite-state models from execution traces. / Chivilikhin, Daniil; Ulyantsev, Vladimir; Shalyto, Anatoly et al.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 . IEEE, 2017. s. 714-719 8104860 (IEEE International Conference on Industrial Informatics).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - CSP-based inference of function block finite-state models from execution traces

AU - Chivilikhin, Daniil

AU - Ulyantsev, Vladimir

AU - Shalyto, Anatoly

AU - Vyatkin, Valeriy

N1 - Conference code: 15

PY - 2017/11/13

Y1 - 2017/11/13

N2 - 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.

AB - 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.

U2 - 10.1109/INDIN.2017.8104860

DO - 10.1109/INDIN.2017.8104860

M3 - Conference article in proceedings

T3 - IEEE International Conference on Industrial Informatics

SP - 714

EP - 719

BT - Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017

PB - IEEE

T2 - IEEE International Conference on Industrial Informatics

Y2 - 24 July 2017 through 26 July 2017

ER -

CSP-based inference of function block finite-state models from execution traces

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

Sormenjälki

Siteeraa tätä