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

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

4 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017
Publisher	IEEE
Pages	714-719
Number of pages	6
ISBN (Electronic)	978-1-5386-0837-1
DOIs	https://doi.org/10.1109/INDIN.2017.8104860
Publication status	Published - 13 Nov 2017
MoE publication type	A4 Conference publication
Event	IEEE International Conference on Industrial Informatics - Emden, Germany Duration: 24 Jul 2017 → 26 Jul 2017 Conference number: 15

Publication series

Name	IEEE International Conference on Industrial Informatics
Publisher	IEEE
ISSN (Print)	1935-4576
ISSN (Electronic)	2378-363X

Conference

Conference	IEEE International Conference on Industrial Informatics
Abbreviated title	INDIN
Country/Territory	Germany
City	Emden
Period	24/07/2017 → 26/07/2017

Access to Document

10.1109/INDIN.2017.8104860

Cite this

Chivilikhin, D., Ulyantsev, V., Shalyto, A., & Vyatkin, V. (2017). CSP-based inference of function block finite-state models from execution traces. In Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 (pp. 714-719). Article 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. in Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 ., 8104860, IEEE International Conference on Industrial Informatics, IEEE, pp. 714-719, IEEE International Conference on Industrial Informatics, Emden, Germany, 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. p. 714-719 8104860 (IEEE International Conference on Industrial Informatics).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this