Sökning: id:"swepub:oai:DiVA.org:ltu-78678" >
Implementation of s...
Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects
-
- Dubinin, Victor (författare)
- Penza State University, Penza, Russian Federation
-
- Voinov, Artem (författare)
- Penza State University, Penza, Russian Federation
-
- Senokosov, Ilya (författare)
- Penza State University, Penza, Russian Federation
-
visa fler...
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap,Aalto University, Helsinki, Finland
-
visa färre...
-
(creator_code:org_t)
- IEEE, 2019
- 2019
- Engelska.
-
Ingår i: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN). - : IEEE. ; , s. 466-469
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- non-deterministic finite automata
- pushdown automata
- extended Petri nets
- A-nets
- conformance checking
- selection system
- LEGO
- function block
- IEC 61499
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- vet (ämneskategori)
- kon (ämneskategori)