| 2025 | ETFA | A Multi-Agent Reinforcement Learning Approach to real-time Demand Response in Cruise Ship Cabins. | Aaltonen Harri, Markus Hkkinen, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2025 | ETFA | Reducing Commissioning Efforts in the Process Industry Through Open Standards. | Emil Karlsson, Pranay Jhunjhunwala, Pirya Devi, Tommi Niininen, Harry Nyquist, Valeriy Vyatkin |
| 2025 | ETFA | Exploring Safe Reinforcement Learning Using Safety Shields Derived With System-Theoretic Process Analysis: A Case-Study on a Cruise Ship Hotel System. | Akira King, Erald Shahinas, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2025 | ETFA | LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code. | Akira King, Valeriy Vyatkin |
| 2025 | ETFA | Process Simulation Development with IEC 61499 for Runtime Execution. | Pasindu Padmathilaka, Pranay Jhunjhunwala, Valeriy Vyatkin |
| 2025 | INDIN | Complexity-Aware Distribution Optimization for Computing-intensive Distributed Automation Systems with IEC 61499. | Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2025 | INDIN | An Artificial Mating and Ovipositing Facility for Black Soldier Flies. | Cheng Pang, Yunjiang Lou, Lei Shu, Guangzhong Dong, Dongjun Zhang, Jinfa Zou, Chen-Wei Yang, Valeriy Vyatkin |
| 2025 | INDIN | Self-Training Collaborative Sample Pruning Method for Hot-Rolled Strip Crown Imbalance Diagnosis. | Yehui Qin, Chengyan Ding, Jie Sun, Wen Peng, Xudong Li, Xingfang Zhao, Jifei Deng, Valeriy Vyatkin |
| 2025 | INDIN | Automatic testing of IEC 61499 automation systems with simulator in the loop in cloud environment. | Roman Rumiantcev, Tung Nguyen, Tuojian Lyu, Mikhail V. Kolesnikov, Valeriy Vyatkin |
| 2025 | INDIN | LLM-based Iterative Requirements Refinement in FSM with IEC 61499 Code Generation. | Valeriy Vyatkin, Sandeep Patil, Dmitrii Drozdov, Anatoly Shalyto |
| 2025 | IECON | Deep Reinforcement Learning-Based Cost-Optimized Control for Energy Management in Facilities with Geothermal Storage. | Vahid Ehteshami Bojnurdi, Hamed Amini, Udayanto Dwi Atmojo, Valeriy Vyatkin, Kari Alanne, Risto Kosonen |
| 2025 | IECON | Industrial Control Software Migration Based on Large Language Models. | Maodong Lin, Kirill Zhukovskii, Akira King, Wenbin Dai, Valeriy Vyatkin |
| 2025 | IECON | Performance Evaluation of Privacy-Preserving Life Cycle Assessment Using Secure Multi-Party Computation Protocols. | Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2025 | IECON | ReACT - Gen AI Agents for Reasoning, Planning, and Testing in IEC 61499-Based Control Systems. | Midhun Xavier, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin |
| 2024 | ETFA | Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. | Akira King, Polina Ovsiannikova, Valeriy Vyatkin |
| 2024 | ETFA | Towards Web Platform for Cloud-Based Virtual Commissioning of IEC 61499 Distributed Automation Systems. | Tuojian Lyu, Tung Nguyen, Roman Rumiantsev, Mikhail V. Kolesnikov, Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2024 | ETFA | Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications. | Polina Ovsiannikova, Tatiana Liakh, Pranay Jhunjhunwala, Valeriy Vyatkin |
| 2024 | ETFA | Confidentiality Preserving Data Sharing for Life Cycle Assessment in Process Industries. | Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2024 | ETFA | Energy Consumption Optimisation for Horticultural Facilities. | Kirill Zhukovskii, Polina Ovsiannikova, Pranay Jhunjhunwala, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin |
| 2024 | INDIN | Framework for Faster-Than-Real-Time Testing of IEC 61499 Applications with Embedded Process Simulation. | Valeriy Vyatkin, Roman Rumiantcev |
| 2024 | IECON | WalkIES robotic walker and brief description of standard and robotic walkers. | Larisa Dunai, Isabel Segu-Verd, Alin Tisan, Hiplito Guzmn-Miranda, Victor Huang, Cheng-Jen Allen Chen, Daswin De Silva, Stamatis Karnouskos, Daisuke Chugo, Valeriy Vyatkin |
| 2024 | IECON | Proposing Bus Adapter Connections in IEC 61499. | Pranay Jhunjhunwala, Valeriy Vyatkin |
| 2024 | IECON | Addressing Privacy and Security Challenges at the Industry 5.0 Human-Intensive and Highly Automated Factory Floor. | Mikhail V. Kolesnikov, Leonardo Lossi, Enrico Alberti, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2024 | IECON | LLM-Powered Multi-Actor System for Intelligent Analysis and Visualization of IEC 61499 Control Systems. | Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin |
| 2023 | ETFA | Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2023 | ETFA | Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. | Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin |
| 2023 | INDIN | DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. | Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin |
| 2023 | IECON | Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data. | Haibo Cheng, Yunpeng He, Peng Zeng, Shichao Li, Valeriy Vyatkin |
| 2023 | IECON | Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. | Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin |
| 2023 | IECON | Data-Driven Human Factors Enabled Digital Twin. | Mikhail V. Kolesnikov, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2023 | IECON | Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2023 | IECON | Cloud Computing Design Patterns for MLOps: Applications to Virtual Power Plants. | Rakshith Subramanya, Paula Risnen, Seppo A. Sierla, Valeriy Vyatkin |
| 2023 | IECON | Towards Interoperability of Edge Datacentre in the Energy Community with IEC 61850 Modelling. | Chen-Wei Yang, Nikolai Galkin, Valeriy Vyatkin |
| 2022 | ETFA | An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. | Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin |
| 2022 | INDIN | Reinforcement learning approach to implementation of individual controllers in data centre control system. | Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin |
| 2022 | INDIN | Formal model of IEC 61499 execution trace in FBME IDE. | Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin |
| 2022 | INDIN | Process mining in industrial control systems. | Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin |
| 2021 | ETFA | Hybrid Digital Twin for process industry using Apros simulation environment. | Mohammad Azangoo, Joonas Salmi, Iivo Yrjl, Jonathan Bensky, Gerardo Santillan Martinez, Nikolaos Papakonstantinou, Seppo A. Sierla, Valeriy Vyatkin |
| 2021 | ETFA | Towards enhanced live visualization based on communication delay prediction for remote AGV operation. | Ronal Bejarano, Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin |
| 2021 | ETFA | Towards reinforcement learning approach to energy-efficient control of server fans in data centres. | Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin |
| 2021 | ETFA | Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS. | Andrej Lashchev, Gennady Veselov, Valeriy Vyatkin |
| 2021 | ETFA | Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. | Polina Ovsiannikova, Valeriy Vyatkin |
| 2021 | ETFA | Plant Model Generator from Digital Twin for Purpose of Formal Verification. | Midhun Xavier, Johannes Hkansson, Sandeep Patil, Valeriy Vyatkin |
| 2021 | INDIN | From Face to Face to Hybrid Teaching: an Experience on Process Plant Automation Laboratory Course during Global Pandemic. | Udayanto Dwi Atmojo, Mohammad Azangoo, Valeriy Vyatkin, Ilkka Seilonen |
| 2021 | INDIN | Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. | Viktor Shatrov, Valeriy Vyatkin |
| 2021 | INDIN | Cyber-physical automation systems modelling with IEC 61499 for their formal verification. | Midhun Xavier, Sandeep Patil, Valeriy Vyatkin |
| 2021 | IECON | Towards cloud-based virtual commissioning of distributed automation applications with IEC 61499 and containerization technology. | Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2021 | IECON | Change-based causes in counterexample explanation for model checking. | Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin |
| 2020 | ETFA | Towards a 3D Scanning/VR-based Product Inspection Station. | Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Kamal Dhakal, Mikael Eriksson, Miika Lehtimki, Jonathan Leinola, Pyry Pietarila |
| 2020 | ETFA | Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. | Ronal Bejarano, Roope Pkknen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin |
| 2020 | ETFA | Towards Implementation of Interoperable Smart Sensor Services in IEC 61499 for Process Automation. | Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2020 | ETFA | Arrowhead Datamanager integration with Eclipse 4DIAC environment. | Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin |
| 2020 | ETFA | Generating an industrial process graph from 3D pipe routing information. | Seppo A. Sierla, Mohammad Azangoo, Valeriy Vyatkin |
| 2020 | ICECCS | Visual counterexample explanation for model checking with OERITTE. | Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2020 | IECON | Towards Multi-Agent Control in Energy-Efficient Data Centres. | Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin |
| 2020 | IECON | Software-Defined Decentralized Domestic Wastewater Treatment: 1 | Cheng Pang, Di Wu, Wenbin William Dai, Anna Mikola, Tommi A. Karhela, Valeriy Vyatkin |
| 2019 | ETFA | A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication. | Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2019 | ETFA | Towards formal ASM semantics of timed control systems for industrial CPS. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2019 | ETFA | Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm. | Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin |
| 2019 | ETFA | Design to automation continuum for industrial processes: ISO 15926 - IEC 61131 versus an industrial case. | Nikolaos Papakonstantinou, Juha Karttunen, Seppo A. Sierla, Valeriy Vyatkin |
| 2019 | INDIN | Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems. | Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2019 | INDIN | Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform. | Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin |
| 2019 | INDIN | A hybrid fault detection and diagnosis method in server rooms' cooling systems. | Yulia Berezovskaya, Chen-Wei Yang, Arash Mousavi, Xiaojing Zhang, Valeriy Vyatkin |
| 2019 | INDIN | ANN based Interwell Connectivity Analysis in Cyber-Physical Petroleum Systems. | Haibo Cheng, Xiaoning Han, Peng Zeng, Haibin Yu, Evgeny Osipov, Valeriy Vyatkin |
| 2019 | INDIN | Towards automatic state machine reconstruction from legacy PLC using data collection. | Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin |
| 2019 | INDIN | 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 |
| 2019 | INDIN | Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. | Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin |
| 2019 | INDIN | Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. | Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo A. Sierla, Jan Olaf Blech, Valeriy Vyatkin |
| 2019 | INDIN | OPC UA Information Model and a Wrapper for IEC 61499 Runtimes. | Ilkka Seilonen, Valeriy Vyatkin, Udayanto Dwi Atmojo |
| 2019 | INDIN | Designing Actively Secure, Highly Available Industrial Automation Applications. | Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leito, Valeriy Vyatkin |
| 2019 | INDIN | Non-linear control of a group of tracked robots. | Gennady E. Veselov, Andrey A. Sklyarov, Valeriy Vyatkin |
| 2018 | ETFA | On Achieving Reliable Communication in IEC 61499. | Udayanto Dwi Atmojo, Valeriy Vyatkin, Zoran Salcic |
| 2018 | ETFA | Counterexample-guided inference of controller logic from execution traces and temporal formulas. | Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin |
| 2018 | ETFA | PROSA/G: An architecture for agent-based manufacturing execution. | Dennis Jarvis, Jacqueline Jarvis, Andrei Kalachev, Gulnara Zhabelova, Valeriy Vyatkin |
| 2018 | ETFA | Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms. | Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin |
| 2018 | GECCO | From fitness landscape analysis to designing evolutionary algorithms: the case study in automatic generation of function block applications. | Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin |
| 2018 | INDIN | A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems. | Udayanto Dwi Atmojo, Valeriy Vyatkin |
| 2018 | INDIN | Modelling Industrial Cyber-Physical Systems using IEC 61499 and OPC UA. | Wenbin William Dai, Yineng Song, Zhijie Zhang, Peng Wang, Cheng Pang, Valeriy Vyatkin |
| 2018 | INDIN | Implementation of distributed semaphores in IEC 61499 with consensus protocols. | Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin |
| 2018 | INDIN | Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model. | Kashif Gulzar, Reino Ruusu, Seppo A. Sierla, Pekka Aarnio, Tommi Karhela, Valeriy Vyatkin |
| 2018 | INDIN | Active Learning of Formal Plant Models For Cyber-Physical Systems. | Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto |
| 2018 | INDIN | Counterexample visualization and explanation for function block diagrams. | Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
| 2018 | INDIN | Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. | Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin |
| 2018 | IECON | Smart Distribution of IT Load in Energy Efficient Data Centers with Focus on Cooling Systems. | Yulia Berezovskaya, Arash Mousavi, Valeriy Vyatkin, Xiaojing Zhang |
| 2018 | IECON | A Case Study on Knowledge Driven Code Generation for Software-Defined Industrial Cyber-Physical Systems. | Yingxin Chen, Wenbin William Dai, Zhijie Zhang, Cheng Pang, Valeriy Vyatkin |
| 2018 | IECON | A Flow-Based Heuristic Algorithm for Network Operations Planning in Smart Grids. | George Davidescu, Andrey Filchenkov, Amir Muratov, Valeriy Vyatkin |
| 2018 | IECON | Formal Verification of Protection Functions for Power Distribution Networks. | Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin |
| 2018 | IECON | Intelligent Mechatronic System with Decentralised Control and Multi-Agent Planning. | Andrei Kalachev, Gulnara Zhabelova, Valeriy Vyatkin, Dennis Jarvis, Cheng Pang |
| 2018 | IECON | Automatic Generation of a Simulation-Based Digital Twin of an Industrial Process Plant. | Gerardo Santillan Martinez, Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin |
| 2018 | IECON | On Automated Co-Simulation Testing of Functional Requirements for Distributed Substation Automation Systems. | Chen-Wei Yang, Valeriy Vyatkin |
| 2018 | IECON | Towards an Open Model for Data Center Research: From CPU to Cooling Tower. | Gulnara Zhabelova, Mattias Vesterlund, Sascha Eschmann, Valeriy Vyatkin, Damien Flieller |
| 2017 | ETFA | Modular plant model synthesis from behavior traces and temporal properties. | Igor Buzhinsky, Valeriy Vyatkin |
| 2017 | ETFA | Testing automation systems by means of model checking. | Igor Buzhinsky, Valeriy Vyatkin |
| 2017 | INDIN | CSP-based inference of function block finite-state models from execution traces. | Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin |
| 2017 | INDIN | Service-oriented data acquisition and management for industrial cyber-physical systems. | Wenbin William Dai, Zhijie Zhang, Peng Wang, Valeriy Vyatkin, James H. Christensen |
| 2017 | INDIN | Towards a task allocation algorithm for frequency containment reserves. | Christian Giovanelli, Olli Kilkki, Seppo A. Sierla, Ilkka Seilonen, Valeriy Vyatkin |
| 2017 | INDIN | Automatic generation of function block applications using evolutionary algorithms: Initial explorations. | Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin |
| 2017 | INDIN | Towards electric vehicles integration to distributed energy resources of prosumer. | Evgeny Nefedov, Seppo A. Sierla, Valeriy Vyatkin |
| 2017 | INDIN | A framework for runtime verification of industrial process control systems. | Roope Savolainen, Seppo A. Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin |
| 2017 | INDIN | Automatic generation of function block systems implementing HMI for energy distribution automation. | Artem Voinov, Chen-Wei Yang, Valeriy Vyatkin |
| 2017 | INDIN | On requirements-driven design of distributed smart grid automation control. | Chen-Wei Yang, Valeriy Vyatkin |
| 2017 | IECON | Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. | Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2017 | IECON | Scalable methods of discrete plant model generation for closed-loop model checking. | Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2017 | IECON | Network planning and self-repair in models of urban distribution networks via Hill Climbing. | George Davidescu, Valeriy Vyatkin |
| 2017 | IECON | Towards formal verification for cyber-physically agnostic software: A case study. | Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2017 | IECON | Towards an aggregator that exploits big data to bid on frequency containment reserve market. | Christian Giovanelli, Xin Liu, Seppo A. Sierla, Valeriy Vyatkin, Ryutaro Ichise |
| 2017 | IECON | Real-time data acquisition support for IEC 61499 based industrial cyber-physical systems. | Wanqi Huang, Wenbin William Dai, Peng Wang, Valeriy Vyatkin |
| 2017 | IECON | Towards a systematic path for dynamic simulation to plant operation: OPC UA-enabled model adaptation method for tracking simulation. | Gerardo Santillan Martinez, Tommi Karhela, Reino Ruusu, Tuomas Lackman, Valeriy Vyatkin |
| 2017 | IECON | Energy efficient decision making in data centers with multiple cooling methods. | Arash Mousavi, Yulia Berezovskaya, Valeriy Vyatkin, Xiaojing Zhang |
| 2017 | IECON | Power quality assessment of energy efficient cooling systems in data centers. | Arash Mousavi, Alireza Yavarian, Valeriy Vyatkin, Xiaojing Zhang |
| 2017 | IECON | Software-defined automation and control a preliminary study. | Cheng Pang, Wenbin William Dai, Qingdi Miao, Jinxian Liang, Guoqing Cai, Shu Lu, Valeriy Vyatkin |
| 2017 | IECON | Sliding mode SISO control of model parameters for implicit dynamic feedback estimation of industrial tracking simulation systems. | Reino Ruusu, Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin |
| 2017 | IECON | Estimation, measurement and improvement of distributed automation applications performance. | Eero Vnnen, Valeriy Vyatkin |
| 2017 | IECON | Service-oriented extension of IEC 61850 for model-driven smart grid automation design. | Chen-Wei Yang, Valeriy Vyatkin, Cheng Pang |
| 2016 | ETFA | Context modeling with situation rules for industrial maintenance. | Pekka Aarnio, Valeriy Vyatkin, David Hstbacka |
| 2016 | ETFA | A Comparison of Formal Verification Approaches for IEC 61499. | Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl |
| 2016 | ETFA | Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. | Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin |
| 2016 | ETFA | User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. | Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin |
| 2016 | ETFA | District heating temperature control algorithm based on short term weather forecast and consumption predictions. | Nikolaos Papakonstantinou, Jouni Savolainen, Jarmo Koistinen, Antti Aikala, Valeriy Vyatkin |
| 2016 | INDIN | Plant model inference for closed-loop verification of control systems: Initial explorations. | Igor Buzhinsky, Valeriy Vyatkin |
| 2016 | INDIN | Reconstruction of function block controllers based on test scenarios and verification. | Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin |
| 2016 | INDIN | Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. | Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin |
| 2016 | INDIN | Parameters selection in predictive online simulation. | Gerardo Santillan Martinez, Tuomas Miettinen, Antti Aikala, Jouni Savolainen, Kalle Kondelin, Tommi Karhela, Valeriy Vyatkin |
| 2016 | INDIN | A study on user-friendly formal specification languages for requirements formalization. | Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin |
| 2016 | INDIN | Requirement verification in simulation-based automation testing. | Eero Siivola, Seppo A. Sierla, Hannu Niemist, Tommi Karhela, Valeriy Vyatkin |
| 2016 | IECON | Improvement of energy efficiency in data centers via flexible humidity control. | Yulia Berezovskaya, Arash Mousavi, Valeriy Vyatkin, Xiaojing Zhang, Tor Bjrn Minde |
| 2016 | IECON | Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm. | Wenbin William Dai, Wanqi Huang, Valeriy Vyatkin |
| 2016 | IECON | Towards a formal model of protection functions for power distribution networks. | Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin |
| 2016 | IECON | Evaluating benefits of collaborative intelligent batteries in SmartGrid. | Evgeny Nefedov, Valeriy Vyatkin |
| 2015 | ETFA | An auction-based smart district heating grid. | Kashif Gulzar, Seppo A. Sierla, Valeriy Vyatkin, Nikolaos Papakonstantinou, Paul G. Flikkema, Chen-Wei Yang |
| 2015 | ETFA | A real-time semantics for the IEC 61499 standard. | Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Lus Miguel Pinho |
| 2015 | ETFA | A hybrid approach for the initialization of tracking simulation systems. | Gerardo Santillan Martinez, Tommi Karhela, Hannu Niemist, Ahti Rossi, Cheng Pang, Valeriy Vyatkin |
| 2015 | ETFA | Towards energy smart data centers: Simulation of server room cooling system. | Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang |
| 2015 | ETFA | Towards software metrics for evaluating quality of IEC 61499 automation software. | Gulnara Zhabelova, Valeriy Vyatkin |
| 2015 | ETFA | Data center power dynamics within the settings of regional power grid. | Gulnara Zhabelova, Alireza Yavarian, Valeriy Vyatkin |
| 2015 | IC3K | Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning. | David Hstbacka, Pekka Aarnio, Valeriy Vyatkin, Seppo Kuikka |
| 2015 | ICECCS | Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. | Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin |
| 2015 | INDIN | Evolutionary approach to coverage testing of IEC 61499 function block applications. | Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin |
| 2015 | INDIN | Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. | Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin |
| 2015 | INDIN | Time-stamped event based execution semantics for industrial cyber-physical systems. | Wenbin William Dai, Valeriy Vyatkin, Cheng Pang, James H. Christensen |
| 2015 | INDIN | Fault detection in the hyperspace: Towards intelligent automation systems. | Denis Kleyko, Evgeny Osipov, Nikolaos Papakonstantinou, Valeriy Vyatkin, Arash Mousavi |
| 2015 | INDIN | Change request management in model-driven engineering of industrial automation software. | Heng-You Lin, Seppo A. Sierla, Nikolaos Papakonstantinou, Anatoly Shalyto, Valeriy Vyatkin |
| 2015 | INDIN | Counterexample-guided simulation framework for formal verification of flexible automation systems. | Sandeep Patil, Valeriy Vyatkin, Cheng Pang |
| 2015 | INDIN | Slicing the Pi: Device-specific IEC 61499 design. | Roopak Sinha, Barry Dowdeswell, Valeriy Vyatkin |
| 2015 | INDIN | Industry-friendly engineering tools for wireless home automation devices. | Jia Wang, Zhibo Pang, Cheng Pang, Valeriy Vyatkin |
| 2015 | IECON | Reconfigurable elements of execution semantics for industrial cyber-physical systems. | Wenbin William Dai, Valeriy Vyatkin |
| 2015 | IECON | Optimization of decentralized energy storage flexibility for frequency reserves. | Olli Kilkki, Christian Giovanelli, Ilkka Seilonen, Valeriy Vyatkin |
| 2015 | IECON | Towards IEC 61499 models of computation in Ptolemy II. | Cheng Pang, Wenbin William Dai, Valeriy Vyatkin |
| 2015 | IECON | Towards formal verification of smart grid distributed intelligence: FREEDM case. | Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin |
| 2015 | IECON | Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. | Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell |
| 2015 | IECON | Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. | Valeriy Vyatkin, Cheng Pang, Stavros Tripakis |
| 2015 | IECON | Modelling of IEC 61850 message passing for automatic generation of distributed control. | Chen-Wei Yang, Valeriy Vyatkin |
| 2015 | IECON | Data center energy efficiency and power quality: An alternative approach with solid state transformer. | Gulnara Zhabelova, Alireza Yavarian, Valeriy Vyatkin, Alex Q. Huang |
| 2015 | TrustCom | Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience. | Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin |
| 2015 | TrustCom | Formal Modeling of Testing Software for Cyber-Physical Automation Systems. | Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin |
| 2015 | TrustCom | Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. | Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin |
| 2015 | TrustCom | Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2015 | TrustCom | An OPC UA Based Architecture for Testing Tracking Simulation Methods. | Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin, Tuomas Miettinen, Cheng Pang |
| 2015 | TrustCom | Cyber-physical Design of Data Centers Cooling Systems Automation. | Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang |
| 2015 | TrustCom | Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2015 | TrustCom | Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture. | Chen-Wei Yang, Kashif Gulzar, Seppo A. Sierla, Valeriy Vyatkin |
| 2015 | SETTA | Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. | Sandeep Patil, Victor Dubinin, Valeriy Vyatkin |
| 2014 | ETFA | Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. | Wenbin William Dai, Valeriy Vyatkin, Victor Dubinin, James H. Christensen |
| 2014 | ETFA | Automatic generation of automation applications based on ontology transformations. | Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang |
| 2014 | ETFA | On methodology of implementing distributed function block applications using TinyOS WSN nodes. | Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang |
| 2014 | ETFA | Real-time execution of function blocks for Internet of Things using the RTFM-kernel. | Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin |
| 2014 | ETFA | Energy efficient automation model for office buildings based on ontology, agents and IEC 61499 function blocks. | Arash Mousavi, Cheng-Wei Yang, Cheng Pang, Valeriy Vyatkin |
| 2014 | ETFA | IEC 61499 based model-driven process control engineering. | Cheng Pang, Valeriy Vyatkin, Wenbin William Dai |
| 2014 | ETFA | Security impact assessment of industrial automation systems using genetic algorithm and simulation. | Nikolaos Papakonstantinou, Seppo A. Sierla, Konstantinia Charitoudi, Bryan O'Halloran, Tommi Karhela, Valeriy Vyatkin, Irem Turner |
| 2014 | ETFA | Adapting Keyword driven test automation framework to IEC 61131-3 industrial control applications using PLCopen XML. | Jukka Peltola, Seppo A. Sierla, Valeriy Vyatkin |
| 2014 | ETFA | Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. | Roopak Sinha, Valeriy Vyatkin, Zoran Salcic, HeeJong Park |
| 2014 | ETFA | Towards implementation of IEC 61850 GOOSE messaging in event-driven IEC 61499 environment. | Chen-Wei Yang, Jiang Xu, Valeriy Vyatkin |
| 2014 | ETFA | Time-complemented event-driven reconfigurable systems. | Jeffrey Yan, Valeriy Vyatkin |
| 2014 | ICRA | The application of service-oriented architectures in distributed automation systems. | Wenbin William Dai, Valeriy Vyatkin, James H. Christensen |
| 2014 | INDIN | Knowledge-based routing in mechanical transportation systems. | Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin |
| 2014 | INDIN | Function block implementation of service oriented architecture: Case study. | Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin |
| 2014 | INDIN | A portability study of IEC 61499: Semantics and tools. | Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto |
| 2014 | INDIN | Knowledge-based web service integration for industrial automation. | Borja Ramis, Luis Gonzalez, Sergii Iarovyi, Andrei Lobov, Jos L. Martnez Lastra, Valeriy Vyatkin, Wenbin William Dai |
| 2014 | INDIN | Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. | Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin |
| 2014 | ICRA | MIRA: Enabler of mass customization through agent-based development of intelligent manufacturing systems. | Majid Sorouri, Valeriy Vyatkin, Zoran Salcic |
| 2014 | IECON | A configurable cloud-based testing infrastructure for interoperable distributed automation systems. | Wenbin William Dai, Laurynas Riliskis, Valeriy Vyatkin, Evgeny Osipov, Jerker Delsing |
| 2014 | IECON | On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. | Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin |
| 2014 | IECON | Adaptable software components: Towards digital ecosystems and software evolution in the industrial automation domain. | Jeffrey Yan, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin |
| 2014 | IECON | Decision making for industrial agents in Smart Grid applications. | Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin |
| 2014 | SMC | Service-oriented distributed control software design for process automation systems. | Wenbin William Dai, Jukka Peltola, Valeriy Vyatkin, Cheng Pang |
| 2014 | SMC | Towards cyber-physical approach for prototyping indoor lighting automation systems. | Cheng Pang, Valeriy Vyatkin, Horst Mayer |
| 2013 | ETFA | Essential elements for programming of distributed automation and control systems. | Wenbin William Dai, Valeriy Vyatkin, James H. Christensen |
| 2013 | ETFA | Model-based customisation of intelligent mechatronic systems using SysML. | Heng-You Lin, Majid Sorouri, Valeriy Vyatkin, Zoran Salcic |
| 2013 | ETFA | Virtual smart metering in automation and simulation of energy-efficient lighting system. | Cheng Pang, Valeriy Vyatkin, Yinbai Deng, Majid Sorouri |
| 2013 | ETFA | On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study. | Sandeep Patil, Jeffrey Yan, Valeriy Vyatkin, Cheng Pang |
| 2013 | ETFA | Towards automated visualization for distributed automation applications. | Jeffrey Yan, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin |
| 2013 | ETFA | Extension of reconfigurability provisions in IEC 61499. | Jeffrey Yan, Valeriy Vyatkin |
| 2013 | INDIN | Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog. | Majid Sorouri, Valeriy Vyatkin, Zoran Salcic |
| 2013 | INDIN | Towards implementation of IEC 61850 GOOSE messaging in IEC 61499 environment. | Jiang Xu, Chen-Wei Yang, Gulnara Zhabelova, Stevan Berber, Valeriy Vyatkin |
| 2013 | INDIN | Smart Grid applications with IEC 61499 reference architecture. | Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin |
| 2013 | INDIN | SysGrid: IEC 61850/IEC 61499 based engineering process for Smart Grid automation design. | Gulnara Zhabelova, Chen-Wei Yang, Valeriy Vyatkin |
| 2013 | IECON | A component-based design pattern for improving reusability of automation programs. | Wenbin William Dai, Valeriy Vyatkin |
| 2013 | IECON | Evaluation of electric grid automation under flood hazards. | Marcin Hurkala, Bryan O'Halloran, Heikki Nikula, Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin |
| 2013 | IECON | Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. | Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin |
| 2013 | IECON | System-level architecture for building automation systems: Object-orientated design and simulation. | Valeriy Vyatkin, Cheng Pang, Yinbai Deng, Majid Sorouri, Horst Mayer |
| 2013 | IECON | Towards implementation of Plug-and-Play and distributed HMI for the FREEDM system with IEC 61499. | Chen-Wei Yang, Jeffrey Yan, Valeriy Vyatkin |
| 2013 | IECON | Agent-based distributed consensus algorithm for decentralized economic dispatch in Smart Grid. | Gulnara Zhabelova, Valeriy Vyatkin, Ziang Zhang, Mo-Yuen Chow |
| 2012 | ETFA | Formal verification of Intelligent Mechatronic Systems with decentralized control logic. | Sandeep Patil, Valeriy Vyatkin, Majid Sorouri |
| 2012 | INDIN | Transformation from PLC to distributed control using ontology mapping. | Wenbin William Dai, Valeriy Vyatkin |
| 2012 | INDIN | Distributed control patterns for intelligent mechatronic systems. | Majid Sorouri, Sandeep Patil, Valeriy Vyatkin |
| 2012 | INDIN | Smart Grid automation: Distributed protection application with IEC61850/IEC61499. | Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Alex Apostolov |
| 2012 | INDIN | Control and hardware-in-the-loop simulation of fruit packing machine with IEC 61499. | Jeffrey Yan, Valeriy Vyatkin, Gerald Weber, Nigel Beach |
| 2012 | IECON | Towards an IEC 61499 compliance profile for smart grids review and analysis of possibilities. | Thomas I. Strasser, Filip Andren, Valeriy Vyatkin, Gulnara Zhabelova, Chen-Wei Yang |
| 2010 | ETFA | Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks. | Wenbin William Dai, Valeriy Vyatkin |
| 2009 | INDIN | A case study on migration from IEC 61131 PLC to IEC 61499 function block control. | Wenbin William Dai, Valeriy Vyatkin |
| 2009 | INDIN | Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics. | Piran Tata, Valeriy Vyatkin |
| 2008 | SMC | Concept for intelligent distributed power system automation with IEC 61850 and IEC 61499. | Neil Higgins, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Karlheinz Schwarz |
| 2006 | ETFA | Modelling and Verification of IEC 61499 Applications using Prolog. | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2006 | ETFA | Towards an Approach for the Verification of Downtimeless System Evolution. | Christoph Snder, Bernard Favre-Bulle, Valeriy Vyatkin |
| 2006 | ETFA | Systematic Design and Implementation of Distributed Controllers in Industrial Automation. | Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch |
| 2005 | ETFA | Reuse of components in formal modeling and verification of distributed control systems. | Valeriy Vyatkin, Hans-Michael Hanisch |
| 2005 | ICRA | Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. | Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer |
| 2003 | ETFA | Design and implementation of a prototype control system according to IEC 61499. | Xiujun Cai, Valeriy Vyatkin, Hans-Michael Hanisch |
| 2003 | ETFA | Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments. | Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin |
| 2003 | ETFA | Intelligent mechatronic components: control system engineering using an open distributed architecture. | Valeriy Vyatkin |
| 2001 | ETFA | Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. | Valeriy Vyatkin, Hans-Michael Hanisch |
| 2001 | SMC | Application of visual specifications for verification of distributed controllers. | Valeriy Vyatkin, Hans-Michael Hanisch |