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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

Abstrakti

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.

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 17th IEEE International Conference on Industrial Informatics, INDIN 2019
KustantajaIEEE
Sivut466-469
Sivumäärä4
ISBN (elektroninen)9781728129273
DOI - pysyväislinkit
TilaJulkaistu - 1 heinäk. 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaIEEE International Conference on Industrial Informatics - Aalto University, Helsinki and Espoo, Suomi
Kesto: 22 heinäk. 201925 heinäk. 2019
Konferenssinumero: 17
https://www.indin2019.org/

Julkaisusarja

NimiIEEE International Conference on Industrial Informatics
KustantajaIEEE
ISSN (painettu)1935-4576
ISSN (elektroninen)2378-363X

Conference

ConferenceIEEE International Conference on Industrial Informatics
LyhennettäINDIN
Maa/AlueSuomi
KaupunkiHelsinki and Espoo
Ajanjakso22/07/201925/07/2019
www-osoite

Sormenjälki

Sukella tutkimusaiheisiin 'Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä