Valeriy Vyatkin

404 papers A* 3B 7C 195Misc 1Journal 108Unranked 88

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	A Multi-Agent Reinforcement Learning Approach to real-time Demand Response in Cruise Ship Cabins. ETFA Aaltonen Harri, Markus Häkkinen, Udayanto Dwi Atmojo, Valeriy Vyatkin
2025	C	`conf`	An Artificial Mating and Ovipositing Facility for Black Soldier Flies. INDIN Cheng Pang, Yunjiang Lou, Lei Shu, Guangzhong Dong, Dongjun Zhang, Jinfa Zou, Chen-Wei Yang, Valeriy Vyatkin
2025	C	`conf`	Automatic testing of IEC 61499 automation systems with simulator in the loop in cloud environment. INDIN Roman Rumiantcev, Tung Nguyen, Tuojian Lyu, Mikhail V. Kolesnikov, Valeriy Vyatkin
2025	C	`conf`	Complexity-Aware Distribution Optimization for Computing-intensive Distributed Automation Systems with IEC 61499. INDIN Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin
2025	—	`conf`	Computing Performance Analysis of IEC 61499 Distributed Automation Systems. ICIT Tuojian Lyu, Valeriy Vyatkin
2025	J	`jnl`	Decentralized Control of Crop Growth Conditions in Vertical Farms Under Dynamic Energy Markets. IEEE Trans Autom. Sci. Eng. Kirill Zhukovskii, Paolo Scarabaggio, Polina Ovsiannikova, Pranay Jhunjhunwala, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin
2025	C	`conf`	Exploring Safe Reinforcement Learning Using Safety Shields Derived With System-Theoretic Process Analysis: A Case-Study on a Cruise Ship Hotel System. ETFA Akira King, Erald Shahinas, Udayanto Dwi Atmojo, Valeriy Vyatkin
2025	C	`conf`	LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code. ETFA Akira King, Valeriy Vyatkin
2025	C	`conf`	LLM-based Iterative Requirements Refinement in FSM with IEC 61499 Code Generation. INDIN Valeriy Vyatkin, Sandeep Patil, Dmitrii Drozdov, Anatoly Shalyto
2025	J	`jnl`	Physics-informed generative regression for industrial process modeling in steel strip rolling. Expert Syst. Appl. Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin
2025	C	`conf`	Process Simulation Development with IEC 61499 for Runtime Execution. ETFA Pasindu Padmathilaka, Pranay Jhunjhunwala, Valeriy Vyatkin
2025	C	`conf`	Reducing Commissioning Efforts in the Process Industry Through Open Standards. ETFA Emil Karlsson, Pranay Jhunjhunwala, Pirya Devi, Tommi Niininen, Harry Nyquist, Valeriy Vyatkin
2025	C	`conf`	Self-Training Collaborative Sample Pruning Method for Hot-Rolled Strip Crown Imbalance Diagnosis. INDIN Yehui Qin, Chengyan Ding, Jie Sun, Wen Peng, Xudong Li, Xingfang Zhao, Jifei Deng, Valeriy Vyatkin
2024	—	`conf`	A Low-Code Development Platform for Industrialized Insect-based Bioconversion Systems. ISIE Cheng Pang, Jinxian Liang, Guangtao Yu, Jibin Zhang, Hiroaki Nishi, Kevin I-Kai Wang, Zeyuan Li, Wenbin Dai, Valeriy Vyatkin
2024	C	`conf`	Addressing Privacy and Security Challenges at the Industry 5.0 Human-Intensive and Highly Automated Factory Floor. IECON Mikhail V. Kolesnikov, Leonardo Lossi, Enrico Alberti, Udayanto Dwi Atmojo, Valeriy Vyatkin
2024	C	`conf`	Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. ETFA Akira King, Polina Ovsiannikova, Valeriy Vyatkin
2024	C	`conf`	Confidentiality Preserving Data Sharing for Life Cycle Assessment in Process Industries. ETFA Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin
2024	—	`conf`	Dynamic Modeling of Strip Rolling Process Using Probabilistic Neural Network. AMC Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin
2024	C	`conf`	Energy Consumption Optimisation for Horticultural Facilities. ETFA Kirill Zhukovskii, Polina Ovsiannikova, Pranay Jhunjhunwala, Paolo Scarabaggio, Raffaele Carli, Mariagrazia Dotoli, Valeriy Vyatkin
2024	—	`conf`	Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System. ISIE Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
2024	J	`jnl`	Evaluation of visual property specification languages based on practical model-checking experience. J. Syst. Softw. Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
2024	C	`conf`	Framework for Faster-Than-Real-Time Testing of IEC 61499 Applications with Embedded Process Simulation. INDIN Valeriy Vyatkin, Roman Rumiantcev
2024	C	`conf`	Generative AI Co-Pilot for Rapid Prototyping of IEC 61499 Control Applications. ETFA Polina Ovsiannikova, Tatiana Liakh, Pranay Jhunjhunwala, Valeriy Vyatkin
2024	C	`conf`	LLM-Powered Multi-Actor System for Intelligent Analysis and Visualization of IEC 61499 Control Systems. IECON Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin
2024	—	`conf`	On Evaluating R-GOOSE Messaging Latency over 5G: A Swedish Case Study. ISIE Chen-Wei Yang, Nikolai Galkin, Dmitrii Drozdov, Valeriy Vyatkin
2024	—	`conf`	Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
2024	C	`conf`	Proposing Bus Adapter Connections in IEC 61499. IECON Pranay Jhunjhunwala, Valeriy Vyatkin
2024	J	`jnl`	Residual-Enhanced Physics-Guided Machine Learning With Hard Constraints for Subsurface Flow in Reservoir Engineering. IEEE Trans. Geosci. Remote. Sens. Haibo Cheng, Yunpeng He, Peng Zeng, Valeriy Vyatkin
2024	—	`conf`	Towards Virtual Commissioning Environment for Smart Mechatronic Systems. AMC Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin
2024	C	`conf`	Towards Web Platform for Cloud-Based Virtual Commissioning of IEC 61499 Distributed Automation Systems. ETFA Tuojian Lyu, Tung Nguyen, Roman Rumiantsev, Mikhail V. Kolesnikov, Hansani Perera, Udayanto Dwi Atmojo, Valeriy Vyatkin
2024	C	`conf`	WalkIES robotic walker and brief description of standard and robotic walkers. IECON Larisa Dunai, 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
2023	—	`conf`	Application of Deep Learning Method to Estimate Bottomhole Pressure Dynamics of Oil Wells. ISIE Haibo Cheng, Shichao Li, Peng Zeng, Valeriy Vyatkin
2023	—	`conf`	Application of reinforcement learning for energy consumption optimization of district heating system. ISIE Jifei Deng, Miro Eklund, Seppo A. Sierla, Jouni Savolainen, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin
2023	—	`conf`	Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment. ISIE Mikhail V. Kolesnikov, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Maxim Ya. Afanasev
2023	J	`jnl`	Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems. IEEE Access Nikolai Galkin, Michail Ruchkin, Valeriy Vyatkin, Chen-Wei Yang, Victor Dubinin
2023	C	`conf`	Automatic Generation of Repair Suggestions for Control Logic of I&C Systems. IECON Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2023	C	`conf`	Automatic generation of repair suggestions for overall I&C architecture represented with an ontology. ETFA Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2023	—	`conf`	Black Soldier Fly Bioconversion System: A Digital Twin Approach. ISIE Guangtao Yu, Hiroaki Nishi, Cheng Pang, Qingqing Gu, Yonghao Lin, Jinxian Liang, Wenbin William Dai, Valeriy Vyatkin
2023	C	`conf`	Cloud Computing Design Patterns for MLOps: Applications to Virtual Power Plants. IECON Rakshith Subramanya, Paula Räisänen, Seppo A. Sierla, Valeriy Vyatkin
2023	C	`conf`	Data-Driven Human Factors Enabled Digital Twin. IECON Mikhail V. Kolesnikov, Udayanto Dwi Atmojo, Valeriy Vyatkin
2023	C	`conf`	DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. INDIN Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin
2023	—	`conf`	Debugging approach for IEC 61499 control applications in FBME. ISIE Daniil Akifev, Tatiana Liakh, Polina Ovsiannikova, Radimir Sorokin, Valeriy Vyatkin
2023	C	`conf`	Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data. IECON Haibo Cheng, Yunpeng He, Peng Zeng, Shichao Li, Valeriy Vyatkin
2023	C	`conf`	Design Pattern for Industrial Control Applications Based on One-Line IEC 61499 Adapter Connections. IECON Pranay Jhunjhunwala, Polina Ovsiannikova, Valeriy Vyatkin
2023	—	`conf`	Developing a Test Suite for Evaluating IEC 61499 Application Portability. ISIE Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin
2023	B	`conf`	Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2023	—	`conf`	Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. ISIE Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
2023	C	`conf`	Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. ETFA Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin
2023	J	`jnl`	Mass customization with reinforcement learning: Automatic reconfiguration of a production line. Appl. Soft Comput. Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin
2023	—	`conf`	Mechatronic Swarm and its Virtual Commissioning. ICM Tuojian Lyu, Andrej Lashchev, Sandeep Patil, Udayanto Dwi Atmojo, Valeriy Vyatkin
2023	—	`conf`	Methods of data streaming from IEC 61499 applications to Cloud storages. ISIE Tuojian Lyu, Nikolai Galkin, Tatiana Liakh, Chen-Wei Yang, Valeriy Vyatkin
2023	—	`conf`	Microcomputer Prototyping of IEC61850-9-2 with Performance Analysis. SmartGridComm Nikolai Galkin, Chen-Wei Yang, Nicholas Etherden, Valeriy Vyatkin
2023	J	`jnl`	Obituary Prof. Dr. Hans-Michael Hanisch. Autom. Arndt Lüder, Valeriy Vyatkin
2023	J	`jnl`	Offline reinforcement learning for industrial process control: A case study from steel industry. Inf. Sci. Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin
2023	—	`conf`	On interoperability of Datacentre and the Energy market in the Nordic Region. ISIE Chen-Wei Yang, Nikolai Galkin, Valeriy Vyatkin
2023	—	`conf`	Onsite Renewable Generation Time Shifting for Photovoltaic Systems. ISIE Rakshith Subramanya, Aaltonen Harri, Seppo A. Sierla, Valeriy Vyatkin
2023	J	`jnl`	Sitting on a gold mine: the story of the process industry's automatic formation of a digital twin. CoRR Mohammad Azangoo, Seppo A. Sierla, Valeriy Vyatkin
2023	C	`conf`	Towards Interoperability of Edge Datacentre in the Energy Community with IEC 61850 Modelling. IECON Chen-Wei Yang, Nikolai Galkin, Valeriy Vyatkin
2023	—	`conf`	Towards migration from IEC 61131-3 to IEC 61499 in process industry: redesign of visualisation. ISIE Hiruni Kothalawala, Pranay Jhunjhunwala, Valeriy Vyatkin
2022	J	`jnl`	A Methodology for Generating a Digital Twin for Process Industry: A Case Study of a Fiber Processing Pilot Plant. IEEE Access Mohammad Azangoo, Lotta Sorsamäki, Seppo A. Sierla, Teemu Mätäsniemi, Miia Rantala, Kari Rainio, Valeriy Vyatkin
2022	C	`conf`	An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022	J	`jnl`	Exploiting Battery Storages With Reinforcement Learning: A Review for Energy Professionals. IEEE Access Rakshith Subramanya, Seppo A. Sierla, Valeriy Vyatkin
2022	C	`conf`	Formal model of IEC 61499 execution trace in FBME IDE. INDIN Tatiana Liakh, Radimir Sorokin, Daniil Akifev, Sandeep Patil, Valeriy Vyatkin
2022	J	`jnl`	Imbalanced multiclass classification with active learning in strip rolling process. Knowl. Based Syst. Jifei Deng, Jie Sun, Wen Peng, Dian-hua Zhang, Valeriy Vyatkin
2022	—	`conf`	Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling. ISIE Pranay Jhunjhunwala, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin
2022	—	`conf`	On automatic generation of OPC UA connections in IEC 61499 automation systems. ICPS Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin
2022	—	`conf`	On enhancing reconfigurability of I/O connection and access in IEC 61499. ISIE Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin
2022	J	`jnl`	Plant model generation from event log using ProM for formal verification of CPS. CoRR Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022	C	`conf`	Process mining in industrial control systems. INDIN Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2022	J	`jnl`	Proposing and Prototyping an Extension to the Adapter Concept in the IEC 61499 Standard. IEEE Access Pranay Jhunjhunwala, Valeriy Vyatkin
2022	C	`conf`	Reinforcement learning approach to implementation of individual controllers in data centre control system. INDIN Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin
2022	J	`jnl`	Reinforcement learning for industrial process control: A case study in flatness control in steel industry. Comput. Ind. Jifei Deng, Seppo A. Sierla, Jie Sun, Valeriy Vyatkin
2022	J	`jnl`	Roadmap to semi-automatic generation of digital twins for brownfield process plants. J. Ind. Inf. Integr. Seppo A. Sierla, Mohammad Azangoo, Kari Rainio, Nikolaos Papakonstantinou, Alexander Fay, Petri Honkamaa, Valeriy Vyatkin
2022	J	`jnl`	Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control Systems. IEEE Trans Autom. Sci. Eng. Nan Zhou, Di Li, Valeriy Vyatkin, Victor Dubinin, Chengliang Liu
2022	J	`jnl`	poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language. IEEE Access Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin
2021	—	`conf`	A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. ISIE Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin
2021	—	`conf`	A Design Pattern for Monitoring Adapter Connections in IEC 61499. ICIT Pranay Jhunjhunwala, Jan Olaf Blech, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin
2021	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. CoRR Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
2021	J	`jnl`	An Artificial Intelligence Framework for Bidding Optimization with Uncertainty in Multiple Frequency Reserve Markets. CoRR Thimal Kempitiya, Seppo A. Sierla, Daswin De Silva, Matti Yli-Ojanperä, Damminda Alahakoon, Valeriy Vyatkin
2021	—	`conf`	Applying Skill-based Engineering using OPC-UA in Production System with a Digital Twin. ISIE Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin
2021	J	`jnl`	Applying graph matching techniques to enhance reuse of plant design information. CoRR Miia Rantala, Hannu Niemistö, Tommi Karhela, Seppo A. Sierla, Valeriy Vyatkin
2021	J	`jnl`	Automatic Assembly Planning based on Digital Product Descriptions. CoRR Seppo A. Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin
2021	C	`conf`	Change-based causes in counterexample explanation for model checking. IECON Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin
2021	C	`conf`	Cyber-physical automation systems modelling with IEC 61499 for their formal verification. INDIN Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
2021	J	`jnl`	Designing Actively Secure, Highly Available Industrial Automation Applications. CoRR Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin
2021	—	`conf`	Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. ISIE Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin
2021	J	`jnl`	Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. CoRR Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin
2021	—	`conf`	Dynamic Adapter Connections for IEC 61499. ICIT Paavo Kajola, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin
2021	C	`conf`	From Face to Face to Hybrid Teaching: an Experience on Process Plant Automation Laboratory Course during Global Pandemic. INDIN Udayanto Dwi Atmojo, Mohammad Azangoo, Valeriy Vyatkin, Ilkka Seilonen
2021	C	`conf`	Hybrid Digital Twin for process industry using Apros simulation environment. ETFA Mohammad Azangoo, Joonas Salmi, Iivo Yrjölä, Jonathan Bensky, Gerardo Santillan Martinez, Nikolaos Papakonstantinou, Seppo A. Sierla, Valeriy Vyatkin
2021	J	`jnl`	Hybrid Digital Twin for process industry using Apros simulation environment. CoRR Mohammad Azangoo, Joonas Salmi, Iivo Yrjölä, Jonathan Bensky, Gerardo Santillan Martinez, Nikolaos Papakonstantinou, Seppo A. Sierla, Valeriy Vyatkin
2021	J	`jnl`	Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins. CoRR Seppo A. Sierla, Mohammad Azangoo, Alexander Fay, Valeriy Vyatkin, Nikolaos Papakonstantinou
2021	—	`conf`	Interfacing Third Party Cloud Services to a Virtual Power Plant. ISGT-Europe Rakshith Subramanya, Seppo A. Sierla, Matti Yli-Ojanperä, Henri Makkonen, Mahdi Pourakbari-Kasmaei, Valeriy Vyatkin
2021	J	`jnl`	Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. CoRR Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin
2021	J	`jnl`	Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2021	C	`conf`	Plant Model Generator from Digital Twin for Purpose of Formal Verification. ETFA Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin
2021	C	`conf`	Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. INDIN Viktor Shatrov, Valeriy Vyatkin
2021	—	`conf`	Prototyping Multi-Protocol Communication to enable semantic interoperability for Demand response Services. SmartGridComm Nikolai Galkin, Chen-Wei Yang, Lars Nordström, Valeriy Vyatkin
2021	J	`jnl`	Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. CoRR Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Juha Kuronen, Valeriy Vyatkin
2021	—	`conf`	SMT-Based Deployment Calculation for IEC 61499 Control Applications. ICPS Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin
2021	C	`conf`	Towards Distributed Trajectory Interpolation and Motion Control: Prototyping with ROS. ETFA Andrej Lashchev, Gennady Veselov, Valeriy Vyatkin
2021	—	`conf`	Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation. DoCEIS Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin
2021	C	`conf`	Towards cloud-based virtual commissioning of distributed automation applications with IEC 61499 and containerization technology. IECON Tuojian Lyu, Udayanto Dwi Atmojo, Valeriy Vyatkin
2021	C	`conf`	Towards enhanced live visualization based on communication delay prediction for remote AGV operation. ETFA Ronal Bejarano, Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin
2021	C	`conf`	Towards reinforcement learning approach to energy-efficient control of server fans in data centres. ETFA Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin
2021	—	`conf`	Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. ISIE Anand George, Polina Ovsiannikova, Valeriy Vyatkin
2021	C	`conf`	Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. ETFA Polina Ovsiannikova, Valeriy Vyatkin
2020	—	`conf`	A Plug and Produce-inspired Approach in Distributed Control Architecture: A Flexible Assembly Line and Product Centric Control Example. ICIT Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin
2020	J	`jnl`	A Service-Oriented Programming Approach for Dynamic Distributed Manufacturing Systems. IEEE Trans. Ind. Informatics Udayanto Dwi Atmojo, Zoran Salcic, Kevin I-Kai Wang, Valeriy Vyatkin
2020	C	`conf`	Arrowhead Datamanager integration with Eclipse 4DIAC environment. ETFA Marco Romanato, Dmitrii Drozdov, Sandeep Patil, Jerker Delsing, Valeriy Vyatkin
2020	C	`conf`	Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. ETFA Ronal Bejarano, Roope Pääkkönen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin
2020	J	`jnl`	Automatic Generation of Control Flow From Requirements for Distributed Smart Grid Automation Control. IEEE Trans. Ind. Informatics Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin
2020	J	`jnl`	Automatic Recognition of Sucker-Rod Pumping System Working Conditions Using Dynamometer Cards with Transfer Learning and SVM. Sensors Haibo Cheng, Haibin Yu, Peng Zeng, Evgeny Osipov, Shichao Li, Valeriy Vyatkin
2020	J	`jnl`	Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Ind. Informatics Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin
2020	J	`jnl`	Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems. IEEE Trans. Syst. Man Cybern. Syst. Wenbin William Dai, Cheng Pang, Valeriy Vyatkin, James H. Christensen, Xinping Guan
2020	—	`conf`	Distributed Approach to Traffic Management Automation Implemented According to IEC 61499. DoCEIS Dmitry Elkin, Valeriy Vyatkin
2020	—	`conf`	Formal Verification of IEC 61499 Enhanced with Timed Events. DoCEIS Viktor Shatrov, Valeriy Vyatkin
2020	C	`conf`	Generating an industrial process graph from 3D pipe routing information. ETFA Seppo A. Sierla, Mohammad Azangoo, Valeriy Vyatkin
2020	J	`jnl`	Guest Editorial: Emerging Technologies and Novel Trends in Industrial Informatics. IEEE Trans. Ind. Informatics Valeriy Vyatkin, Lucia Lo Bello, Thilo Sauter
2020	—	`conf`	Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins. ISIE Seppo A. Sierla, Mohammad Azangoo, Alexander Fay, Valeriy Vyatkin, Nikolaos Papakonstantinou
2020	—	`conf`	IoT in Traffic Management: Review of Existing Methods of Road Traffic Regulation. CSOC (3) Dmitry Elkin, Valeriy Vyatkin
2020	J	`jnl`	LSTM Based EFAST Global Sensitivity Analysis for Interwell Connectivity Evaluation Using Injection and Production Fluctuation Data. IEEE Access Haibo Cheng, Valeriy Vyatkin, Evgeny Osipov, Peng Zeng, Haibin Yu
2020	J	`jnl`	Modular Model of a Data Centre as a Tool for Improving Its Energy Efficiency. IEEE Access Yulia Berezovskaya, Chen-Wei Yang, Arash Mousavi, Valeriy Vyatkin, Tor Björn Minde
2020	J	`jnl`	SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
2020	C	`conf`	Software-Defined Decentralized Domestic Wastewater Treatment: 1 IECON Cheng Pang, Di Wu, Wenbin William Dai, Anna Mikola, Tommi A. Karhela, Valeriy Vyatkin
2020	C	`conf`	Towards Implementation of Interoperable Smart Sensor Services in IEC 61499 for Process Automation. ETFA Pranay Jhunjhunwala, Udayanto Dwi Atmojo, Valeriy Vyatkin
2020	C	`conf`	Towards Multi-Agent Control in Energy-Efficient Data Centres. IECON Yulia Berezovskaya, Chen-Wei Yang, Valeriy Vyatkin
2020	C	`conf`	Towards a 3D Scanning/VR-based Product Inspection Station. ETFA Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Kamal Dhakal, Mikael Eriksson, Miika Lehtimäki, Jonathan Leinola, Pyry Pietarila
2020	B	`conf`	Visual counterexample explanation for model checking with OERITTE. ICECCS Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2020	J	`jnl`	Visual counterexample explanation for model checking with Oeritte. CoRR Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2019	C	`conf`	A Design Pattern for Systems Composed from Intelligent Mechatronic Modules with Wireless Communication. ETFA Udayanto Dwi Atmojo, Valeriy Vyatkin
2019	J	`jnl`	A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Trans. Ind. Informatics Roopak Sinha, Sandeep Patil, Luís Gomes, Valeriy Vyatkin
2019	C	`conf`	A hybrid fault detection and diagnosis method in server rooms' cooling systems. INDIN Yulia Berezovskaya, Chen-Wei Yang, Arash Mousavi, Xiaojing Zhang, Valeriy Vyatkin
2019	C	`conf`	ANN based Interwell Connectivity Analysis in Cyber-Physical Petroleum Systems. INDIN Haibo Cheng, Xiaoning Han, Peng Zeng, Haibin Yu, Evgeny Osipov, Valeriy Vyatkin
2019	J	`jnl`	Adapting an agile manufacturing concept to the reference architecture model industry 4.0: A survey and case study. J. Ind. Inf. Integr. Matti Yli-Ojanperä, Seppo A. Sierla, Nikolaos Papakonstantinou, Valeriy Vyatkin
2019	J	`jnl`	Applying graph matching techniques to enhance reuse of plant design information. Comput. Ind. Miia Rantala, Hannu Niemistö, Tommi Karhela, Seppo A. Sierla, Valeriy Vyatkin
2019	J	`jnl`	Combining closed-loop test generation and execution by means of model checking. CoRR Igor Buzhinsky, Valeriy Vyatkin
2019	C	`conf`	Design to automation continuum for industrial processes: ISO 15926 - IEC 61131 versus an industrial case. ETFA Nikolaos Papakonstantinou, Juha Karttunen, Seppo A. Sierla, Valeriy Vyatkin
2019	C	`conf`	Designing Actively Secure, Highly Available Industrial Automation Applications. INDIN Awais Tanveer, Roopak Sinha, Stephen G. MacDonell, Paulo Leitão, Valeriy Vyatkin
2019	J	`jnl`	Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Trans Autom. Sci. Eng. Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, ZhiWu Li, Valeriy Vyatkin
2019	—	`conf`	Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing. Ershov Informatics Conference Denis Kleyko, Evgeny Osipov, Daswin De Silva, Urban Wiklund, Valeriy Vyatkin, Damminda Alahakoon
2019	C	`conf`	Fostering the creation of a Digital Ecosystem by a distributed IEC-61499 based automation platform. INDIN Andrea Barni, Alessandro Brusaferri, Franco Antonio Cavadini, Giuseppe Landolfi, Sandeep Patil, Dario Piga, Stefano Spinelli, Valeriy Vyatkin
2019	J	`jnl`	Function Block Finite-State Model Identification Using SAT and CSP Solvers. IEEE Trans. Ind. Informatics Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
2019	J	`jnl`	Guest Editorial: Special Section on Developments in Artificial Intelligence for Industrial Informatics. IEEE Trans. Ind. Informatics Daswin De Silva, Zhibo Pang, Evgeny Osipov, Valeriy Vyatkin
2019	C	`conf`	Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects. INDIN Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin
2019	C	`conf`	Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems. INDIN Dennis Jarvis, Jacqueline Jarvis, Chen-Wei Yang, Roopak Sinha, Valeriy Vyatkin
2019	J	`jnl`	Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. Future Gener. Comput. Syst. Dmitry Mukhutdinov, Andrey Filchenkov, Anatoly Shalyto, Valeriy Vyatkin
2019	C	`conf`	Non-linear control of a group of tracked robots. INDIN Gennady E. Veselov, Andrey A. Sklyarov, Valeriy Vyatkin
2019	C	`conf`	OPC UA Information Model and a Wrapper for IEC 61499 Runtimes. INDIN Ilkka Seilonen, Valeriy Vyatkin, Udayanto Dwi Atmojo
2019	—	`conf`	On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study. ICII Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin, Markus Roni, Vuong Vo, Roman Rumiantcev, Konsta Leino, Mika Kuusisto
2019	—	`conf`	On Portability of IEC 61499 Compliant Structures and Systems. ISIE Alexander Hopsu, Udayanto Dwi Atmojo, Valeriy Vyatkin
2019	C	`conf`	Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm. ETFA Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin
2019	J	`jnl`	Resilience in Energy Industries - Recent Advances, Open Challenges, and Future Directions. IEEE Trans. Ind. Informatics Alfonso Damiano, Craig Rieger, Valeriy Vyatkin, Milos Manic
2019	J	`jnl`	Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices. IEEE Access Wenbin William Dai, Peng Wang, Weiqi Sun, Xian Wu, Hualiang Zhang, Valeriy Vyatkin, Genke Yang
2019	—	`conf`	Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory. ICII Udayanto Dwi Atmojo, Jan Olaf Blech, Seppo A. Sierla, Valeriy Vyatkin
2019	J	`jnl`	TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. Roopak Sinha, Barry Dowdeswell, Gulnara Zhabelova, Valeriy Vyatkin
2019	J	`jnl`	Task Allocation Algorithm for Energy Resources Providing Frequency Containment Reserves. IEEE Trans. Ind. Informatics Christian Giovanelli, Olli Kilkki, Seppo A. Sierla, Ilkka Seilonen, Valeriy Vyatkin
2019	C	`conf`	Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. INDIN Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo A. Sierla, Jan Olaf Blech, Valeriy Vyatkin
2019	C	`conf`	Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems. INDIN Udayanto Dwi Atmojo, Valeriy Vyatkin
2019	C	`conf`	Towards automatic state machine reconstruction from legacy PLC using data collection. INDIN Daniil Chivilikhin, Sandeep Patil, Anthony Cordonnier, Valeriy Vyatkin
2019	C	`conf`	Towards formal ASM semantics of timed control systems for industrial CPS. ETFA Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2019	—	`conf`	Utilizing Software Design Patterns in Product-Driven Manufacturing System: A Case Study. SOHOMA Dmitrii Drozdov, Udayanto Dwi Atmojo, Cheng Pang, Sandeep Patil, Muhammad Irfan Ali, Antti Tenhunen, Taavi Oksanen, Kiril Cheremetiev, Valeriy Vyatkin
2018	C	`conf`	A Case Study on Knowledge Driven Code Generation for Software-Defined Industrial Cyber-Physical Systems. IECON Yingxin Chen, Wenbin William Dai, Zhijie Zhang, Cheng Pang, Valeriy Vyatkin
2018	J	`jnl`	A Cloud-Based Decision Support System for Self-Healing in Distributed Automation Systems Using Fault Tree Analysis. IEEE Trans. Ind. Informatics Wenbin William Dai, Laurynas Riliskis, Peng Wang, Valeriy Vyatkin, Xinping Guan
2018	J	`jnl`	A Comprehensive Model of Data Center: From CPU to Cooling Tower. IEEE Access Gulnara Zhabelova, Mattias Vesterlund, Sascha Eschmann, Yulia Berezovskaya, Valeriy Vyatkin, Damien Flieller
2018	C	`conf`	A Flow-Based Heuristic Algorithm for Network Operations Planning in Smart Grids. IECON George Davidescu, Andrey Filchenkov, Amir Muratov, Valeriy Vyatkin
2018	C	`conf`	A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems. INDIN Udayanto Dwi Atmojo, Valeriy Vyatkin
2018	C	`conf`	Active Learning of Formal Plant Models For Cyber-Physical Systems. INDIN Polina Ovsiannikova, Daniil Chivilikhin, Vladimir Ulyantsev, Andrey Stankevich, Ilya Zakirzyanov, Valeriy Vyatkin, Anatoly Shalyto
2018	C	`conf`	Adapting Software Design Patterns To Develop Reusable IEC 61499 Function Block Applications. INDIN Sandeep Patil, Dmitrii Drozdov, Valeriy Vyatkin
2018	J	`jnl`	An Integrated Implementation Methodology of a Lifecycle-Wide Tracking Simulation Architecture. IEEE Access Gerardo Santillán Martínez, Tommi Karhela, Reino Ruusu, Seppo A. Sierla, Valeriy Vyatkin
2018	J	`jnl`	Automatic Generation of a High-Fidelity Dynamic Thermal-Hydraulic Process Simulation Model From a 3D Plant Model. IEEE Access Gerardo Santillan Martinez, Seppo A. Sierla, Tommi Karhela, Jari Lappalainen, Valeriy Vyatkin
2018	C	`conf`	Automatic Generation of a Lifecycle Analysis Model from a First Principles Industrial Process Simulation Model. INDIN Kashif Gulzar, Reino Ruusu, Seppo A. Sierla, Pekka Aarnio, Tommi Karhela, Valeriy Vyatkin
2018	C	`conf`	Automatic Generation of a Simulation-Based Digital Twin of an Industrial Process Plant. IECON Gerardo Santillan Martinez, Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin
2018	C	`conf`	Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms. ETFA Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin
2018	J	`jnl`	Automatic assembly planning based on digital product descriptions. Comput. Ind. Seppo A. Sierla, Ville Kyrki, Pekka Aarnio, Valeriy Vyatkin
2018	C	`conf`	Counterexample visualization and explanation for function block diagrams. INDIN Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
2018	C	`conf`	Counterexample-guided inference of controller logic from execution traces and temporal formulas. ETFA Daniil Chivilikhin, Igor Buzhinsky, Vladimir I. Ulyantsev, Andrey Stankevich, Anatoly Shalyto, Valeriy Vyatkin
2018	—	`conf`	Distributed control architecture for dynamic reconfiguration: Flexible assembly line case study. ICPS Udayanto Dwi Atmojo, Kashif Gulzar, Valeriy Vyatkin, Rongwei Ma, Alexander Hopsu, Henri Makkonen, Atte Korhonen, Long Tran Phu
2018	C	`conf`	Formal Verification of Protection Functions for Power Distribution Networks. IECON Dmitrii Drozdov, Sandeep Patil, Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin
2018	—	`conf`	From fitness landscape analysis to designing evolutionary algorithms: the case study in automatic generation of function block applications. GECCO (Companion) Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin
2018	J	`jnl`	Guest Editorial Information Technology in Automation. IEEE Trans. Ind. Informatics Herbert Prähofer, Valeriy Vyatkin, Alois Zoitl
2018	J	`jnl`	Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power Plant. IEEE Access Denis Kleyko, Evgeny Osipov, Nikolaos Papakonstantinou, Valeriy Vyatkin
2018	C	`conf`	Implementation of distributed semaphores in IEC 61499 with consensus protocols. INDIN Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin
2018	C	`conf`	Intelligent Mechatronic System with Decentralised Control and Multi-Agent Planning. IECON Andrei Kalachev, Gulnara Zhabelova, Valeriy Vyatkin, Dennis Jarvis, Cheng Pang
2018	J	`jnl`	Intelligent product and mechatronic software components enabling mass customisation in advanced production systems. Serv. Oriented Comput. Appl. Majid Sorouri, Valeriy Vyatkin
2018	C	`conf`	Modelling Industrial Cyber-Physical Systems using IEC 61499 and OPC UA. INDIN Wenbin William Dai, Yineng Song, Zhijie Zhang, Peng Wang, Cheng Pang, Valeriy Vyatkin
2018	C	`conf`	On Achieving Reliable Communication in IEC 61499. ETFA Udayanto Dwi Atmojo, Valeriy Vyatkin, Zoran Salcic
2018	C	`conf`	On Automated Co-Simulation Testing of Functional Requirements for Distributed Substation Automation Systems. IECON Chen-Wei Yang, Valeriy Vyatkin
2018	C	`conf`	PROSA/G: An architecture for agent-based manufacturing execution. ETFA Dennis Jarvis, Jacqueline Jarvis, Andrei Kalachev, Gulnara Zhabelova, Valeriy Vyatkin
2018	—	`conf`	Refactoring of IEC 61499 function block application - A case study. ICPS Sandeep Patil, Dmitrii Drozdov, Gulnara Zhabelova, Valeriy Vyatkin
2018	C	`conf`	Smart Distribution of IT Load in Energy Efficient Data Centers with Focus on Cooling Systems. IECON Yulia Berezovskaya, Arash Mousavi, Valeriy Vyatkin, Xiaojing Zhang
2018	—	`conf`	Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. ISIE Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2018	C	`conf`	Towards an Open Model for Data Center Research: From CPU to Cooling Tower. IECON Gulnara Zhabelova, Mattias Vesterlund, Sascha Eschmann, Valeriy Vyatkin, Damien Flieller
2017	—	`conf`	A Distributed ICT Architecture for Continuous Frequency Control. SMARTGREENS Christian Giovanelli, Olli Kilkki, Antti Alahäivälä, Ilkka Seilonen, Matti Lehtonen, Valeriy Vyatkin
2017	J	`jnl`	A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements. IEEE Trans. Ind. Electron. Guilherme Kunz, José Machado, Eduardo André Perondi, Valeriy Vyatkin
2017	C	`conf`	A framework for runtime verification of industrial process control systems. INDIN Roope Savolainen, Seppo A. Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin
2017	—	`conf`	Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. HoloMAS Victor Dubinin, Ilya Senokosov, Valeriy Vyatkin
2017	J	`jnl`	Automatic Generation of Pipelines Into a 3D Industrial Process Model. IEEE Access Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin
2017	J	`jnl`	Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties. IEEE Trans. Ind. Informatics Igor Buzhinsky, Valeriy Vyatkin
2017	C	`conf`	Automatic generation of function block applications using evolutionary algorithms: Initial explorations. INDIN Vladimir Mironovich, Maxim Buzdalov, Valeriy Vyatkin
2017	C	`conf`	Automatic generation of function block systems implementing HMI for energy distribution automation. INDIN Artem Voinov, Chen-Wei Yang, Valeriy Vyatkin
2017	C	`conf`	CSP-based inference of function block finite-state models from execution traces. INDIN Daniil Chivilikhin, Vladimir Ulyantsev, Anatoly Shalyto, Valeriy Vyatkin
2017	—	`conf`	Distributed home automation system based on IEC61499 function blocks and wireless sensor networks. ICIT Reza Abrishambaf, Mert Bal, Valeriy Vyatkin
2017	C	`conf`	Energy efficient decision making in data centers with multiple cooling methods. IECON Arash Mousavi, Yulia Berezovskaya, Valeriy Vyatkin, Xiaojing Zhang
2017	C	`conf`	Estimation, measurement and improvement of distributed automation applications performance. IECON Eero Väänänen, Valeriy Vyatkin
2017	C	`conf`	Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. IECON Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2017	C	`conf`	Modular plant model synthesis from behavior traces and temporal properties. ETFA Igor Buzhinsky, Valeriy Vyatkin
2017	C	`conf`	Network planning and self-repair in models of urban distribution networks via Hill Climbing. IECON George Davidescu, Valeriy Vyatkin
2017	—	`conf`	Network planning in smart grids via a local search heuristic for spanning forest problems. ISIE George Davidescu, Thomas Stützle, Valeriy Vyatkin
2017	—	`conf`	On development of execution model for model transforming distributed substation automation control with ontology. ISIE Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
2017	C	`conf`	On requirements-driven design of distributed smart grid automation control. INDIN Chen-Wei Yang, Valeriy Vyatkin
2017	J	`jnl`	Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design. IEEE Trans. Ind. Informatics Chen-Wei Yang, Victor Dubinin, Valeriy Vyatkin
2017	C	`conf`	Power quality assessment of energy efficient cooling systems in data centers. IECON Arash Mousavi, Alireza Yavarian, Valeriy Vyatkin, Xiaojing Zhang
2017	C	`conf`	Real-time data acquisition support for IEC 61499 based industrial cyber-physical systems. IECON Wanqi Huang, Wenbin William Dai, Peng Wang, Valeriy Vyatkin
2017	J	`jnl`	Reconstruction of Function Block Logic Using Metaheuristic Algorithm. IEEE Trans. Ind. Informatics Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
2017	J	`jnl`	Response to "Comments on Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability". IEEE Trans. Ind. Informatics Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin
2017	C	`conf`	Scalable methods of discrete plant model generation for closed-loop model checking. IECON Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
2017	C	`conf`	Service-oriented data acquisition and management for industrial cyber-physical systems. INDIN Wenbin William Dai, Zhijie Zhang, Peng Wang, Valeriy Vyatkin, James H. Christensen
2017	C	`conf`	Service-oriented extension of IEC 61850 for model-driven smart grid automation design. IECON Chen-Wei Yang, Valeriy Vyatkin, Cheng Pang
2017	—	`conf`	Simulation-Enhanced Development of Industrial Cyber-Physical Systems Using OPC-UA and IEC 61499. HoloMAS Samuli Metsälä, Kashif Gulzar, Valeriy Vyatkin, Laura Gröhn, Eero Väänänen, Lauri Saikko, Magnus Nyholm
2017	C	`conf`	Sliding mode SISO control of model parameters for implicit dynamic feedback estimation of industrial tracking simulation systems. IECON Reino Ruusu, Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin
2017	C	`conf`	Software-defined automation and control a preliminary study. IECON Cheng Pang, Wenbin William Dai, Qingdi Miao, Jinxian Liang, Guoqing Cai, Shu Lu, Valeriy Vyatkin
2017	J	`jnl`	Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks. IEEE Trans. Ind. Informatics Di Li, Zhenkun Zhai, Zhibo Pang, Valeriy Vyatkin, Chengliang Liu
2017	C	`conf`	Testing automation systems by means of model checking. ETFA Igor Buzhinsky, Valeriy Vyatkin
2017	J	`jnl`	Toward Self-Manageable and Adaptive Industrial Cyber-Physical Systems With Knowledge-Driven Autonomic Service Management. IEEE Trans. Ind. Informatics Wenbin William Dai, Victor N. Dubinin, James H. Christensen, Valeriy Vyatkin, Xinping Guan
2017	C	`conf`	Towards a systematic path for dynamic simulation to plant operation: OPC UA-enabled model adaptation method for tracking simulation. IECON Gerardo Santillan Martinez, Tommi Karhela, Reino Ruusu, Tuomas Lackman, Valeriy Vyatkin
2017	C	`conf`	Towards a task allocation algorithm for frequency containment reserves. INDIN Christian Giovanelli, Olli Kilkki, Seppo A. Sierla, Ilkka Seilonen, Valeriy Vyatkin
2017	C	`conf`	Towards an aggregator that exploits big data to bid on frequency containment reserve market. IECON Christian Giovanelli, Xin Liu, Seppo A. Sierla, Valeriy Vyatkin, Ryutaro Ichise
2017	C	`conf`	Towards electric vehicles integration to distributed energy resources of prosumer. INDIN Evgeny Nefedov, Seppo A. Sierla, Valeriy Vyatkin
2017	C	`conf`	Towards formal verification for cyber-physically agnostic software: A case study. IECON Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016	C	`conf`	A Comparison of Formal Verification Approaches for IEC 61499. ETFA Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl
2016	C	`conf`	A study on user-friendly formal specification languages for requirements formalization. INDIN Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin
2016	—	`conf`	Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies. DoCEIS Chen-Wei Yang, Valeriy Vyatkin, Victor Dubinin
2016	J	`jnl`	Automatic test case generation from requirements for industrial cyber-physical systems. Autom. Roopak Sinha, Cheng Pang, Gerardo Santillán Martínez, Valeriy Vyatkin
2016	C	`conf`	Context modeling with situation rules for industrial maintenance. ETFA Pekka Aarnio, Valeriy Vyatkin, David Hästbacka
2016	—	`conf`	Decentralised Coordination of Intelligent Autonomous Batteries. DoCEIS Evgeny Nefedov, Valeriy Vyatkin
2016	—	`conf`	Distributed ICT architecture and an application for optimized automated demand response. ISGT Europe Christian Giovanelli, Olli Kilkki, Ilkka Seilonen, Valeriy Vyatkin
2016	C	`conf`	District heating temperature control algorithm based on short term weather forecast and consumption predictions. ETFA Nikolaos Papakonstantinou, Jouni Savolainen, Jarmo Koistinen, Antti Aikala, Valeriy Vyatkin
2016	C	`conf`	Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm. IECON Wenbin William Dai, Wanqi Huang, Valeriy Vyatkin
2016	C	`conf`	Evaluating benefits of collaborative intelligent batteries in SmartGrid. IECON Evgeny Nefedov, Valeriy Vyatkin
2016	—	`conf`	Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. SOHOMA Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin
2016	—	`conf`	Formal verification of cyber-physical automation systems modelled with timed block diagrams. ISIE Dmitrii Drozdov, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2016	C	`conf`	Improvement of energy efficiency in data centers via flexible humidity control. IECON Yulia Berezovskaya, Arash Mousavi, Valeriy Vyatkin, Xiaojing Zhang, Tor Björn Minde
2016	—	`conf`	Incentives for shaping the consumption profile of a group of consumers with energy storage devices. ISGT Europe Olli Kilkki, Ilkka Seilonen, Kai Zenger, Valeriy Vyatkin
2016	C	`conf`	Intelligent Product and Mechatronic Software Components Facilitating Mass Customization in Collaborative Manufacturing Systems. PRO-VE Majid Sorouri, Valeriy Vyatkin
2016	—	`conf`	Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems. ISIE Wenbin William Dai, Wanqi Huang, Valeriy Vyatkin
2016	J	`jnl`	MAS-Based Modeling of Active Distribution Network: The Simulation of Emerging Behaviors. IEEE Trans. Smart Grid Merkebu Z. Degefa, Antti Alahäivälä, Olli Kilkki, Muhammad Humayun, Ilkka Seilonen, Valeriy Vyatkin, Matti Lehtonen
2016	—	`conf`	Open architecture for cost effective protection and control of power distribution networks. SmartGridComm Gulnara Zhabelova, Chen-Wei Yang, Valeriy Vyatkin, Nicholas Etherden, Lars Christoffersson
2016	C	`conf`	Orchestration of Arrowhead services using IEC 61499: Distributed automation case study. ETFA Hasan Derhamy, Dmitrii Drozdov, Sandeep Patil, Jan van Deventer, Jens Eliasson, Valeriy Vyatkin
2016	C	`conf`	Parameters selection in predictive online simulation. INDIN Gerardo Santillan Martinez, Tuomas Miettinen, Antti Aikala, Jouni Savolainen, Kalle Kondelin, Tommi Karhela, Valeriy Vyatkin
2016	C	`conf`	Plant model inference for closed-loop verification of control systems: Initial explorations. INDIN Igor Buzhinsky, Valeriy Vyatkin
2016	C	`conf`	Reconstruction of function block controllers based on test scenarios and verification. INDIN Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin
2016	C	`conf`	Requirement verification in simulation-based automation testing. INDIN Eero Siivola, Seppo A. Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin
2016	J	`jnl`	Requirement verification in simulation-based automation testing. CoRR Eero Siivola, Seppo A. Sierla, Hannu Niemistö, Tommi Karhela, Valeriy Vyatkin
2016	C	`conf`	Speculative computation in IEC 61499 function blocks execution - Modeling and simulation. INDIN Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
2016	C	`conf`	Towards a formal model of protection functions for power distribution networks. IECON Michael Masselot, Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin
2016	C	`conf`	User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. ETFA Antti Pakonen, Cheng Pang, Igor Buzhinsky, Valeriy Vyatkin
2016	J	`jnl`	Virtual Power Plant for Grid Services Using IEC 61850. IEEE Trans. Ind. Informatics Nicholas Etherden, Valeriy Vyatkin, Math H. J. Bollen
2015	J	`jnl`	A Review of Architectures and Concepts for Intelligence in Future Electric Energy Systems. IEEE Trans. Ind. Electron. 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
2015	—	`conf`	A SysML profile supporting change orders in model driven engineering. CASE Heng-You Lin, Seppo A. Sierla, Nikolaos Papakonstantinou, Valeriy Vyatkin
2015	C	`conf`	A hybrid approach for the initialization of tracking simulation systems. ETFA Gerardo Santillan Martinez, Tommi Karhela, Hannu Niemistö, Ahti Rossi, Cheng Pang, Valeriy Vyatkin
2015	C	`conf`	A real-time semantics for the IEC 61499 standard. ETFA Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho
2015	—	`conf`	Adaptation of Material Flows in Mechanical Transportation Systems Based on Observation Experience. TrustCom/BigDataSE/ISPA (3) Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin
2015	—	`conf`	An OPC UA Based Architecture for Testing Tracking Simulation Methods. TrustCom/BigDataSE/ISPA (3) Gerardo Santillan Martinez, Tommi Karhela, Valeriy Vyatkin, Tuomas Miettinen, Cheng Pang
2015	C	`conf`	An auction-based smart district heating grid. ETFA Kashif Gulzar, Seppo A. Sierla, Valeriy Vyatkin, Nikolaos Papakonstantinou, Paul G. Flikkema, Chen-Wei Yang
2015	—	`conf`	Automation Services Orchestration with Function Blocks: Web-Service Implementation and Performance Evaluation. SOHOMA Evgenii Demin, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
2015	J	`jnl`	Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability. IEEE Trans. Ind. Informatics Wenbin William Dai, Valeriy Vyatkin, James H. Christensen, Victor N. Dubinin
2015	C	`conf`	Change request management in model-driven engineering of industrial automation software. INDIN Heng-You Lin, Seppo A. Sierla, Nikolaos Papakonstantinou, Anatoly Shalyto, Valeriy Vyatkin
2015	—	`conf`	Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications. DoCEIS Sandeep Patil, Dmitrii Drozdov, Victor Dubinin, Valeriy Vyatkin
2015	C	`conf`	Counterexample-guided simulation framework for formal verification of flexible automation systems. INDIN Sandeep Patil, Valeriy Vyatkin, Cheng Pang
2015	—	`conf`	Cyber-physical Design of Data Centers Cooling Systems Automation. TrustCom/BigDataSE/ISPA (3) Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang
2015	C	`conf`	Data center energy efficiency and power quality: An alternative approach with solid state transformer. IECON Gulnara Zhabelova, Alireza Yavarian, Valeriy Vyatkin, Alex Q. Huang
2015	C	`conf`	Data center power dynamics within the settings of regional power grid. ETFA Gulnara Zhabelova, Alireza Yavarian, Valeriy Vyatkin
2015	—	`conf`	Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning. KMIS David Hästbacka, Pekka Aarnio, Valeriy Vyatkin, Seppo Kuikka
2015	C	`conf`	Evolutionary approach to coverage testing of IEC 61499 function block applications. INDIN Igor Buzhinsky, Vladimir Ulyantsev, Jari Veijalainen, Valeriy Vyatkin
2015	C	`conf`	Fault detection in the hyperspace: Towards intelligent automation systems. INDIN Denis Kleyko, Evgeny Osipov, Nikolaos Papakonstantinou, Valeriy Vyatkin, Arash Mousavi
2015	—	`conf`	Formal Modeling of Testing Software for Cyber-Physical Automation Systems. TrustCom/BigDataSE/ISPA (3) Igor Buzhinsky, Cheng Pang, Valeriy Vyatkin
2015	Misc	`conf`	Formal Modelling and Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics. SETTA Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2015	—	`conf`	Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling. TrustCom/BigDataSE/ISPA (3) Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
2015	—	`conf`	Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture. TrustCom/BigDataSE/ISPA (3) Chen-Wei Yang, Kashif Gulzar, Seppo A. Sierla, Valeriy Vyatkin
2015	J	`jnl`	Guest Editorial New Trends in Intelligent Energy Systems-An Industrial Informatics Points of View. IEEE Trans. Ind. Informatics Thomas I. Strasser, Pierluigi Siano, Valeriy Vyatkin
2015	C	`conf`	Industry-friendly engineering tools for wireless home automation devices. INDIN Jia Wang, Zhibo Pang, Cheng Pang, Valeriy Vyatkin
2015	—	`conf`	Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks. TrustCom/BigDataSE/ISPA (3) Daniil Chivilikhin, Anatoly Shalyto, Valeriy Vyatkin
2015	C	`conf`	Modelling of IEC 61850 message passing for automatic generation of distributed control. IECON Chen-Wei Yang, Valeriy Vyatkin
2015	J	`jnl`	New Trends in Intelligent Energy Systems-An Industrial Electronics Point of View. IEEE Trans. Ind. Electron. Thomas I. Strasser, Pierluigi Siano, Valeriy Vyatkin
2015	C	`conf`	Optimization of decentralized energy storage flexibility for frequency reserves. IECON Olli Kilkki, Christian Giovanelli, Ilkka Seilonen, Valeriy Vyatkin
2015	C	`conf`	Reconfigurable elements of execution semantics for industrial cyber-physical systems. IECON Wenbin William Dai, Valeriy Vyatkin
2015	C	`conf`	Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. INDIN Daniil Chivilikhin, Anatoly Shalyto, Sandeep Patil, Valeriy Vyatkin
2015	C	`conf`	Requirements engineering of industrial automation systems: Adapting the CESAR requirements meta model for safety-critical smart grid software. IECON Roopak Sinha, Sandeep Patil, Cheng Pang, Valeriy Vyatkin, Barry Dowdeswell
2015	B	`conf`	Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems. ICECCS Roopak Sinha, Cheng Pang, Gerardo Santillan Martinez, Juha Kuronen, Valeriy Vyatkin
2015	C	`conf`	Slicing the Pi: Device-specific IEC 61499 design. INDIN Roopak Sinha, Barry Dowdeswell, Valeriy Vyatkin
2015	J	`jnl`	Software Composition and Distributed Operation Scheduling in Modular Automated Machines. IEEE Trans. Ind. Informatics Majid Sorouri, Sandeep Patil, Zoran A. Salcic, Valeriy Vyatkin
2015	—	`conf`	Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
2015	J	`jnl`	Time-Complemented Event-Driven Architecture for Distributed Automation Systems. IEEE Trans. Syst. Man Cybern. Syst. Cheng Pang, Jeffrey Yan, Valeriy Vyatkin
2015	C	`conf`	Time-stamped event based execution semantics for industrial cyber-physical systems. INDIN Wenbin William Dai, Valeriy Vyatkin, Cheng Pang, James H. Christensen
2015	J	`jnl`	Toward Industrially Usable Agent Technology for Smart Grid Automation. IEEE Trans. Ind. Electron. Gulnara Zhabelova, Valeriy Vyatkin, Victor N. Dubinin
2015	C	`conf`	Towards IEC 61499 models of computation in Ptolemy II. IECON Cheng Pang, Wenbin William Dai, Valeriy Vyatkin
2015	—	`conf`	Towards a Design Methodology for Agent-Based Automation of Smart Grid. HoloMAS Gulnara Zhabelova, Valeriy Vyatkin
2015	C	`conf`	Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. IECON Valeriy Vyatkin, Cheng Pang, Stavros Tripakis
2015	C	`conf`	Towards energy smart data centers: Simulation of server room cooling system. ETFA Arash Mousavi, Valeriy Vyatkin, Yulia Berezovskaya, Xiaojing Zhang
2015	C	`conf`	Towards formal verification of smart grid distributed intelligence: FREEDM case. IECON Sandeep Patil, Gulnara Zhabelova, Valeriy Vyatkin, Bruce M. McMillin
2015	C	`conf`	Towards software metrics for evaluating quality of IEC 61499 automation software. ETFA Gulnara Zhabelova, Valeriy Vyatkin
2014	J	`jnl`	A Review of Agent and Service-Oriented Concepts Applied to Intelligent Energy Systems. IEEE Trans. Ind. Informatics Pavel Vrba, Vladimír Marík, Pierluigi Siano, Paulo Leitão, Gulnara Zhabelova, Valeriy Vyatkin, Thomas I. Strasser
2014	C	`conf`	A configurable cloud-based testing infrastructure for interoperable distributed automation systems. IECON Wenbin William Dai, Laurynas Riliskis, Valeriy Vyatkin, Evgeny Osipov, Jerker Delsing
2014	C	`conf`	A portability study of IEC 61499: Semantics and tools. INDIN Cheng Pang, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin, Anatoly Shalyto
2014	C	`conf`	Adaptable software components: Towards digital ecosystems and software evolution in the industrial automation domain. IECON Jeffrey Yan, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin
2014	C	`conf`	Adapting Keyword driven test automation framework to IEC 61131-3 industrial control applications using PLCopen XML. ETFA Jukka Peltola, Seppo A. Sierla, Valeriy Vyatkin
2014	C	`conf`	Automatic generation of automation applications based on ontology transformations. ETFA Victor Dubinin, Valeriy Vyatkin, Chen-Wei Yang, Cheng Pang
2014	C	`conf`	Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499. ETFA Roopak Sinha, Valeriy Vyatkin, Zoran Salcic, HeeJong Park
2014	C	`conf`	Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. INDIN Gulnara Zhabelova, Chen-Wei Yang, Sandeep Patil, Cheng Pang, Jeffrey Yan, Anatoly Shalyto, Valeriy Vyatkin
2014	C	`conf`	Decision making for industrial agents in Smart Grid applications. IECON Gulnara Zhabelova, Valeriy Vyatkin, Victor Dubinin
2014	J	`jnl`	Editorial. EAI Endorsed Trans. Energy Web Valeriy Vyatkin, Mihaela Ulieru
2014	C	`conf`	Energy efficient automation model for office buildings based on ontology, agents and IEC 61499 function blocks. ETFA Arash Mousavi, Cheng-Wei Yang, Cheng Pang, Valeriy Vyatkin
2014	C	`conf`	Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management. ETFA Wenbin William Dai, Valeriy Vyatkin, Victor Dubinin, James H. Christensen
2014	C	`conf`	Function block implementation of service oriented architecture: Case study. INDIN Wenbin William Dai, James H. Christensen, Valeriy Vyatkin, Victor Dubinin
2014	C	`conf`	IEC 61499 based model-driven process control engineering. ETFA Cheng Pang, Valeriy Vyatkin, Wenbin William Dai
2014	C	`conf`	Knowledge-based routing in mechanical transportation systems. INDIN Stanislav L. Belyakov, Marina Savelyeva, Jeffrey Yan, Valeriy Vyatkin
2014	C	`conf`	Knowledge-based web service integration for industrial automation. INDIN Borja Ramis, Luis Gonzalez, Sergii Iarovyi, Andrei Lobov, José L. Martínez Lastra, Valeriy Vyatkin, Wenbin William Dai
2014	A*	`conf`	MIRA: Enabler of mass customization through agent-based development of intelligent manufacturing systems. ICRA Majid Sorouri, Valeriy Vyatkin, Zoran Salcic
2014	J	`jnl`	Migration From PLC to IEC 61499 Using Semantic Web Technologies. IEEE Trans. Syst. Man Cybern. Syst. Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin
2014	J	`jnl`	Model-Driven Development of Control Software for Distributed Automation: A Survey and an Approach. IEEE Trans. Syst. Man Cybern. Syst. Chia-Han Yang, Valeriy Vyatkin, Cheng Pang
2014	—	`conf`	Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM. Ershov Memorial Conference Sandeep Patil, Victor Dubinin, Cheng Pang, Valeriy Vyatkin
2014	C	`conf`	On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology. IECON Chen-Wei Yang, Valeriy Vyatkin, Arash Mousavi, Victor Dubinin
2014	C	`conf`	On methodology of implementing distributed function block applications using TinyOS WSN nodes. ETFA Denis Kleyko, Evgeny Osipov, Sandeep Patil, Valeriy Vyatkin, Zhibo Pang
2014	C	`conf`	Real-time execution of function blocks for Internet of Things using the RTFM-kernel. ETFA Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin
2014	C	`conf`	Security impact assessment of industrial automation systems using genetic algorithm and simulation. ETFA Nikolaos Papakonstantinou, Seppo A. Sierla, Konstantinia Charitoudi, Bryan O'Halloran, Tommi Karhela, Valeriy Vyatkin, Irem Turner
2014	—	`conf`	Security risk analysis for smart grid automation. ISIE Seppo A. Sierla, Marcin Hurkala, Konstantinia Charitoudi, Chen-Wei Yang, Valeriy Vyatkin
2014	B	`conf`	Service-oriented distributed control software design for process automation systems. SMC Wenbin William Dai, Jukka Peltola, Valeriy Vyatkin, Cheng Pang
2014	—	`conf`	Smart indoor lighting control: Power, illuminance, and colour quality. ISIE Rupak Baniya, Mikko Maksimainen, Seppo A. Sierla, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin
2014	J	`jnl`	SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design. EAI Endorsed Trans. Energy Web Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin
2014	A*	`conf`	The application of service-oriented architectures in distributed automation systems. ICRA Wenbin William Dai, Valeriy Vyatkin, James H. Christensen
2014	C	`conf`	Time-complemented event-driven reconfigurable systems. ETFA Jeffrey Yan, Valeriy Vyatkin
2014	B	`conf`	Towards cyber-physical approach for prototyping indoor lighting automation systems. SMC Cheng Pang, Valeriy Vyatkin, Horst Mayer
2014	C	`conf`	Towards implementation of IEC 61850 GOOSE messaging in event-driven IEC 61499 environment. ETFA Chen-Wei Yang, Jiang Xu, Valeriy Vyatkin
2013	—	`conf`	A Distributed Automation Architecture Enabling Simulation-in-the-Loop of Energy-Efficient Buildings. UKSim Yinbai Deng, Majid Sorouri, Cheng Pang, Valeriy Vyatkin
2013	C	`conf`	A component-based design pattern for improving reusability of automation programs. IECON Wenbin William Dai, Valeriy Vyatkin
2013	C	`conf`	Agent-based distributed consensus algorithm for decentralized economic dispatch in Smart Grid. IECON Gulnara Zhabelova, Valeriy Vyatkin, Ziang Zhang, Mo-Yuen Chow
2013	J	`jnl`	Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems. IEEE Trans. Ind. Informatics Wenbin William Dai, Victor Dubinin, Valeriy Vyatkin
2013	J	`jnl`	Cosimulation Environment for Event-Driven Distributed Controls of Smart Grid. IEEE Trans. Ind. Informatics Chia-Han Yang, Gulnara Zhabelova, Chen-Wei Yang, Valeriy Vyatkin
2013	J	`jnl`	Distributed Software Architecture Enabling Peer-to-Peer Communicating Controllers. IEEE Trans. Ind. Informatics Jeffrey Yan, Valeriy Vyatkin
2013	C	`conf`	Essential elements for programming of distributed automation and control systems. ETFA Wenbin William Dai, Valeriy Vyatkin, James H. Christensen
2013	C	`conf`	Evaluation of electric grid automation under flood hazards. IECON Marcin Hurkala, Bryan O'Halloran, Heikki Nikula, Seppo A. Sierla, Tommi Karhela, Valeriy Vyatkin
2013	C	`conf`	Extension of reconfigurability provisions in IEC 61499. ETFA Jeffrey Yan, Valeriy Vyatkin
2013	J	`jnl`	Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers. ACM Trans. Embed. Comput. Syst. Christoph Sünder, Valeriy Vyatkin, Alois Zoitl
2013	J	`jnl`	Guest Editorial: Special section on software engineering in industrial automation. IEEE Trans. Ind. Informatics Valeriy Vyatkin
2013	C	`conf`	Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks. IECON Sandeep Patil, Valeriy Vyatkin, Bruce M. McMillin
2013	C	`conf`	Model-based customisation of intelligent mechatronic systems using SysML. ETFA Heng-You Lin, Majid Sorouri, Valeriy Vyatkin, Zoran Salcic
2013	C	`conf`	On composition of mechatronic components enabled by interoperability and portability provisions of IEC 61499: A case study. ETFA Sandeep Patil, Jeffrey Yan, Valeriy Vyatkin, Cheng Pang
2013	C	`conf`	Rule-based composition of intelligent mechatronic components in manufacturing systems using prolog. INDIN Majid Sorouri, Valeriy Vyatkin, Zoran Salcic
2013	C	`conf`	Smart Grid applications with IEC 61499 reference architecture. INDIN Gulnara Zhabelova, Sandeep Patil, Chen-Wei Yang, Valeriy Vyatkin
2013	J	`jnl`	Software Engineering in Industrial Automation: State-of-the-Art Review. IEEE Trans. Ind. Informatics Valeriy Vyatkin
2013	C	`conf`	SysGrid: IEC 61850/IEC 61499 based engineering process for Smart Grid automation design. INDIN Gulnara Zhabelova, Chen-Wei Yang, Valeriy Vyatkin
2013	C	`conf`	System-level architecture for building automation systems: Object-orientated design and simulation. IECON Valeriy Vyatkin, Cheng Pang, Yinbai Deng, Majid Sorouri, Horst Mayer
2013	C	`conf`	Towards automated visualization for distributed automation applications. ETFA Jeffrey Yan, Cheng Pang, Chen-Wei Yang, Valeriy Vyatkin
2013	C	`conf`	Towards implementation of IEC 61850 GOOSE messaging in IEC 61499 environment. INDIN Jiang Xu, Chen-Wei Yang, Gulnara Zhabelova, Stevan Berber, Valeriy Vyatkin
2013	C	`conf`	Towards implementation of Plug-and-Play and distributed HMI for the FREEDM system with IEC 61499. IECON Chen-Wei Yang, Jeffrey Yan, Valeriy Vyatkin
2013	C	`conf`	Virtual smart metering in automation and simulation of energy-efficient lighting system. ETFA Cheng Pang, Valeriy Vyatkin, Yinbai Deng, Majid Sorouri
2013	J	`jnl`	Welcome message from the Editors-in-Chief. EAI Endorsed Trans. Energy Web Mihaela Ulieru, Valeriy Vyatkin
2012	C	`conf`	Control and hardware-in-the-loop simulation of fruit packing machine with IEC 61499. INDIN Jeffrey Yan, Valeriy Vyatkin, Gerald Weber, Nigel Beach
2012	C	`conf`	Distributed control patterns for intelligent mechatronic systems. INDIN Majid Sorouri, Sandeep Patil, Valeriy Vyatkin
2012	C	`conf`	Formal verification of Intelligent Mechatronic Systems with decentralized control logic. ETFA Sandeep Patil, Valeriy Vyatkin, Majid Sorouri
2012	J	`jnl`	Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes. IEEE Trans. Ind. Electron. Gulnara Zhabelova, Valeriy Vyatkin
2012	J	`jnl`	Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks. IEEE Trans Autom. Sci. Eng. Wenbin William Dai, Valeriy Vyatkin
2012	J	`jnl`	Semantics-Robust Design Patterns for IEC 61499. IEEE Trans. Ind. Informatics Victor Dubinin, Valeriy Vyatkin
2012	C	`conf`	Smart Grid automation: Distributed protection application with IEC61850/IEC61499. INDIN Chen-Wei Yang, Gulnara Zhabelova, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Alex Apostolov
2012	C	`conf`	Towards an IEC 61499 compliance profile for smart grids review and analysis of possibilities. IECON Thomas I. Strasser, Filip Andren, Valeriy Vyatkin, Gulnara Zhabelova, Chen-Wei Yang
2012	C	`conf`	Transformation from PLC to distributed control using ontology mapping. INDIN Wenbin William Dai, Valeriy Vyatkin
2011	J	`jnl`	Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control. IEEE Trans. Syst. Man Cybern. Part C Neil Higgins, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Karlheinz Schwarz
2011	J	`jnl`	IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review. IEEE Trans. Ind. Informatics Valeriy Vyatkin
2011	—	`conf`	Ontology Model for Migration from IEC 61131-3 PLC to IEC 61499 Function Block. DELTA Wenbin William Dai, Valeriy Vyatkin
2010	J	`jnl`	Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499. IEEE Trans Autom. Sci. Eng. Geoff Black, Valeriy Vyatkin
2010	C	`conf`	Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks. ETFA Wenbin William Dai, Valeriy Vyatkin
2010	J	`jnl`	Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard. IEEE Trans. Ind. Informatics Valeriy Vyatkin, Victor Dubinin
2009	J	`jnl`	A Synchronous Approach for IEC 61499 Function Block Implementation. IEEE Trans. Computers Li Hsien Yoong, Partha S. Roop, Valeriy Vyatkin, Zoran A. Salcic
2009	C	`conf`	A case study on migration from IEC 61131 PLC to IEC 61499 function block control. INDIN Wenbin William Dai, Valeriy Vyatkin
2009	J	`jnl`	Closed-Loop Modeling in Future Automation System Engineering and Validation. IEEE Trans. Syst. Man Cybern. Part C Valeriy Vyatkin, Hans-Michael Hanisch, Cheng Pang, Chia-Han Yang
2009	C	`conf`	Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics. INDIN Piran Tata, Valeriy Vyatkin
2008	B	`conf`	Concept for intelligent distributed power system automation with IEC 61850 and IEC 61499. SMC Neil Higgins, Valeriy Vyatkin, Nirmal-Kumar C. Nair, Karlheinz Schwarz
2008	J	`jnl`	Embedded Systems Design in Intelligent Industrial Automation. EURASIP J. Embed. Syst. Luca Ferrarini, Jose L. Martinez Lastra, Allan Martel, Antonio Valentini, Valeriy Vyatkin
2008	J	`jnl`	On Definition of a Formal Model for IEC 61499 Function Blocks. EURASIP J. Embed. Syst. Victor Dubinin, Valeriy Vyatkin
2008	J	`jnl`	Using Visual Specifications in Verification of Industrial Automation Controllers. EURASIP J. Embed. Syst. Valeriy Vyatkin, Gustavo Bouzon
2007	—	`conf`	An Ontology-Based Reconfiguration Agent for Intelligent Mechatronic Systems. HoloMAS Yazen Al-Safi, Valeriy Vyatkin
2007	—	`ed.`	Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007, Proceedings HoloMAS Vladimír Marík, Valeriy Vyatkin, Armando W. Colombo
2007	—	`conf`	On Practical Implementation of Holonic Control Principles in Baggage Handling Systems Using IEC 61499. HoloMAS Geoff Black, Valeriy Vyatkin
2006	J	`jnl`	Formal validation of intelligent-automated production systems: towards industrial applications. Int. J. Manuf. Technol. Manag. Hans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin
2006	C	`conf`	Modelling and Verification of IEC 61499 Applications using Prolog. ETFA Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
2006	J	`jnl`	Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. Int. J. Manuf. Res. Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin
2006	C	`conf`	Systematic Design and Implementation of Distributed Controllers in Industrial Automation. ETFA Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch
2006	J	`jnl`	The potential impact of the IEC61499 standard on the progress of distributed intelligent automation. Int. J. Manuf. Technol. Manag. Valeriy Vyatkin
2006	C	`conf`	Towards an Approach for the Verification of Downtimeless System Evolution. ETFA Christoph Sünder, Bernard Favre-Bulle, Valeriy Vyatkin
2005	—	`ch.`	Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View. The Industrial Information Technology Handbook Hans-Michael Hanisch, Valeriy Vyatkin
2005	A*	`conf`	Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 61499. ICRA Victor Dubinin, Valeriy Vyatkin, Thomas Pfeiffer
2005	J	`jnl`	OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation. IEEE Trans. Ind. Informatics Valeriy Vyatkin, James H. Christensen, Jose L. Martinez Lastra
2005	J	`jnl`	Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: OOONEIDA approach. Int. J. Comput. Integr. Manuf. Franz Auinger, Robert W. Brennan, James H. Christensen, Jose L. Martinez Lastra, Valeriy Vyatkin
2005	C	`conf`	Reuse of components in formal modeling and verification of distributed control systems. ETFA Valeriy Vyatkin, Hans-Michael Hanisch
2003	—	`conf`	Design and implementation of a prototype control system according to IEC 61499. ETFA (2) Xiujun Cai, Valeriy Vyatkin, Hans-Michael Hanisch
2003	—	`conf`	Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems. Ershov Memorial Conference Valeriy Vyatkin
2003	—	`conf`	Intelligent mechatronic components: control system engineering using an open distributed architecture. ETFA (2) Valeriy Vyatkin
2003	—	`conf`	Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments. ETFA (2) Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin
2003	J	`jnl`	Verification of distributed control systems in intelligent manufacturing. J. Intell. Manuf. Valeriy Vyatkin, Hans-Michael Hanisch
2002	—	`conf`	Component Design and Formal Validation of SFA Systems: A Case Study. BASYS Valeriy Vyatkin, Hans-Michael Hanisch
2001	B	`conf`	Application of visual specifications for verification of distributed controllers. SMC Valeriy Vyatkin, Hans-Michael Hanisch
2001	—	`conf`	Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. ETFA (2) Valeriy Vyatkin, Hans-Michael Hanisch
2001	—	`conf`	Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions. Ershov Memorial Conference Valeriy Vyatkin