Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects

Victor Dubinin; Artem Voinov; Ilya Senokosov; Valeriy Vyatkin

doi:10.1109/INDIN41052.2019.8972052

Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects

Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin

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

Abstract

Efficient application of model-based software design methodologies in industrial automation requires methods and tools for automatic code generation. Formal models can be especially useful to avoid ambiguity, to verify and evaluate performance, which ultimately will improve the quality and reliability of the project and lead to lower design costs. This paper proposes methods for implementing state-transition formal models, such as finite state and pushdown automata, as well as extended Petri nets (A-nets) by means of IEC 61499 function blocks. These implementation approaches can be used in the design of industrial cyber-physical systems for monitoring, diagnostics, conformance checking, detection and selection of specified sequences of events and parameterized objects from an input stream. One of the proposed applications is illustrated using an example of an assembly process with LEGO blocks.

Original language	English
Title of host publication	Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019
Publisher	IEEE
Pages	466-469
Number of pages	4
ISBN (Electronic)	9781728129273
DOIs	https://doi.org/10.1109/INDIN41052.2019.8972052
Publication status	Published - 1 Jul 2019
MoE publication type	A4 Article in a conference publication
Event	IEEE International Conference on Industrial Informatics - Aalto University, Helsinki-Espoo, Finland Duration: 22 Jul 2019 → 25 Jul 2019 Conference number: 17 https://www.indin2019.org/

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	Finland
City	Helsinki-Espoo
Period	22/07/2019 → 25/07/2019
Internet address	https://www.indin2019.org/

Keywords

A-nets
Conformance checking
Extended Petri nets
Function block
IEC 61499
LEGO
Non-deterministic finite automata
Pushdown automata
Selection system

Access to Document

10.1109/INDIN41052.2019.8972052

OpenUrl availability

Full text

Cite this

Dubinin, V., Voinov, A., Senokosov, I., & Vyatkin, V. (2019). Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. In Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019 (pp. 466-469). [8972052] (IEEE International Conference on Industrial Informatics). IEEE. https://doi.org/10.1109/INDIN41052.2019.8972052

@inproceedings{e186b274d19149f48b56f19e75c4e520,

title = "Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects",

abstract = "Efficient application of model-based software design methodologies in industrial automation requires methods and tools for automatic code generation. Formal models can be especially useful to avoid ambiguity, to verify and evaluate performance, which ultimately will improve the quality and reliability of the project and lead to lower design costs. This paper proposes methods for implementing state-transition formal models, such as finite state and pushdown automata, as well as extended Petri nets (A-nets) by means of IEC 61499 function blocks. These implementation approaches can be used in the design of industrial cyber-physical systems for monitoring, diagnostics, conformance checking, detection and selection of specified sequences of events and parameterized objects from an input stream. One of the proposed applications is illustrated using an example of an assembly process with LEGO blocks.",

keywords = "A-nets, Conformance checking, Extended Petri nets, Function block, IEC 61499, LEGO, Non-deterministic finite automata, Pushdown automata, Selection system",

author = "Victor Dubinin and Artem Voinov and Ilya Senokosov and Valeriy Vyatkin",

year = "2019",

month = jul,

day = "1",

doi = "10.1109/INDIN41052.2019.8972052",

language = "English",

series = "IEEE International Conference on Industrial Informatics",

publisher = "IEEE",

pages = "466--469",

booktitle = "Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019",

address = "United States",

note = "IEEE International Conference on Industrial Informatics, INDIN ; Conference date: 22-07-2019 Through 25-07-2019",

url = "https://www.indin2019.org/",

}

Dubinin, V, Voinov, A, Senokosov, I & Vyatkin, V 2019, Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. in Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019., 8972052, IEEE International Conference on Industrial Informatics, IEEE, pp. 466-469, IEEE International Conference on Industrial Informatics, Helsinki-Espoo, Finland, 22/07/2019. https://doi.org/10.1109/INDIN41052.2019.8972052

Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. / Dubinin, Victor; Voinov, Artem; Senokosov, Ilya et al.

Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019. IEEE, 2019. p. 466-469 8972052 (IEEE International Conference on Industrial Informatics).

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

TY - GEN

T1 - Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects

AU - Dubinin, Victor

AU - Voinov, Artem

AU - Senokosov, Ilya

AU - Vyatkin, Valeriy

N1 - Conference code: 17

PY - 2019/7/1

Y1 - 2019/7/1

N2 - Efficient application of model-based software design methodologies in industrial automation requires methods and tools for automatic code generation. Formal models can be especially useful to avoid ambiguity, to verify and evaluate performance, which ultimately will improve the quality and reliability of the project and lead to lower design costs. This paper proposes methods for implementing state-transition formal models, such as finite state and pushdown automata, as well as extended Petri nets (A-nets) by means of IEC 61499 function blocks. These implementation approaches can be used in the design of industrial cyber-physical systems for monitoring, diagnostics, conformance checking, detection and selection of specified sequences of events and parameterized objects from an input stream. One of the proposed applications is illustrated using an example of an assembly process with LEGO blocks.

AB - Efficient application of model-based software design methodologies in industrial automation requires methods and tools for automatic code generation. Formal models can be especially useful to avoid ambiguity, to verify and evaluate performance, which ultimately will improve the quality and reliability of the project and lead to lower design costs. This paper proposes methods for implementing state-transition formal models, such as finite state and pushdown automata, as well as extended Petri nets (A-nets) by means of IEC 61499 function blocks. These implementation approaches can be used in the design of industrial cyber-physical systems for monitoring, diagnostics, conformance checking, detection and selection of specified sequences of events and parameterized objects from an input stream. One of the proposed applications is illustrated using an example of an assembly process with LEGO blocks.

KW - A-nets

KW - Conformance checking

KW - Extended Petri nets

KW - Function block

KW - IEC 61499

KW - LEGO

KW - Non-deterministic finite automata

KW - Pushdown automata

KW - Selection system

UR - http://www.scopus.com/inward/record.url?scp=85079030653&partnerID=8YFLogxK

U2 - 10.1109/INDIN41052.2019.8972052

DO - 10.1109/INDIN41052.2019.8972052

M3 - Conference contribution

AN - SCOPUS:85079030653

T3 - IEEE International Conference on Industrial Informatics

SP - 466

EP - 469

BT - Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019

PB - IEEE

T2 - IEEE International Conference on Industrial Informatics

Y2 - 22 July 2019 through 25 July 2019

ER -

Dubinin V, Voinov A, Senokosov I, Vyatkin V. Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. In Proceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019. IEEE. 2019. p. 466-469. 8972052. (IEEE International Conference on Industrial Informatics). doi: 10.1109/INDIN41052.2019.8972052

Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects

Abstract

Publication series

Conference

Keywords

Access to Document

OpenUrl availability

Other files and links

Fingerprint

Cite this