Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects
Penza State University, Penza, Russian Federation.
Penza State University, Penza, Russian Federation.
Penza State University, Penza, Russian Federation.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Aalto University, Helsinki, Finland .ORCID iD: 0000-0002-9315-9920
2019 (English)In: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), IEEE, 2019, p. 466-469Conference paper, Published paper (Other academic)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE, 2019. p. 466-469
Series
IEEE International Conference on Industrial Informatics (INDIN), ISSN 1935-4576, E-ISSN 2378-363X
Keywords [en]
non-deterministic finite automata, pushdown automata, extended Petri nets, A-nets, conformance checking, selection system, LEGO, function block, IEC 61499
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-78678DOI: 10.1109/INDIN41052.2019.8972052ISI: 000529510400068Scopus ID: 2-s2.0-85079030653OAI: oai:DiVA.org:ltu-78678DiVA, id: diva2:1426572
Conference
2019 IEEE 17th International Conference on Industrial Informatics (INDIN), 22-25 July, 2019, Helsinki, Finland
Note

ISBN för värdpublikation: 978-1-7281-2927-3, 978-1-7281-2928-0

Available from: 2020-04-27 Created: 2020-04-27 Last updated: 2020-06-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Vyatkin, Valeriy

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 52 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf