Information Technologies in Industrial Automation

Filter
Conference article in proceedings

Search results

  • 2024

    A Low-Code Development Platform for Industrialized Insect-based Bioconversion Systems

    Pang, C., Liang, J., Yu, G., Zhang, J., Nishi, H., Wang, K. I. K., Li, Z., Dai, W. & Vyatkin, V., 2024, 2024 33rd International Symposium on Industrial Electronics, ISIE 2024 - Proceedings. IEEE, 6 p. (IEEE International Symposium on Industrial Electronics).

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

  • Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System

    Xavier, M., Patil, S. & Vyatkin, V., 2024, 2024 33rd International Symposium on Industrial Electronics, ISIE 2024 - Proceedings. IEEE, 6 p. (IEEE International Symposium on Industrial Electronics).

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

  • On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study

    Yang, C. W., Galkin, N., Drozdov, D. & Vyatkin, V., 2024, 2024 33rd International Symposium on Industrial Electronics, ISIE 2024 - Proceedings. IEEE, 4 p. (IEEE International Symposium on Industrial Electronics).

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

  • Probabilistic Model Checking for IEC 61499: A Manufacturing Application

    Faqrizal, I., Liakh, T., Xavier, M., Salaün, G. & Vyatkin, V., 2024, ICIT 2024 - 2024 25th International Conference on Industrial Technology. IEEE, 6 p. (Proceedings of the IEEE International Conference on Industrial Technology).

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

  • Toolset Development for Modelling Sympathetic Phenomenon and its Detection by a Neural Network

    Galkin, N., Yang, C. W., Etherden, N., Bollen, M., Vyatkin, V. & Wu, Y., 14 Feb 2024, 2023 IEEE 2nd Industrial Electronics Society Annual On-Line Conference, ONCON 2023. IEEE, 6 p.

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

  • 2023

    Application of Deep Learning Method to Estimate Bottomhole Pressure Dynamics of Oil Wells

    Cheng, H., Li, S., Zeng, P. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

  • Application of reinforcement learning for energy consumption optimization of district heating system

    Deng, J., Eklund, M., Sierla, S., Savolainen, J., Niemistö, H., Karhela, T. & Vyatkin, V., 31 Aug 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE). IEEE, 6 p. ( Proceedings of the IEEE International Symposium on Industrial Electronics).

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

    Open Access
    File
    73 Downloads (Pure)

  • Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment

    Kolesnikov, M. V., Blech, J. O., Atmojo, U. D., Vyatkin, V. & Afanasev, M. Y., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, (IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

    4 Citations (Scopus)

  • Automatic generation of repair suggestions for overall I&C architecture represented with an ontology

    Ovsiannikova, P., Pakonen, A. & Vyatkin, V., 2023, 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation, ETFA 2023. IEEE, p. 1-8 8 p. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; vol. 2023-September).

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

    Open Access
    1 Citation (Scopus)

  • Black Soldier Fly Bioconversion System : A Digital Twin Approach

    Yu, G., Nishi, H., Pang, C., Gu, Q., Lin, Y., Liang, J., Dai, W. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, 4 p. ( Proceedings of the IEEE International Symposium on Industrial Electronics).

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

    1 Citation (Scopus)

  • Cloud Computing Design Patterns for MLOps: Applications to Virtual Power Plants

    Subramanya, R., Räisänen, P., Sierla, S. & Vyatkin, V., 2023, IECON 2023 - 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 7 p. (IECON Proceedings (Industrial Electronics Conference)).

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

    Open Access
    File
    59 Downloads (Pure)

  • Data-Driven Human Factors Enabled Digital Twin

    Kolesnikov, M. V., Atmojo, U. D. & Vyatkin, V., 2023, IECON 2023 - 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 6 p. (IECON Proceedings (Industrial Electronics Conference)).

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

    1 Citation (Scopus)

  • Debugging approach for IEC 61499 control applications in FBME

    Akifev, D., Liakh, T., Ovsiannikova, P., Sorokin, R. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

  • Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data

    Cheng, H., He, Y., Zeng, P., Li, S. & Vyatkin, V., 2023, IECON 2023 - 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 6 p. (IECON Proceedings (Industrial Electronics Conference)).

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

    1 Citation (Scopus)

  • DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS

    Xavier, M., Sobha, P., Patil, S. & Vyatkin, V., 2023, 2023 IEEE 21st International Conference on Industrial Informatics, INDIN 2023. Dorksen, H., Scanzio, S., Jasperneite, J., Wisniewski, L., Man, K. F., Sauter, T., Seno, L., Trsek, H. & Vyatkin, V. (eds.). IEEE, (IEEE International Conference on Industrial Informatics (INDIN); vol. 2023-July).

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

    1 Citation (Scopus)

  • Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections

    Jhunjhunwala, P., Ovsiannikova, P. & Vyatkin, V., 19 Oct 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 1-7 7 p. 10312138. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    Open Access
    File
    40 Downloads (Pure)

  • Developing a Test Suite for Evaluating IEC 61499 Application Portability

    Xavier, M., Laikh, T., Patil, S. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, 4 p. (IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

    1 Citation (Scopus)

  • Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems

    Xavier, M., Patil, S., Dubinin, V. & Vyatkin, V., 2023, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings. Gomes, L. & Lorenz, R. (eds.). Springer, p. 16-33 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13929 LNCS).

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

    3 Citations (Scopus)

  • Formal verification of observers supervising a cyber-physical system implemented using IEC 61499

    Ovsiannikova, P., Priol, E. L., Perret, V., Jhunjhunwala, P., Xavier, M. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

    1 Citation (Scopus)

  • Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications

    Wiesmayr, B., Xavier, M., Patil, S., Zoitl, A. & Vyatkin, V., 2023, 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation, ETFA 2023. IEEE, 4 p. (IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; vol. 2023-September).

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

  • Mechatronic Swarm and its Virtual Commissioning

    Lyu, T., Lashchev, A., Patil, S., Atmojo, U. D. & Vyatkin, V., 17 Apr 2023, Proceedings - 2023 IEEE International Conference on Mechatronics, ICM 2023. IEEE, 6 p. (Proceedings - 2023 IEEE International Conference on Mechatronics, ICM 2023).

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

    Open Access
    File
    1 Citation (Scopus)
    34 Downloads (Pure)

  • Methods of data streaming from IEC 61499 applications to Cloud storages

    Lyu, T., Galkin, N., Liakh, T., Yang, C. W. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

    Open Access
    File
    29 Downloads (Pure)

  • Microcomputer Prototyping of IEC61850-9-2 with Performance Analysis

    Galkin, N., Yang, C. W., Etherden, N. & Vyatkin, V., 2023, 2023 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2023 - Proceedings. IEEE, 7 p. (2023 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2023 - Proceedings).

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

  • On interoperability of Datacentre and the Energy market in the Nordic Region

    Yang, C. W., Galkin, N. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

    1 Citation (Scopus)

  • Onsite Renewable Generation Time Shifting for Photovoltaic Systems

    Subramanya, R., Aaltonen, H., Sierla, S. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

    Open Access
    File
    33 Downloads (Pure)

  • Towards Interoperability of Edge Datacentre in the Energy Community with IEC 61850 Modelling

    Yang, C. W., Galkin, N. & Vyatkin, V., 2023, IECON 2023 - 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 6 p. (IECON Proceedings (Industrial Electronics Conference)).

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

  • Towards migration from IEC 61131-3 to IEC 61499 in process industry: Redesign of visualisation

    Kothalawala, H., Jhunjhunwala, P. & Vyatkin, V., 2023, 2023 IEEE 32nd International Symposium on Industrial Electronics, ISIE 2023 - Proceedings. IEEE, (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2023-June).

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

    Open Access
    File
    40 Downloads (Pure)
  • 2022

    An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard

    Xavier, M., Dubinin, V., Patil, S. & Vyatkin, V., 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation, ETFA 2022. IEEE, 7 p.

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

    4 Citations (Scopus)

  • Formal model of IEC 61499 execution trace in FBME IDE

    Liakh, T., Sorokin, R., Akifev, D., Patil, S. & Vyatkin, V., 2022, 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022. IEEE, p. 588-593 6 p. (IEEE International Conference on Industrial Informatics; vol. 2022-July).

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

    Open Access
    12 Citations (Scopus)

  • Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling

    Jhunjhunwala, P., Zoitl, A., Atmojo, U. D. & Vyatkin, V., 2022, 2022 IEEE 31st International Symposium on Industrial Electronics, ISIE 2022. IEEE, p. 220-225 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2022-June).

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

    Open Access
    File
    2 Citations (Scopus)
    167 Downloads (Pure)

  • On automatic generation of OPC UA connections in IEC 61499 automation systems

    Lyu, T., Atmojo, U. D. & Vyatkin, V., 2022, 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS). IEEE, p. 1-6 6 p.

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

    5 Citations (Scopus)

  • On enhancing reconfigurability of I/O connection and access in IEC 61499

    Lyu, T., Atmojo, U. D. & Vyatkin, V., 2022, 2022 IEEE 31st International Symposium on Industrial Electronics, ISIE 2022. IEEE, p. 818-823 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics; vol. 2022-June).

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

    Open Access
    File
    1 Citation (Scopus)
    84 Downloads (Pure)

  • Process mining in industrial control systems

    Xavier, M., Dubinin, V., Patil, S. & Vyatkin, V., 2022, 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022. IEEE, p. 1-6 6 p.

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

    10 Citations (Scopus)

  • Reinforcement learning approach to implementation of individual controllers in data centre control system

    Berezovskaya, Y., Yang, C. W. & Vyatkin, V., 2022, 2022 IEEE 20th International Conference on Industrial Informatics, INDIN 2022. IEEE, p. 41-46 6 p.

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

  • 2021

    A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application

    Lyu, T., Blech, J. O. & Vyatkin, V., 13 Nov 2021, Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021. IEEE, 6 p. ( Proceedings of the IEEE International Symposium on Industrial Electronics).

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

    Open Access
    File
    1 Citation (Scopus)
    91 Downloads (Pure)

  • A Design Pattern for Monitoring Adapter Connections in IEC 61499

    Jhunjhunwala, P., Blech, J. O., Zoitl, A., Atmojo, U. D. & Vyatkin, V., 18 Jun 2021, Proceedings of 22nd IEEE International Conference on Industrial Technology, ICIT 2021. IEEE, p. 967-972 6 p. 9453685

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

    Open Access
    File
    6 Citations (Scopus)
    168 Downloads (Pure)

  • Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin

    Jhunjhunwala, P., Atmojo, U. D. & Vyatkin, V., 13 Nov 2021, Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021. IEEE, 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics).

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

    Open Access
    File
    12 Citations (Scopus)
    176 Downloads (Pure)

  • Change-based causes in counterexample explanation for model checking

    Ovsiannikova, P., Pakonen, A. & Vyatkin, V., 13 Nov 2021, IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    Open Access
    1 Citation (Scopus)

  • Cyber-physical automation systems modelling with IEC 61499 for their formal verification

    Xavier, M., Patil, S. & Vyatkin, V., 11 Oct 2021, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN). IEEE, p. 1-6 6 p. 9557416

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

    Open Access
    10 Citations (Scopus)

  • Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments

    Azangoo, M., Taherkordi, A., Blech, J. O. & Vyatkin, V., 13 Nov 2021, Proceedings of IEEE 30th International Symposium on Industrial Electronics, ISIE 2021. IEEE, 7 p. (Proceedings of the IEEE International Symposium on Industrial Electronics).

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

    Open Access
    File
    5 Citations (Scopus)
    109 Downloads (Pure)

  • Distributed Traffic Control Method Based on Interconnected Agents

    Elkin, D. & Vyatkin, V., 16 Jul 2021, Informatics and Cybernetics in Intelligent Systems : Proceedings of 10th Computer Science On-line Conference, 2021. Silhavy, R. (ed.). Springer, p. 542-553 12 p. (Lecture Notes in Networks and Systems; vol. 228).

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

    Open Access
    File
    46 Downloads (Pure)

  • Dynamic Adapter Connections for IEC 61499

    Kajola, P., Blech, J. O., Dwi Atmojo, U. & Vyatkin, V., 18 Jun 2021, Proceedings of 22nd IEEE International Conference on Industrial Technology, ICIT 2021. IEEE, p. 1054-1059 6 p. 9453625

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

    Open Access
    File
    5 Citations (Scopus)
    134 Downloads (Pure)

  • From Face to Face to Hybrid Teaching: an Experience on Process Plant Automation Laboratory Course during Global Pandemic

    Atmojo, U. D., Azangoo, M., Vyatkin, V. & Seilonen, I., 11 Oct 2021, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN). IEEE, p. 1-6 6 p. 9557440

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

  • Hybrid Digital Twin for process industry using Apros simulation environment

    Azangoo, M., Salmi, J., Yrjölä, I., Bensky, J., Santillan, G., Papakonstantinou, N., Sierla, S. & Vyatkin, V., 30 Nov 2021, Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021. IEEE, p. 1-4 4 p. 9613416

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

    Open Access
    File
    7 Citations (Scopus)
    167 Downloads (Pure)

  • Interfacing Third Party Cloud Services to a Virtual Power Plant

    Subramanya, R., Sierla, S., Yli-Ojanperä, M., Makkonen, H., Pourakbari Kasmaei, M. & Vyatkin, V., 2021, 2021 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe). IEEE, 6 p.

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

    Open Access
    File
    1 Citation (Scopus)
    161 Downloads (Pure)

  • Mirrorlabs - creating accessible Digital Twins of robotic production environment with Mixed Reality

    Aschenbrenner, D., Rieder, J., Tol, D. V., Dam, J. V., Rustak, Z., Blech, J., Azangoo, M., Salo, P., Kruusamae, K., Masnavi, H., Rybalskii, I., Aabloo, A., Petry, M., Teixeira, G., Thiede, B., Pedrazzoli, P., Ferrario, A., Foletti, M., Confalonieri, M., Bertaggia, D., & 2 othersTogias, T. & Makris, S., 15 Jan 2021, Proceedings of the IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2020. IEEE, p. 43-48 6 p. 9319071

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

    Open Access
    File
    8 Citations (Scopus)
    330 Downloads (Pure)

  • Plant Model Generator from Digital Twin for Purpose of Formal Verification

    Xavier, M., Håkansson, J., Patil, S. & Vyatkin, V., 30 Nov 2021, Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021. IEEE, 4 p.

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

    Open Access
    File
    6 Citations (Scopus)
    55 Downloads (Pure)

  • Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV

    Shatrov, V. & Vyatkin, V., 11 Oct 2021, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN). IEEE, p. 1-6 6 p. 9557513

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

    Open Access
    File
    1 Citation (Scopus)
    125 Downloads (Pure)

  • Simulation Components in Gazebo

    Peake, I., La Delfa, J., Bejarano, R. & Blech, J. O., 18 Jun 2021, Proceedings of 22nd IEEE International Conference on Industrial Technology, ICIT 2021. IEEE, p. 1169-1175 7 p. 9453594

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

    Open Access
    File
    5 Citations (Scopus)
    169 Downloads (Pure)

  • SMT-based deployment calculation for IEC 61499 control applications

    Lyu, T., Blech, J. O. & Vyatkin, V., 5 Jul 2021, Proceedings of 4th IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2021. IEEE, p. 172-178 7 p. 9468194

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

    Open Access
    File
    1 Citation (Scopus)
    88 Downloads (Pure)