Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions. - Valeriy Vyatkin (Ershov Memorial Conference, 2001)

Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. - Valeriy Vyatkin; Hans-Michael Hanisch (ETFA (2), 2001)

Application of visual specifications for verification of distributed controllers. - Valeriy Vyatkin; Hans-Michael Hanisch (SMC, 2001)

Component Design and Formal Validation of SFA Systems: A Case Study. - Valeriy Vyatkin; Hans-Michael Hanisch (BASYS, 2002)

Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. - Valeriy Vyatkin (Ershov Memorial Conference, 2003)

Design and implementation of a prototype control system according to IEC 61499. - Xiujun Cai; Valeriy Vyatkin; Hans-Michael Hanisch (ETFA (2), 2003)

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 (ETFA (2), 2003)

Intelligent mechatronic components: control system engineering using an open distributed architecture. - Valeriy Vyatkin (ETFA (2), 2003)

Verification of distributed control systems in intelligent manufacturing. - Valeriy Vyatkin; Hans-Michael Hanisch (J. Intell. Manuf., 2003)

Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View. - Hans-Michael Hanisch; Valeriy Vyatkin (The Industrial Information Technology Handbook, 2005)

Reuse of components in formal modeling and verification of distributed control systems. - Valeriy Vyatkin; Hans-Michael Hanisch (ETFA, 2005)

Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. - Victor Dubinin; Valeriy Vyatkin; Thomas Pfeiffer 005 (ICRA, 2005)

Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: OOONEIDA approach. - Franz Auinger; Robert W. Brennan; James H. Christensen; Jose L. Martinez Lastra; Valeriy Vyatkin (Int. J. Comput. Integr. Manuf., 2005)

OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation. - Valeriy Vyatkin; James H. Christensen; Jose L. Martinez Lastra (IEEE Trans. Ind. Informatics, 2005)

Modelling and Verification of IEC 61499 Applications using Prolog. - Victor Dubinin; Valeriy Vyatkin; Hans-Michael Hanisch (ETFA, 2006)

Towards an Approach for the Verification of Downtimeless System Evolution. - Christoph Sünder; Bernard Favre-Bulle; Valeriy Vyatkin (ETFA, 2006)

Systematic Design and Implementation of Distributed Controllers in Industrial Automation. - Valeriy Vyatkin; Martin Hirsch 002; Hans-Michael Hanisch (ETFA, 2006)

Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. - Valeriy Vyatkin; Hans-Michael Hanisch; Sirko Karras; Thomas Pfeiffer 005; Victor Dubinin (Int. J. Manuf. Res., 2006)

Formal validation of intelligent-automated production systems: towards industrial applications. - Hans-Michael Hanisch; Andrei Lobov; Jose L. Martinez Lastra; Reijo Tuokko; Valeriy Vyatkin (Int. J. Manuf. Technol. Manag., 2006)

The potential impact of the IEC61499 standard on the progress of distributed intelligent automation. - Valeriy Vyatkin (Int. J. Manuf. Technol. Manag., 2006)

An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems. - Yazen Al-Safi; Valeriy Vyatkin (HoloMAS, 2007)

On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499. - Geoff Black; Valeriy Vyatkin (HoloMAS, 2007)

Concept for intelligent distributed power system automation with IEC 61850 and IEC 61499. - Neil Higgins; Valeriy Vyatkin; Nirmal-Kumar C. Nair; Karlheinz Schwarz (SMC, 2008)

On Definition of a Formal Model for IEC 61499 Function Blocks. - Victor Dubinin; Valeriy Vyatkin (EURASIP J. Embed. Syst., 2008)

Embedded Systems Design in Intelligent Industrial Automation. - Luca Ferrarini; Jose L. Martinez Lastra; Allan Martel; Antonio Valentini; Valeriy Vyatkin (EURASIP J. Embed. Syst., 2008)

Using Visual Specifications in Verification of Industrial Automation Controllers. - Valeriy Vyatkin; Gustavo Bouzon (EURASIP J. Embed. Syst., 2008)

A case study on migration from IEC 61131 PLC to IEC 61499 function block control. - Wenbin William Dai; Valeriy Vyatkin (INDIN, 2009)

Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics. - Piran Tata; Valeriy Vyatkin (INDIN, 2009)

A Synchronous Approach for IEC 61499 Function Block Implementation. - Li Hsien Yoong; Partha S. Roop; Valeriy Vyatkin; Zoran A. Salcic (IEEE Trans. Computers, 2009)

Closed-Loop Modeling in Future Automation System Engineering and Validation. - Valeriy Vyatkin; Hans-Michael Hanisch; Cheng Pang; Chia-Han Yang (IEEE Trans. Syst. Man Cybern. Part C, 2009)

Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks. - Wenbin William Dai; Valeriy Vyatkin (ETFA, 2010)

Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499. - Geoff Black; Valeriy Vyatkin (IEEE Trans Autom. Sci. Eng., 2010)

Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. - Valeriy Vyatkin; Victor Dubinin (IEEE Trans. Ind. Informatics, 2010)

Ontology Model for Migration from IEC 61131-3 PLC to IEC 61499 Function Block. - Wenbin William Dai; Valeriy Vyatkin (DELTA, 2011)

IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review. - Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2011)

Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control. - Neil Higgins; Valeriy Vyatkin; Nirmal-Kumar C. Nair; Karlheinz Schwarz (IEEE Trans. Syst. Man Cybern. Part C, 2011)

Formal verification of Intelligent Mechatronic Systems with decentralized control logic. - Sandeep Patil; Valeriy Vyatkin; Majid Sorouri (ETFA, 2012)

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 (IECON, 2012)

Transformation from PLC to distributed control using ontology mapping. - Wenbin William Dai; Valeriy Vyatkin (INDIN, 2012)

Distributed control patterns for intelligent mechatronic systems. - Majid Sorouri; Sandeep Patil; Valeriy Vyatkin (INDIN, 2012)

Control and hardware-in-the-loop simulation of fruit packing machine with IEC 61499. - Jeffrey Yan; Valeriy Vyatkin; Gerald Weber; Nigel Beach (INDIN, 2012)

Smart Grid automation: Distributed protection application with IEC61850/IEC61499. - Chen-Wei Yang; Gulnara Zhabelova; Valeriy Vyatkin; Nirmal-Kumar C. Nair; Alex Apostolov (INDIN, 2012)

Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks. - Wenbin William Dai; Valeriy Vyatkin (IEEE Trans Autom. Sci. Eng., 2012)

Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes. - Gulnara Zhabelova; Valeriy Vyatkin (IEEE Trans. Ind. Electron., 2012)

Semantics-Robust Design Patterns for IEC 61499. - Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2012)

Essential elements for programming of distributed automation and control systems. - Wenbin William Dai; Valeriy Vyatkin; James H. Christensen (ETFA, 2013)

Model-based customisation of intelligent mechatronic systems using SysML. - Heng-You Lin; Majid Sorouri; Valeriy Vyatkin; Zoran Salcic (ETFA, 2013)

Virtual smart metering in automation and simulation of energy-efficient lighting system. - Cheng Pang; Valeriy Vyatkin; Yinbai Deng; Majid Sorouri (ETFA, 2013)

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 (ETFA, 2013)

Towards automated visualization for distributed automation applications. - Jeffrey Yan; Cheng Pang; Chen-Wei Yang; Valeriy Vyatkin (ETFA, 2013)

Extension of reconfigurability provisions in IEC 61499. - Jeffrey Yan; Valeriy Vyatkin (ETFA, 2013)

A component-based design pattern for improving reusability of automation programs. - Wenbin William Dai; Valeriy Vyatkin (IECON, 2013)

Evaluation of electric grid automation under flood hazards. - Marcin Hurkala; Bryan O'Halloran; Heikki Nikula; Seppo A. Sierla; Tommi Karhela; Valeriy Vyatkin (IECON, 2013)

Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. - Sandeep Patil; Valeriy Vyatkin; Bruce M. McMillin (IECON, 2013)

System-level architecture for building automation systems: Object-orientated design and simulation. - Valeriy Vyatkin; Cheng Pang; Yinbai Deng; Majid Sorouri; Horst Mayer (IECON, 2013)

Towards implementation of Plug-and-Play and distributed HMI for the FREEDM system with IEC 61499. - Chen-Wei Yang; Jeffrey Yan; Valeriy Vyatkin (IECON, 2013)

Agent-based distributed consensus algorithm for decentralized economic dispatch in Smart Grid. - Gulnara Zhabelova; Valeriy Vyatkin; Ziang Zhang; Mo-Yuen Chow (IECON, 2013)

Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog. - Majid Sorouri; Valeriy Vyatkin; Zoran Salcic (INDIN, 2013)

Towards implementation of IEC 61850 GOOSE messaging in IEC 61499 environment. - Jiang Xu; Chen-Wei Yang; Gulnara Zhabelova; Stevan Berber; Valeriy Vyatkin (INDIN, 2013)

Smart Grid applications with IEC 61499 reference architecture. - Gulnara Zhabelova; Sandeep Patil; Chen-Wei Yang; Valeriy Vyatkin (INDIN, 2013)

SysGrid: IEC 61850/IEC 61499 based engineering process for Smart Grid automation design. - Gulnara Zhabelova; Chen-Wei Yang; Valeriy Vyatkin (INDIN, 2013)

A Distributed Automation Architecture Enabling Simulation-in-the-Loop of Energy-Efficient Buildings. - Yinbai Deng; Majid Sorouri; Cheng Pang; Valeriy Vyatkin (UKSim, 2013)

Welcome message from the Editors-in-Chief. - Mihaela Ulieru; Valeriy Vyatkin (EAI Endorsed Trans. Energy Web, 2013)

Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers. - Christoph Sünder; Valeriy Vyatkin; Alois Zoitl (ACM Trans. Embed. Comput. Syst., 2013)

Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems. - Wenbin William Dai; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2013)

Software Engineering in Industrial Automation: State-of-the-Art Review. - Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2013)

Guest Editorial: Special section on software engineering in industrial automation. - Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2013)

Distributed Software Architecture Enabling Peer-to-Peer Communicating Controllers. - Jeffrey Yan; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2013)

Cosimulation Environment for Event-Driven Distributed Controls of Smart Grid. - Chia-Han Yang; Gulnara Zhabelova; Chen-Wei Yang; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2013)

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. - Sandeep Patil; Victor Dubinin; Cheng Pang; Valeriy Vyatkin (Ershov Memorial Conference, 2014)

Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. - Wenbin William Dai; Valeriy Vyatkin; Victor Dubinin; James H. Christensen (ETFA, 2014)

Automatic generation of automation applications based on ontology transformations. - Victor Dubinin; Valeriy Vyatkin; Chen-Wei Yang; Cheng Pang (ETFA, 2014)

On methodology of implementing distributed function block applications using TinyOS WSN nodes. - Denis Kleyko; Evgeny Osipov; Sandeep Patil; Valeriy Vyatkin; Zhibo Pang (ETFA, 2014)

Real-time execution of function blocks for Internet of Things using the RTFM-kernel. - Per Lindgren; Marcus Lindner; Andreas Lindner; Johan Eriksson; Valeriy Vyatkin (ETFA, 2014)

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 (ETFA, 2014)

IEC 61499 based model-driven process control engineering. - Cheng Pang; Valeriy Vyatkin; Wenbin William Dai (ETFA, 2014)

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 (ETFA, 2014)

Adapting Keyword driven test automation framework to IEC 61131-3 industrial control applications using PLCopen XML. - Jukka Peltola; Seppo A. Sierla; Valeriy Vyatkin (ETFA, 2014)

Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. - Roopak Sinha; Valeriy Vyatkin; Zoran Salcic; HeeJong Park 001 (ETFA, 2014)

Time-complemented event-driven reconfigurable systems. - Jeffrey Yan; Valeriy Vyatkin (ETFA, 2014)

Towards implementation of IEC 61850 GOOSE messaging in event-driven IEC 61499 environment. - Chen-Wei Yang; Jiang Xu; Valeriy Vyatkin (ETFA, 2014)

The application of service-oriented architectures in distributed automation systems. - Wenbin William Dai; Valeriy Vyatkin; James H. Christensen (ICRA, 2014)

MIRA: Enabler of mass customization through agent-based development of intelligent manufacturing systems. - Majid Sorouri; Valeriy Vyatkin; Zoran Salcic (ICRA, 2014)

A configurable cloud-based testing infrastructure for interoperable distributed automation systems. - Wenbin William Dai; Laurynas Riliskis; Valeriy Vyatkin; Evgeny Osipov; Jerker Delsing (IECON, 2014)

Adaptable software components: Towards digital ecosystems and software evolution in the industrial automation domain. - Jeffrey Yan; Cheng Pang; Chen-Wei Yang; Valeriy Vyatkin (IECON, 2014)

On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. - Chen-Wei Yang; Valeriy Vyatkin; Arash Mousavi; Victor Dubinin (IECON, 2014)

Decision making for industrial agents in Smart Grid applications. - Gulnara Zhabelova; Valeriy Vyatkin; Victor Dubinin (IECON, 2014)

Knowledge-based routing in mechanical transportation systems. - Stanislav L. Belyakov; Marina Savelyeva; Jeffrey Yan; Valeriy Vyatkin (INDIN, 2014)

Function block implementation of service oriented architecture: Case study. - Wenbin William Dai; James H. Christensen; Valeriy Vyatkin; Victor Dubinin (INDIN, 2014)

A portability study of IEC 61499: Semantics and tools. - Cheng Pang; Sandeep Patil; Chen-Wei Yang; Valeriy Vyatkin; Anatoly Shalyto 001 (INDIN, 2014)

Knowledge-based web service integration for industrial automation. - Borja Ramis; Luis Gonzalez; Sergii Iarovyi; Andrei Lobov; José L. Martínez Lastra; Valeriy Vyatkin; Wenbin William Dai (INDIN, 2014)

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 001; Valeriy Vyatkin (INDIN, 2014)

Smart indoor lighting control: Power, illuminance, and colour quality. - Rupak Baniya; Mikko Maksimainen; Seppo A. Sierla; Cheng Pang; Chen-Wei Yang; Valeriy Vyatkin (ISIE, 2014)

Security risk analysis for smart grid automation. - Seppo A. Sierla; Marcin Hurkala; Konstantinia Charitoudi; Chen-Wei Yang; Valeriy Vyatkin (ISIE, 2014)

Service-oriented distributed control software design for process automation systems. - Wenbin William Dai; Jukka Peltola; Valeriy Vyatkin; Cheng Pang (SMC, 2014)

Towards cyber-physical approach for prototyping indoor lighting automation systems. - Cheng Pang; Valeriy Vyatkin; Horst Mayer (SMC, 2014)

Editorial. - Valeriy Vyatkin; Mihaela Ulieru (EAI Endorsed Trans. Energy Web, 2014)

SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design. - Chen-Wei Yang; Gulnara Zhabelova; Valeriy Vyatkin (EAI Endorsed Trans. Energy Web, 2014)

A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems. - Pavel Vrba; Vladimír Marík; Pierluigi Siano; Paulo Leitão; Gulnara Zhabelova; Valeriy Vyatkin; Thomas I. Strasser (IEEE Trans. Ind. Informatics, 2014)

Migration From PLC to IEC 61499 Using Semantic Web Technologies. - Wenbin William Dai; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Model-Driven Development of Control Software for Distributed Automation: A Survey and an Approach. - Chia-Han Yang; Valeriy Vyatkin; Cheng Pang (IEEE Trans. Syst. Man Cybern. Syst., 2014)

A SysML profile supporting change orders in model driven engineering. - Heng-You Lin; Seppo A. Sierla; Nikolaos Papakonstantinou; Valeriy Vyatkin (CASE, 2015)

An auction-based smart district heating grid. - Kashif Gulzar; Seppo A. Sierla; Valeriy Vyatkin; Nikolaos Papakonstantinou; Paul G. Flikkema; Chen-Wei Yang (ETFA, 2015)

A real-time semantics for the IEC 61499 standard. - Per Lindgren; Marcus Lindner; Andreas Lindner; Valeriy Vyatkin; David Pereira; Luís Miguel Pinho (ETFA, 2015)

A hybrid approach for the initialization of tracking simulation systems. - Gerardo Santillan Martinez; Tommi Karhela; Hannu Niemistö; Ahti Rossi; Cheng Pang; Valeriy Vyatkin (ETFA, 2015)

Towards energy smart data centers: Simulation of server room cooling system. - Arash Mousavi; Valeriy Vyatkin; Yulia Berezovskaya; Xiaojing Zhang 003 (ETFA, 2015)

Towards software metrics for evaluating quality of IEC 61499 automation software. - Gulnara Zhabelova; Valeriy Vyatkin (ETFA, 2015)

Data center power dynamics within the settings of regional power grid. - Gulnara Zhabelova; Alireza Yavarian; Valeriy Vyatkin (ETFA, 2015)

Towards a Design Methodology for Agent-Based Automation of Smart Grid. - Gulnara Zhabelova; Valeriy Vyatkin (HoloMAS, 2015)

Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning. - David Hästbacka; Pekka Aarnio; Valeriy Vyatkin; Seppo Kuikka (KMIS, 2015)

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. - Roopak Sinha; Cheng Pang; Gerardo Santillan Martinez; Juha Kuronen; Valeriy Vyatkin (ICECCS, 2015)

Reconfigurable elements of execution semantics for industrial cyber-physical systems. - Wenbin William Dai; Valeriy Vyatkin (IECON, 2015)

Optimization of decentralized energy storage flexibility for frequency reserves. - Olli Kilkki; Christian Giovanelli; Ilkka Seilonen; Valeriy Vyatkin (IECON, 2015)

Towards IEC 61499 models of computation in Ptolemy II. - Cheng Pang; Wenbin William Dai; Valeriy Vyatkin (IECON, 2015)

Towards formal verification of smart grid distributed intelligence: FREEDM case. - Sandeep Patil; Gulnara Zhabelova; Valeriy Vyatkin; Bruce M. McMillin (IECON, 2015)

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 (IECON, 2015)

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. - Valeriy Vyatkin; Cheng Pang; Stavros Tripakis (IECON, 2015)

Modelling of IEC 61850 message passing for automatic generation of distributed control. - Chen-Wei Yang; Valeriy Vyatkin (IECON, 2015)

Data center energy efficiency and power quality: An alternative approach with solid state transformer. - Gulnara Zhabelova; Alireza Yavarian; Valeriy Vyatkin; Alex Q. Huang (IECON, 2015)

Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. - Sandeep Patil; Dmitrii Drozdov; Victor Dubinin; Valeriy Vyatkin (DoCEIS, 2015)

Evolutionary approach to coverage testing of IEC 61499 function block applications. - Igor Buzhinsky; Vladimir Ulyantsev; Jari Veijalainen; Valeriy Vyatkin (INDIN, 2015)

Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. - Daniil Chivilikhin; Anatoly Shalyto 001; Sandeep Patil; Valeriy Vyatkin (INDIN, 2015)

Time-stamped event based execution semantics for industrial cyber-physical systems. - Wenbin William Dai; Valeriy Vyatkin; Cheng Pang; James H. Christensen (INDIN, 2015)

Fault detection in the hyperspace: Towards intelligent automation systems. - Denis Kleyko; Evgeny Osipov; Nikolaos Papakonstantinou; Valeriy Vyatkin; Arash Mousavi (INDIN, 2015)

Change request management in model-driven engineering of industrial automation software. - Heng-You Lin; Seppo A. Sierla; Nikolaos Papakonstantinou; Anatoly Shalyto 001; Valeriy Vyatkin (INDIN, 2015)

Counterexample-guided simulation framework for formal verification of flexible automation systems. - Sandeep Patil; Valeriy Vyatkin; Cheng Pang (INDIN, 2015)

Slicing the Pi: Device-specific IEC 61499 design. - Roopak Sinha; Barry Dowdeswell; Valeriy Vyatkin (INDIN, 2015)

Industry-friendly engineering tools for wireless home automation devices. - Jia Wang; Zhibo Pang; Cheng Pang; Valeriy Vyatkin (INDIN, 2015)

Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. - Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (SETTA, 2015)

Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. - Evgenii Demin; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (SOHOMA, 2015)

Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience. - Stanislav L. Belyakov; Marina Savelyeva; Jeffrey Yan; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

Formal Modeling of Testing Software for Cyber-Physical Automation Systems. - Igor Buzhinsky; Cheng Pang; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. - Daniil Chivilikhin; Anatoly Shalyto 001; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

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 (TrustCom/BigDataSE/ISPA (3), 2015)

An OPC UA Based Architecture for Testing Tracking Simulation Methods. - Gerardo Santillan Martinez; Tommi Karhela; Valeriy Vyatkin; Tuomas Miettinen; Cheng Pang (TrustCom/BigDataSE/ISPA (3), 2015)

Cyber-physical Design of Data Centers Cooling Systems Automation. - Arash Mousavi; Valeriy Vyatkin; Yulia Berezovskaya; Xiaojing Zhang 003 (TrustCom/BigDataSE/ISPA (3), 2015)

Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. - Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture. - Chen-Wei Yang; Kashif Gulzar; Seppo A. Sierla; Valeriy Vyatkin (TrustCom/BigDataSE/ISPA (3), 2015)

A Review of Architectures and Concepts for Intelligence in Future Electric Energy Systems. - Thomas I. Strasser; Filip Andren; Johannes Kathan; Carlo Cecati; Concettina Buccella; Pierluigi Siano; Paulo Leitão; Gulnara Zhabelova; Valeriy Vyatkin; Pavel Vrba; Vladimír Marík (IEEE Trans. Ind. Electron., 2015)

New Trends in Intelligent Energy Systems-An Industrial Electronics Point of View. - Thomas I. Strasser; Pierluigi Siano; Valeriy Vyatkin (IEEE Trans. Ind. Electron., 2015)

Toward Industrially Usable Agent Technology for Smart Grid Automation. - Gulnara Zhabelova; Valeriy Vyatkin; Victor N. Dubinin (IEEE Trans. Ind. Electron., 2015)

Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability. - Wenbin William Dai; Valeriy Vyatkin; James H. Christensen; Victor N. Dubinin (IEEE Trans. Ind. Informatics, 2015)

Software Composition and Distributed Operation Scheduling in Modular Automated Machines. - Majid Sorouri; Sandeep Patil; Zoran A. Salcic; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2015)

Guest Editorial New Trends in Intelligent Energy Systems-An Industrial Informatics Points of View. - Thomas I. Strasser; Pierluigi Siano; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2015)

Time-Complemented Event-Driven Architecture for Distributed Automation Systems. - Cheng Pang; Jeffrey Yan; Valeriy Vyatkin (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Context modeling with situation rules for industrial maintenance. - Pekka Aarnio; Valeriy Vyatkin; David Hästbacka (ETFA, 2016)

A Comparison of Formal Verification Approaches for IEC 61499. - Jan Olaf Blech; Per Lindgren; David Pereira; Valeriy Vyatkin; Alois Zoitl (ETFA, 2016)

Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. - Hasan Derhamy; Dmitrii Drozdov; Sandeep Patil; Jan van Deventer; Jens Eliasson; Valeriy Vyatkin (ETFA, 2016)

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. - Antti Pakonen; Cheng Pang; Igor Buzhinsky; Valeriy Vyatkin (ETFA, 2016)

District heating temperature control algorithm based on short term weather forecast and consumption predictions. - Nikolaos Papakonstantinou; Jouni Savolainen; Jarmo Koistinen; Antti Aikala; Valeriy Vyatkin (ETFA, 2016)

Improvement of energy efficiency in data centers via flexible humidity control. - Yulia Berezovskaya; Arash Mousavi; Valeriy Vyatkin; Xiaojing Zhang 003; Tor Björn Minde (IECON, 2016)

Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm. - Wenbin William Dai; Wanqi Huang; Valeriy Vyatkin (IECON, 2016)

Towards a formal model of protection functions for power distribution networks. - Michael Masselot; Sandeep Patil; Gulnara Zhabelova; Valeriy Vyatkin (IECON, 2016)

Evaluating benefits of collaborative intelligent batteries in SmartGrid. - Evgeny Nefedov; Valeriy Vyatkin (IECON, 2016)

Decentralised Coordination of Intelligent Autonomous Batteries. - Evgeny Nefedov; Valeriy Vyatkin (DoCEIS, 2016)

Intelligent Product and Mechatronic Software Components Facilitating Mass Customization in Collaborative Manufacturing Systems. - Majid Sorouri; Valeriy Vyatkin (PRO-VE, 2016)

Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. - Chen-Wei Yang; Valeriy Vyatkin; Victor Dubinin (DoCEIS, 2016)

Plant model inference for closed-loop verification of control systems: Initial explorations. - Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2016)

Reconstruction of function block controllers based on test scenarios and verification. - Daniil Chivilikhin; Ilya Ivanov; Anatoly Shalyto 001; Valeriy Vyatkin (INDIN, 2016)

Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. - Dmitrii Drozdov; Victor Dubinin; Valeriy Vyatkin (INDIN, 2016)

Parameters selection in predictive online simulation. - Gerardo Santillan Martinez; Tuomas Miettinen; Antti Aikala; Jouni Savolainen; Kalle Kondelin; Tommi Karhela; Valeriy Vyatkin (INDIN, 2016)

A study on user-friendly formal specification languages for requirements formalization. - Cheng Pang; Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2016)

Requirement verification in simulation-based automation testing. - Eero Siivola; Seppo A. Sierla; Hannu Niemistö; Tommi Karhela; Valeriy Vyatkin (INDIN, 2016)

Distributed ICT architecture and an application for optimized automated demand response. - Christian Giovanelli; Olli Kilkki; Ilkka Seilonen; Valeriy Vyatkin (ISGT Europe, 2016)

Incentives for shaping the consumption profile of a group of consumers with energy storage devices. - Olli Kilkki; Ilkka Seilonen; Kai Zenger; Valeriy Vyatkin (ISGT Europe, 2016)

Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems. - Wenbin William Dai; Wanqi Huang; Valeriy Vyatkin (ISIE, 2016)

Formal verification of cyber-physical automation systems modelled with timed block diagrams. - Dmitrii Drozdov; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (ISIE, 2016)

Open architecture for cost effective protection and control of power distribution networks. - Gulnara Zhabelova; Chen-Wei Yang; Valeriy Vyatkin; Nicholas Etherden; Lars Christoffersson (SmartGridComm, 2016)

Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. - Dmitrii Drozdov; Sandeep Patil; Valeriy Vyatkin (SOHOMA, 2016)

Automatic test case generation from requirements for industrial cyber-physical systems. - Roopak Sinha; Cheng Pang; Gerardo Santillán Martínez; Valeriy Vyatkin (Autom., 2016)

Virtual Power Plant for Grid Services Using IEC 61850. - Nicholas Etherden; Valeriy Vyatkin; Math H. J. Bollen (IEEE Trans. Ind. Informatics, 2016)

MAS-Based Modeling of Active Distribution Network: The Simulation of Emerging Behaviors. - Merkebu Z. Degefa; Antti Alahäivälä; Olli Kilkki; Muhammad Humayun; Ilkka Seilonen; Valeriy Vyatkin; Matti Lehtonen (IEEE Trans. Smart Grid, 2016)

Modular plant model synthesis from behavior traces and temporal properties. - Igor Buzhinsky; Valeriy Vyatkin (ETFA, 2017)

Testing automation systems by means of model checking. - Igor Buzhinsky; Valeriy Vyatkin (ETFA, 2017)

Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. - Victor Dubinin; Ilya Senokosov; Valeriy Vyatkin (HoloMAS, 2017)

Simulation-Enhanced Development of Industrial Cyber-Physical Systems Using OPC-UA and IEC 61499. - Samuli Metsälä; Kashif Gulzar; Valeriy Vyatkin; Laura Gröhn; Eero Väänänen; Lauri Saikko; Magnus Nyholm (HoloMAS, 2017)

Distributed home automation system based on IEC61499 function blocks and wireless sensor networks. - Reza Abrishambaf; Mert Bal; Valeriy Vyatkin (ICIT, 2017)

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IECON, 2017)

Scalable methods of discrete plant model generation for closed-loop model checking. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IECON, 2017)

Network planning and self-repair in models of urban distribution networks via Hill Climbing. - George Davidescu; Valeriy Vyatkin (IECON, 2017)

Towards formal verification for cyber-physically agnostic software: A case study. - Dmitrii Drozdov; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (IECON, 2017)

Towards an aggregator that exploits big data to bid on frequency containment reserve market. - Christian Giovanelli; Xin Liu 020; Seppo A. Sierla; Valeriy Vyatkin; Ryutaro Ichise (IECON, 2017)

Real-time data acquisition support for IEC 61499 based industrial cyber-physical systems. - Wanqi Huang; Wenbin William Dai; Peng Wang; Valeriy Vyatkin (IECON, 2017)

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 (IECON, 2017)

Energy efficient decision making in data centers with multiple cooling methods. - Arash Mousavi; Yulia Berezovskaya; Valeriy Vyatkin; Xiaojing Zhang 003 (IECON, 2017)

Power quality assessment of energy efficient cooling systems in data centers. - Arash Mousavi; Alireza Yavarian; Valeriy Vyatkin; Xiaojing Zhang 003 (IECON, 2017)

Software-defined automation and control a preliminary study. - Cheng Pang; Wenbin William Dai; Qingdi Miao; Jinxian Liang; Guoqing Cai; Shu Lu; Valeriy Vyatkin (IECON, 2017)

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 (IECON, 2017)

Estimation, measurement and improvement of distributed automation applications performance. - Eero Väänänen; Valeriy Vyatkin (IECON, 2017)

Service-oriented extension of IEC 61850 for model-driven smart grid automation design. - Chen-Wei Yang; Valeriy Vyatkin; Cheng Pang (IECON, 2017)

CSP-based inference of function block finite-state models from execution traces. - Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001; Valeriy Vyatkin (INDIN, 2017)

Service-oriented data acquisition and management for industrial cyber-physical systems. - Wenbin William Dai; Zhijie Zhang; Peng Wang; Valeriy Vyatkin; James H. Christensen (INDIN, 2017)

Towards a task allocation algorithm for frequency containment reserves. - Christian Giovanelli; Olli Kilkki; Seppo A. Sierla; Ilkka Seilonen; Valeriy Vyatkin (INDIN, 2017)

Automatic generation of function block applications using evolutionary algorithms: Initial explorations. - Vladimir Mironovich; Maxim Buzdalov 001; Valeriy Vyatkin (INDIN, 2017)

Towards electric vehicles integration to distributed energy resources of prosumer. - Evgeny Nefedov; Seppo A. Sierla; Valeriy Vyatkin (INDIN, 2017)

A framework for runtime verification of industrial process control systems. - Roope Savolainen; Seppo A. Sierla; Tommi Karhela; Tuomas Miettinen; Valeriy Vyatkin (INDIN, 2017)

Automatic generation of function block systems implementing HMI for energy distribution automation. - Artem Voinov; Chen-Wei Yang; Valeriy Vyatkin (INDIN, 2017)

On requirements-driven design of distributed smart grid automation control. - Chen-Wei Yang; Valeriy Vyatkin (INDIN, 2017)

Network planning in smart grids via a local search heuristic for spanning forest problems. - George Davidescu; Thomas Stützle; Valeriy Vyatkin (ISIE, 2017)

On development of execution model for model transforming distributed substation automation control with ontology. - Chen-Wei Yang; Valeriy Vyatkin; Victor Dubinin (ISIE, 2017)

A Distributed ICT Architecture for Continuous Frequency Control. - Christian Giovanelli; Olli Kilkki; Antti Alahäivälä; Ilkka Seilonen; Matti Lehtonen; Valeriy Vyatkin (SMARTGREENS, 2017)

Automatic Generation of Pipelines Into a 3D Industrial Process Model. - Seppo A. Sierla; Tommi Karhela; Valeriy Vyatkin (IEEE Access, 2017)

A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements. - Guilherme Kunz; José Machado 002; Eduardo André Perondi; Valeriy Vyatkin (IEEE Trans. Ind. Electron., 2017)

Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties. - Igor Buzhinsky; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2017)

Reconstruction of Function Block Logic Using Metaheuristic Algorithm. - Daniil Chivilikhin; Anatoly Shalyto 001; Sandeep Patil; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2017)

Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management. - Wenbin William Dai; Victor N. Dubinin; James H. Christensen; Valeriy Vyatkin; Xinping Guan (IEEE Trans. Ind. Informatics, 2017)

Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability". - Wenbin William Dai; Valeriy Vyatkin; James H. Christensen; Victor N. Dubinin (IEEE Trans. Ind. Informatics, 2017)

Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks. - Di Li 001; Zhenkun Zhai; Zhibo Pang; Valeriy Vyatkin; Chengliang Liu 001 (IEEE Trans. Ind. Informatics, 2017)

Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design. - Chen-Wei Yang; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2017)

On Achieving Reliable Communication in IEC 61499. - Udayanto Dwi Atmojo; Valeriy Vyatkin; Zoran Salcic (ETFA, 2018)

Counterexample-guided inference of controller logic from execution traces and temporal formulas. - Daniil Chivilikhin; Igor Buzhinsky; Vladimir I. Ulyantsev; Andrey Stankevich; Anatoly Shalyto 001; Valeriy Vyatkin (ETFA, 2018)

PROSA/G: An architecture for agent-based manufacturing execution. - Dennis Jarvis; Jacqueline Jarvis; Andrei Kalachev; Gulnara Zhabelova; Valeriy Vyatkin (ETFA, 2018)

Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms. - Vladimir Mironovich; Maxim Buzdalov 001; Valeriy Vyatkin (ETFA, 2018)

From fitness landscape analysis to designing evolutionary algorithms: the case study in automatic generation of function block applications. - Vladimir Mironovich; Maxim Buzdalov 001; Valeriy Vyatkin (GECCO (Companion), 2018)

Distributed control architecture for dynamic reconfiguration: Flexible assembly line case study. - Udayanto Dwi Atmojo; Kashif Gulzar; Valeriy Vyatkin; Rongwei Ma; Alexander Hopsu; Henri Makkonen; Atte Korhonen; Long Tran Phu (ICPS, 2018)

Refactoring of IEC 61499 function block application - A case study. - Sandeep Patil; Dmitrii Drozdov; Gulnara Zhabelova; Valeriy Vyatkin (ICPS, 2018)

Smart Distribution of IT Load in Energy Efficient Data Centers with Focus on Cooling Systems. - Yulia Berezovskaya; Arash Mousavi; Valeriy Vyatkin; Xiaojing Zhang 003 (IECON, 2018)

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 (IECON, 2018)

A Flow-Based Heuristic Algorithm for Network Operations Planning in Smart Grids. - George Davidescu; Andrey Filchenkov; Amir Muratov; Valeriy Vyatkin (IECON, 2018)

Formal Verification of Protection Functions for Power Distribution Networks. - Dmitrii Drozdov; Sandeep Patil; Chen-Wei Yang; Gulnara Zhabelova; Valeriy Vyatkin (IECON, 2018)

Intelligent Mechatronic System with Decentralised Control and Multi-Agent Planning. - Andrei Kalachev; Gulnara Zhabelova; Valeriy Vyatkin; Dennis Jarvis; Cheng Pang (IECON, 2018)

Automatic Generation of a Simulation-Based Digital Twin of an Industrial Process Plant. - Gerardo Santillan Martinez; Seppo A. Sierla; Tommi Karhela; Valeriy Vyatkin (IECON, 2018)

On Automated Co-Simulation Testing of Functional Requirements for Distributed Substation Automation Systems. - Chen-Wei Yang; Valeriy Vyatkin (IECON, 2018)

Towards an Open Model for Data Center Research: From CPU to Cooling Tower. - Gulnara Zhabelova; Mattias Vesterlund; Sascha Eschmann; Valeriy Vyatkin; Damien Flieller (IECON, 2018)

A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems. - Udayanto Dwi Atmojo; Valeriy Vyatkin (INDIN, 2018)

Modelling Industrial Cyber-Physical Systems using IEC 61499 and OPC UA. - Wenbin William Dai; Yineng Song; Zhijie Zhang; Peng Wang; Cheng Pang; Valeriy Vyatkin (INDIN, 2018)

Implementation of distributed semaphores in IEC 61499 with consensus protocols. - Victor Dubinin; Artem Voinov; Ilya Senokosov; Valeriy Vyatkin (INDIN, 2018)

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 (INDIN, 2018)

Active Learning of Formal Plant Models For Cyber-Physical Systems. - Polina Ovsiannikova; Daniil Chivilikhin; Vladimir Ulyantsev; Andrey Stankevich; Ilya Zakirzyanov; Valeriy Vyatkin; Anatoly Shalyto 001 (INDIN, 2018)

Counterexample visualization and explanation for function block diagrams. - Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (INDIN, 2018)

Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. - Sandeep Patil; Dmitrii Drozdov; Valeriy Vyatkin (INDIN, 2018)

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. - Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (ISIE, 2018)

Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power Plant. - Denis Kleyko; Evgeny Osipov; Nikolaos Papakonstantinou; Valeriy Vyatkin (IEEE Access, 2018)

An Integrated Implementation Methodology of a Lifecycle-Wide Tracking Simulation Architecture. - Gerardo Santillán Martínez; Tommi Karhela; Reino Ruusu; Seppo A. Sierla; Valeriy Vyatkin (IEEE Access, 2018)

Automatic Generation of a High-Fidelity Dynamic Thermal-Hydraulic Process Simulation Model From a 3D Plant Model. - Gerardo Santillan Martinez; Seppo A. Sierla; Tommi Karhela; Jari Lappalainen; Valeriy Vyatkin (IEEE Access, 2018)

A Comprehensive Model of Data Center: From CPU to Cooling Tower. - Gulnara Zhabelova; Mattias Vesterlund; Sascha Eschmann; Yulia Berezovskaya; Valeriy Vyatkin; Damien Flieller (IEEE Access, 2018)

Automatic assembly planning based on digital product descriptions. - Seppo A. Sierla; Ville Kyrki; Pekka Aarnio; Valeriy Vyatkin (Comput. Ind., 2018)

Intelligent product and mechatronic software components enabling mass customisation in advanced production systems. - Majid Sorouri; Valeriy Vyatkin (Serv. Oriented Comput. Appl., 2018)

A Cloud-Based Decision Support System for Self-Healing in Distributed Automation Systems Using Fault Tree Analysis. - Wenbin William Dai; Laurynas Riliskis; Peng Wang; Valeriy Vyatkin; Xinping Guan (IEEE Trans. Ind. Informatics, 2018)

Guest Editorial Information Technology in Automation. - Herbert Prähofer; Valeriy Vyatkin; Alois Zoitl (IEEE Trans. Ind. Informatics, 2018)

Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing. - Denis Kleyko; Evgeny Osipov; Daswin De Silva; Urban Wiklund; Valeriy Vyatkin; Damminda Alahakoon (Ershov Informatics Conference, 2019)

A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication. - Udayanto Dwi Atmojo; Valeriy Vyatkin (ETFA, 2019)

Towards formal ASM semantics of timed control systems for industrial CPS. - Dmitrii Drozdov; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (ETFA, 2019)

Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm. - Vladimir Mironovich; Maxim Buzdalov 001; Valeriy Vyatkin (ETFA, 2019)

Design to automation continuum for industrial processes: ISO 15926 - IEC 61131 versus an industrial case. - Nikolaos Papakonstantinou; Juha Karttunen; Seppo A. Sierla; Valeriy Vyatkin (ETFA, 2019)

Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory. - Udayanto Dwi Atmojo; Jan Olaf Blech; Seppo A. Sierla; Valeriy Vyatkin (ICII, 2019)

On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study. - Udayanto Dwi Atmojo; Jan Olaf Blech; Valeriy Vyatkin; Markus Roni; Vuong Vo; Roman Rumiantcev; Konsta Leino; Mika Kuusisto (ICII, 2019)

Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems. - Udayanto Dwi Atmojo; Valeriy Vyatkin (INDIN, 2019)

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 (INDIN, 2019)

A hybrid fault detection and diagnosis method in server rooms' cooling systems. - Yulia Berezovskaya; Chen-Wei Yang; Arash Mousavi; Xiaojing Zhang 003; Valeriy Vyatkin (INDIN, 2019)

ANN based Interwell Connectivity Analysis in Cyber-Physical Petroleum Systems. - Haibo Cheng; Xiaoning Han; Peng Zeng 001; Haibin Yu; Evgeny Osipov; Valeriy Vyatkin (INDIN, 2019)

Towards automatic state machine reconstruction from legacy PLC using data collection. - Daniil Chivilikhin; Sandeep Patil; Anthony Cordonnier; Valeriy Vyatkin (INDIN, 2019)

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 (INDIN, 2019)

Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. - Dennis Jarvis; Jacqueline Jarvis; Chen-Wei Yang; Roopak Sinha; Valeriy Vyatkin (INDIN, 2019)

Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. - Vladimir Kuliaev; Udayanto Dwi Atmojo; Seppo A. Sierla; Jan Olaf Blech; Valeriy Vyatkin (INDIN, 2019)

OPC UA Information Model and a Wrapper for IEC 61499 Runtimes. - Ilkka Seilonen; Valeriy Vyatkin; Udayanto Dwi Atmojo (INDIN, 2019)

Designing Actively Secure, Highly Available Industrial Automation Applications. - Awais Tanveer; Roopak Sinha; Stephen G. MacDonell; Paulo Leitão; Valeriy Vyatkin (INDIN, 2019)

Non-linear control of a group of tracked robots. - Gennady E. Veselov; Andrey A. Sklyarov; Valeriy Vyatkin (INDIN, 2019)

On Portability of IEC 61499 Compliant Structures and Systems. - Alexander Hopsu; Udayanto Dwi Atmojo; Valeriy Vyatkin (ISIE, 2019)

Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study. - Dmitrii Drozdov; Udayanto Dwi Atmojo; Cheng Pang; Sandeep Patil; Muhammad Irfan Ali; Antti Tenhunen; Taavi Oksanen; Kiril Cheremetiev; Valeriy Vyatkin (SOHOMA, 2019)

Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices. - Wenbin William Dai; Peng Wang; Weiqi Sun; Xian Wu; Hualiang Zhang; Valeriy Vyatkin; Genke Yang (IEEE Access, 2019)

Applying graph matching techniques to enhance reuse of plant design information. - Miia Rantala; Hannu Niemistö; Tommi Karhela; Seppo A. Sierla; Valeriy Vyatkin (Comput. Ind., 2019)

Combining closed-loop test generation and execution by means of model checking. - Igor Buzhinsky; Valeriy Vyatkin (CoRR, 2019)

Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. - Dmitry Mukhutdinov; Andrey Filchenkov; Anatoly Shalyto 001; Valeriy Vyatkin (Future Gener. Comput. Syst., 2019)

Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study. - Matti Yli-Ojanperä; Seppo A. Sierla; Nikolaos Papakonstantinou; Valeriy Vyatkin (J. Ind. Inf. Integr., 2019)

Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. - Safa Guellouz; Adel Benzina; Mohamed Khalgui; Georg Frey; Zhiwu Li 001; Valeriy Vyatkin (IEEE Trans Autom. Sci. Eng., 2019)

TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. - Roopak Sinha; Barry Dowdeswell; Gulnara Zhabelova; Valeriy Vyatkin (ACM Trans. Cyber Phys. Syst., 2019)

Function Block Finite-State Model Identification Using SAT and CSP Solvers. - Daniil Chivilikhin; Vladimir Ulyantsev; Anatoly Shalyto 001; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2019)

Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions. - Alfonso Damiano; Craig Rieger; Valeriy Vyatkin; Milos Manic (IEEE Trans. Ind. Informatics, 2019)

Task Allocation Algorithm for Energy Resources Providing Frequency Containment Reserves. - Christian Giovanelli; Olli Kilkki; Seppo A. Sierla; Ilkka Seilonen; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2019)

Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics. - Daswin De Silva; Zhibo Pang; Evgeny Osipov; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2019)

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. - Roopak Sinha; Sandeep Patil; Luís Gomes 001; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2019)

IoT in Traffic Management: Review of Existing Methods of Road Traffic Regulation. - Dmitry Elkin; Valeriy Vyatkin (CSOC (3), 2020)

Towards a 3D Scanning/VR-based Product Inspection Station. - Mohammad Azangoo; Jan Olaf Blech; Udayanto Dwi Atmojo; Valeriy Vyatkin; Kamal Dhakal; Mikael Eriksson; Miika Lehtimäki; Jonathan Leinola; Pyry Pietarila (ETFA, 2020)

Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. - Ronal Bejarano; Roope Pääkkönen; Jan Olaf Blech; Ian Peake; Peter Herrmann; Valeriy Vyatkin (ETFA, 2020)

Towards Implementation of Interoperable Smart Sensor Services in IEC 61499 for Process Automation. - Pranay Jhunjhunwala; Udayanto Dwi Atmojo; Valeriy Vyatkin (ETFA, 2020)

Arrowhead Datamanager integration with Eclipse 4DIAC environment. - Marco Romanato; Dmitrii Drozdov; Sandeep Patil; Jerker Delsing; Valeriy Vyatkin (ETFA, 2020)

Generating an industrial process graph from 3D pipe routing information. - Seppo A. Sierla; Mohammad Azangoo; Valeriy Vyatkin (ETFA, 2020)

Visual counterexample explanation for model checking with OERITTE. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (ICECCS, 2020)

A Plug and Produce-inspired Approach in Distributed Control Architecture: A Flexible Assembly Line and Product Centric Control Example. - Udayanto Dwi Atmojo; Jan Olaf Blech; Valeriy Vyatkin (ICIT, 2020)

Towards Multi-Agent Control in Energy-Efficient Data Centres. - Yulia Berezovskaya; Chen-Wei Yang; Valeriy Vyatkin (IECON, 2020)

Software-Defined Decentralized Domestic Wastewater Treatment: 1st Milestone. - Cheng Pang; Di Wu; Wenbin William Dai; Anna Mikola; Tommi A. Karhela; Valeriy Vyatkin (IECON, 2020)

Distributed Approach to Traffic Management Automation Implemented According to IEC 61499. - Dmitry Elkin; Valeriy Vyatkin (DoCEIS, 2020)

Formal Verification of IEC 61499 Enhanced with Timed Events. - Viktor Shatrov; Valeriy Vyatkin (DoCEIS, 2020)

Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins. - Seppo A. Sierla; Mohammad Azangoo; Alexander Fay; Valeriy Vyatkin; Nikolaos Papakonstantinou (ISIE, 2020)

Modular Model of a Data Centre as a Tool for Improving Its Energy Efficiency. - Yulia Berezovskaya; Chen-Wei Yang; Arash Mousavi; Valeriy Vyatkin; Tor Björn Minde (IEEE Access, 2020)

LSTM Based EFAST Global Sensitivity Analysis for Interwell Connectivity Evaluation Using Injection and Production Fluctuation Data. - Haibo Cheng; Valeriy Vyatkin; Evgeny Osipov; Peng Zeng 001; Haibin Yu (IEEE Access, 2020)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. - Konstantin Chukharev; Dmitrii Suvorov; Daniil Chivilikhin; Valeriy Vyatkin (IEEE Access, 2020)

Automatic Recognition of Sucker-Rod Pumping System Working Conditions Using Dynamometer Cards with Transfer Learning and SVM. - Haibo Cheng; Haibin Yu; Peng Zeng 001; Evgeny Osipov; Shichao Li; Valeriy Vyatkin (Sensors, 2020)

A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems. - Udayanto Dwi Atmojo; Zoran Salcic; Kevin I-Kai Wang; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2020)

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. - Daniil Chivilikhin; Sandeep Patil; Konstantin Chukharev; Anthony Cordonnier; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2020)

Guest Editorial: Emerging Technologies and Novel Trends in Industrial Informatics. - Valeriy Vyatkin; Lucia Lo Bello; Thilo Sauter (IEEE Trans. Ind. Informatics, 2020)

Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. - Chen-Wei Yang; Victor Dubinin; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2020)

Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems. - Wenbin William Dai; Cheng Pang; Valeriy Vyatkin; James H. Christensen; Xinping Guan (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Hybrid Digital Twin for process industry using Apros simulation environment. - Mohammad Azangoo; Joonas Salmi; Iivo Yrjölä; Jonathan Bensky; Gerardo Santillan Martinez; Nikolaos Papakonstantinou; Seppo A. Sierla; Valeriy Vyatkin (ETFA, 2021)

Towards enhanced live visualization based on communication delay prediction for remote AGV operation. - Ronal Bejarano; Udayanto Dwi Atmojo; Jan Olaf Blech; Valeriy Vyatkin (ETFA, 2021)

Towards reinforcement learning approach to energy-efficient control of server fans in data centres. - Yulia Berezovskaya; Chen-Wei Yang; Valeriy Vyatkin (ETFA, 2021)

Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS. - Andrej Lashchev; Gennady Veselov; Valeriy Vyatkin (ETFA, 2021)

Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. - Polina Ovsiannikova; Valeriy Vyatkin (ETFA, 2021)

Plant Model Generator from Digital Twin for Purpose of Formal Verification. - Midhun Xavier; Johannes Håkansson; Sandeep Patil; Valeriy Vyatkin (ETFA, 2021)

A Design Pattern for Monitoring Adapter Connections in IEC 61499. - Pranay Jhunjhunwala; Jan Olaf Blech; Alois Zoitl; Udayanto Dwi Atmojo; Valeriy Vyatkin (ICIT, 2021)

Dynamic Adapter Connections for IEC 61499. - Paavo Kajola; Jan Olaf Blech; Udayanto Dwi Atmojo; Valeriy Vyatkin (ICIT, 2021)

SMT-Based Deployment Calculation for IEC 61499 Control Applications. - Tuojian Lyu; Jan Olaf Blech; Valeriy Vyatkin (ICPS, 2021)

Towards cloud-based virtual commissioning of distributed automation applications with IEC 61499 and containerization technology. - Tuojian Lyu; Udayanto Dwi Atmojo; Valeriy Vyatkin (IECON, 2021)

Change-based causes in counterexample explanation for model checking. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (IECON, 2021)

Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation. - Yulia Berezovskaya; Chen-Wei Yang; Valeriy Vyatkin (DoCEIS, 2021)

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 (INDIN, 2021)

Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. - Viktor Shatrov; Valeriy Vyatkin (INDIN, 2021)

Cyber-physical automation systems modelling with IEC 61499 for their formal verification. - Midhun Xavier; Sandeep Patil; Valeriy Vyatkin (INDIN, 2021)

Interfacing Third Party Cloud Services to a Virtual Power Plant. - Rakshith Subramanya; Seppo A. Sierla; Matti Yli-Ojanperä; Henri Makkonen; Mahdi Pourakbari-Kasmaei; Valeriy Vyatkin (ISGT-Europe, 2021)

Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. - Mohammad Azangoo; Amir Taherkordi; Jan Olaf Blech; Valeriy Vyatkin (ISIE, 2021)

Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. - Anand George; Polina Ovsiannikova; Valeriy Vyatkin (ISIE, 2021)

Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin. - Pranay Jhunjhunwala; Udayanto Dwi Atmojo; Valeriy Vyatkin (ISIE, 2021)

A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. - Tuojian Lyu; Jan Olaf Blech; Valeriy Vyatkin (ISIE, 2021)

Prototyping Multi-Protocol Communication to enable semantic interoperability for Demand response Services. - Nikolai Galkin; Chen-Wei Yang; Lars Nordström; Valeriy Vyatkin (SmartGridComm, 2021)

Oeritte: User-Friendly Counterexample Explanation for Model Checking. - Polina Ovsiannikova; Igor Buzhinsky; Antti Pakonen; Valeriy Vyatkin (IEEE Access, 2021)

An Artificial Intelligence Framework for Bidding Optimization with Uncertainty in Multiple Frequency Reserve Markets. - Thimal Kempitiya; Seppo A. Sierla; Daswin De Silva; Matti Yli-Ojanperä; Damminda Alahakoon; Valeriy Vyatkin (CoRR, 2021)

An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (ETFA, 2022)

On automatic generation of OPC UA connections in IEC 61499 automation systems. - Tuojian Lyu; Udayanto Dwi Atmojo; Valeriy Vyatkin (ICPS, 2022)

Reinforcement learning approach to implementation of individual controllers in data centre control system. - Yulia Berezovskaya; Chen-Wei Yang; Valeriy Vyatkin (INDIN, 2022)

Formal model of IEC 61499 execution trace in FBME IDE. - Tatiana Liakh; Radimir Sorokin; Daniil Akifev; Sandeep Patil; Valeriy Vyatkin (INDIN, 2022)

Process mining in industrial control systems. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (INDIN, 2022)

Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling. - Pranay Jhunjhunwala; Alois Zoitl; Udayanto Dwi Atmojo; Valeriy Vyatkin (ISIE, 2022)

On enhancing reconfigurability of I/O connection and access in IEC 61499. - Tuojian Lyu; Udayanto Dwi Atmojo; Valeriy Vyatkin (ISIE, 2022)

A Methodology for Generating a Digital Twin for Process Industry: A Case Study of a Fiber Processing Pilot Plant. - Mohammad Azangoo; Lotta Sorsamäki; Seppo A. Sierla; Teemu Mätäsniemi; Miia Rantala; Kari Rainio; Valeriy Vyatkin (IEEE Access, 2022)

Proposing and Prototyping an Extension to the Adapter Concept in the IEC 61499 Standard. - Pranay Jhunjhunwala; Valeriy Vyatkin (IEEE Access, 2022)

Exploiting Battery Storages With Reinforcement Learning: A Review for Energy Professionals. - Rakshith Subramanya; Seppo A. Sierla; Valeriy Vyatkin (IEEE Access, 2022)

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language. - Vladimir E. Zyubin; Andrei S. Rozov; Igor S. Anureev; Natalya Olegovna Garanina; Valeriy Vyatkin (IEEE Access, 2022)

Reinforcement learning for industrial process control: A case study in flatness control in steel industry. - Jifei Deng; Seppo A. Sierla; Jie Sun 019; Valeriy Vyatkin (Comput. Ind., 2022)

Plant model generation from event log using ProM for formal verification of CPS. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (CoRR, 2022)

Roadmap to semi-automatic generation of digital twins for brownfield process plants. - Seppo A. Sierla; Mohammad Azangoo; Kari Rainio; Nikolaos Papakonstantinou; Alexander Fay; Petri Honkamaa; Valeriy Vyatkin (J. Ind. Inf. Integr., 2022)

Imbalanced multiclass classification with active learning in strip rolling process. - Jifei Deng; Jie Sun 019; Wen Peng; Dian-hua Zhang; Valeriy Vyatkin (Knowl. Based Syst., 2022)

Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. - Nan Zhou 004; Di Li 001; Valeriy Vyatkin; Victor Dubinin; Chengliang Liu 001 (IEEE Trans Autom. Sci. Eng., 2022)

Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. - Midhun Xavier; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (Petri Nets, 2023)

Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (ETFA, 2023)

Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. - Bianca Wiesmayr; Midhun Xavier; Sandeep Patil; Alois Zoitl; Valeriy Vyatkin (ETFA, 2023)

Mechatronic Swarm and its Virtual Commissioning. - Tuojian Lyu; Andrej Lashchev; Sandeep Patil; Udayanto Dwi Atmojo; Valeriy Vyatkin (ICM, 2023)

Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data. - Haibo Cheng; Yunpeng He; Peng Zeng 001; Shichao Li; Valeriy Vyatkin (IECON, 2023)

Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. - Pranay Jhunjhunwala; Polina Ovsiannikova; Valeriy Vyatkin (IECON, 2023)

Data-Driven Human Factors Enabled Digital Twin. - Mikhail V. Kolesnikov; Udayanto Dwi Atmojo; Valeriy Vyatkin (IECON, 2023)

Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. - Polina Ovsiannikova; Antti Pakonen; Valeriy Vyatkin (IECON, 2023)

Cloud Computing Design Patterns for MLOps: Applications to Virtual Power Plants. - Rakshith Subramanya; Paula Räisänen; Seppo A. Sierla; Valeriy Vyatkin (IECON, 2023)

Towards Interoperability of Edge Datacentre in the Energy Community with IEC 61850 Modelling. - Chen-Wei Yang; Nikolai Galkin; Valeriy Vyatkin (IECON, 2023)

DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. - Midhun Xavier; Parvathy Sobha; Sandeep Patil; Valeriy Vyatkin (INDIN, 2023)

Debugging approach for IEC 61499 control applications in FBME. - Daniil Akifev; Tatiana Liakh; Polina Ovsiannikova; Radimir Sorokin; Valeriy Vyatkin (ISIE, 2023)

Application of Deep Learning Method to Estimate Bottomhole Pressure Dynamics of Oil Wells. - Haibo Cheng; Shichao Li; Peng Zeng 001; Valeriy Vyatkin (ISIE, 2023)

Application of reinforcement learning for energy consumption optimization of district heating system. - Jifei Deng; Miro Eklund; Seppo A. Sierla; Jouni Savolainen; Hannu Niemistö; Tommi Karhela; Valeriy Vyatkin (ISIE, 2023)

Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment. - Mikhail V. Kolesnikov; Jan Olaf Blech; Udayanto Dwi Atmojo; Valeriy Vyatkin; Maxim Ya. Afanasev (ISIE, 2023)

Towards migration from IEC 61131-3 to IEC 61499 in process industry: redesign of visualisation. - Hiruni Kothalawala; Pranay Jhunjhunwala; Valeriy Vyatkin (ISIE, 2023)

Methods of data streaming from IEC 61499 applications to Cloud storages. - Tuojian Lyu; Nikolai Galkin; Tatiana Liakh; Chen-Wei Yang; Valeriy Vyatkin (ISIE, 2023)

Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. - Polina Ovsiannikova; Etienne Le Priol; Vincent Perret; Pranay Jhunjhunwala; Midhun Xavier; Valeriy Vyatkin (ISIE, 2023)

Onsite Renewable Generation Time Shifting for Photovoltaic Systems. - Rakshith Subramanya; Aaltonen Harri; Seppo A. Sierla; Valeriy Vyatkin (ISIE, 2023)

Developing a Test Suite for Evaluating IEC 61499 Application Portability. - Midhun Xavier; Tatiana Laikh; Sandeep Patil; Valeriy Vyatkin (ISIE, 2023)

On interoperability of Datacentre and the Energy market in the Nordic Region. - Chen-Wei Yang; Nikolai Galkin; Valeriy Vyatkin (ISIE, 2023)

Black Soldier Fly Bioconversion System: A Digital Twin Approach. - Guangtao Yu; Hiroaki Nishi; Cheng Pang; Qingqing Gu; Yonghao Lin; Jinxian Liang; Wenbin William Dai; Valeriy Vyatkin (ISIE, 2023)

Microcomputer Prototyping of IEC61850-9-2 with Performance Analysis. - Nikolai Galkin; Chen-Wei Yang; Nicholas Etherden; Valeriy Vyatkin (SmartGridComm, 2023)

Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems. - Nikolai Galkin; Michail Ruchkin; Valeriy Vyatkin; Chen-Wei Yang; Victor Dubinin (IEEE Access, 2023)

Sitting on a gold mine: the story of the process industry's automatic formation of a digital twin. - Mohammad Azangoo; Seppo A. Sierla; Valeriy Vyatkin (CoRR, 2023)

Offline reinforcement learning for industrial process control: A case study from steel industry. - Jifei Deng; Seppo A. Sierla; Jie Sun 019; Valeriy Vyatkin (Inf. Sci., 2023)

Obituary Prof. Dr. Hans-Michael Hanisch. - Arndt Lüder; Valeriy Vyatkin (Autom., 2023)

Mass customization with reinforcement learning: Automatic reconfiguration of a production line. - Jifei Deng; Seppo A. Sierla; Jie Sun 019; Valeriy Vyatkin (Appl. Soft Comput., 2023)

Dynamic Modeling of Strip Rolling Process Using Probabilistic Neural Network. - Jifei Deng; Seppo A. Sierla; Jie Sun 019; Valeriy Vyatkin (AMC, 2024)

Towards Virtual Commissioning Environment for Smart Mechatronic Systems. - Tuojian Lyu; Udayanto Dwi Atmojo; Valeriy Vyatkin (AMC, 2024)

Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. - Akira King; Polina Ovsiannikova; Valeriy Vyatkin (ETFA, 2024)

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 (ETFA, 2024)

Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications. - Polina Ovsiannikova; Tatiana Liakh; Pranay Jhunjhunwala; Valeriy Vyatkin (ETFA, 2024)

Confidentiality Preserving Data Sharing for Life Cycle Assessment in Process Industries. - Hansani Perera; Udayanto Dwi Atmojo; Valeriy Vyatkin (ETFA, 2024)

Energy Consumption Optimisation for Horticultural Facilities. - Kirill Zhukovskii; Polina Ovsiannikova; Pranay Jhunjhunwala; Paolo Scarabaggio; Raffaele Carli; Mariagrazia Dotoli; Valeriy Vyatkin (ETFA, 2024)

Probabilistic Model Checking for IEC 61499: A Manufacturing Application. - Irman Faqrizal; Tatiana Liakh; Midhun Xavier; Gwen Salaün; Valeriy Vyatkin (ICIT, 2024)

WalkIES robotic walker and brief description of standard and robotic walkers. - Larisa Dunai 001; Isabel Seguí-Verdú; Alin Tisan; Hipólito Guzmán-Miranda; Victor Huang; Cheng-Jen Allen Chen; Daswin De Silva; Stamatis Karnouskos; Daisuke Chugo; Valeriy Vyatkin (IECON, 2024)

Proposing Bus Adapter Connections in IEC 61499. - Pranay Jhunjhunwala; Valeriy Vyatkin (IECON, 2024)

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 (IECON, 2024)

LLM-Powered Multi-Actor System for Intelligent Analysis and Visualization of IEC 61499 Control Systems. - Midhun Xavier; Tatiana Laikh; Sandeep Patil; Valeriy Vyatkin (IECON, 2024)

Framework for Faster-Than-Real-Time Testing of IEC 61499 Applications with Embedded Process Simulation. - Valeriy Vyatkin; Roman Rumiantcev (INDIN, 2024)

A Low-Code Development Platform for Industrialized Insect-based Bioconversion Systems. - Cheng Pang; Jinxian Liang; Guangtao Yu; Jibin Zhang; Hiroaki Nishi; Kevin I-Kai Wang; Zeyuan Li; Wenbin Dai; Valeriy Vyatkin (ISIE, 2024)

Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System. - Midhun Xavier; Sandeep Patil; Valeriy Vyatkin (ISIE, 2024)

On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study. - Chen-Wei Yang; Nikolai Galkin; Dmitrii Drozdov; Valeriy Vyatkin (ISIE, 2024)

Evaluation of visual property specification languages based on practical model-checking experience. - Antti Pakonen; Igor Buzhinsky; Valeriy Vyatkin (J. Syst. Softw., 2024)

Residual-Enhanced Physics-Guided Machine Learning With Hard Constraints for Subsurface Flow in Reservoir Engineering. - Haibo Cheng; Yunpeng He; Peng Zeng 001; Valeriy Vyatkin (IEEE Trans. Geosci. Remote. Sens., 2024)

Computing Performance Analysis of IEC 61499 Distributed Automation Systems. - Tuojian Lyu; Valeriy Vyatkin (ICIT, 2025)

Physics-informed generative regression for industrial process modeling in steel strip rolling. - Jifei Deng; Seppo A. Sierla; Jie Sun 019; Valeriy Vyatkin (Expert Syst. Appl., 2025)