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 proceedingConference contributionScientificpeer-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 languageEnglish
Title of host publicationProceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019
PublisherIEEE
Pages466-469
Number of pages4
ISBN (Electronic)9781728129273
DOIs
Publication statusPublished - 1 Jul 2019
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Industrial Informatics - Aalto University, Helsinki-Espoo, Finland
Duration: 22 Jul 201925 Jul 2019
Conference number: 17
https://www.indin2019.org/

Publication series

NameIEEE International Conference on Industrial Informatics
PublisherIEEE
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
CountryFinland
CityHelsinki-Espoo
Period22/07/201925/07/2019
Internet address

Keywords

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

Fingerprint

Dive into the research topics of 'Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects'. Together they form a unique fingerprint.

Cite this