Valeriy Vyatkin

Peer-reviewed scientific articles

Journal article-refereed, Original research

Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties

Buzhinsky, Igor; Vyatkin, Valeriy

2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

Reconstruction of Function Block Logic Using Metaheuristic Algorithm

Chivilikhin, Daniil; Shalyto, Anatoly; Patil, Sandeep; Vyatkin, Valeriy

2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

Toward self-manageable and adaptive industrial cyber-physical systems with knowledge-driven autonomic service management

Dai, Wenbin; Dubinin, Victor N.; Christensen, James H.; Vyatkin, Valeriy; Guan, Xinping

2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements

Kunz, Guilherme; Machado, José; Perondi, Eduardo; Vyatkin, Valeriy

2017 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)

ISSN: 0278-0046

Ontology driven approach to generate distributed automation control from substation automation design

Yang, Chen-Wei; Dubinin, Victor; Vyatkin, Valeriy

2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

MAS-Based Modeling of Active Distribution Network The Simulation of Emerging Behaviors

Degefa, Merkebu Z.; Alahäivälä, Antti; Kilkki, Olli; Humayun, Muhammad; Seilonen, Ilkka; Vyatkin, Valeriy; Lehtonen, Matti

2016 in IEEE TRANSACTIONS ON SMART GRIDS (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC)

ISSN: 1949-3053

Virtual Power Plant for Grid Services using IEC 61850

Etherden, Nicholas; Vyatkin, Valeriy; Bollen, Math

2016 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

Automatic test case generation from requirements for industrial cyber-physical systems

Sinha, Roopak; Pang, Cheng; Martínez, Gerardo Santillán; Vyatkin, Valeriy

2016 in At-Automatisierungstechnik (Oldenbourg Wissenschaftsverlag GmbH)

ISSN: 0178-2312

Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability

Dai, William; Christensen, Jim; Dubinin, Victor; Vyatkin, Valeriy

2015 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

Energy Efficient Agent Function Block: A semantic agent approach to IEC 61499 function blocks in energy efficient building automation systems

Mousavi, Arash; Vyatkin, Valeriy

2015 in AUTOMATION IN CONSTRUCTION (Elsevier)

ISSN: 0926-5805

Time-Complemented Event-Driven Architecture for Distributed Automation Systems

Pang, Cheng; Yan, Jeffrey; Vyatkin, Valeriy

2015 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)

ISSN: 2168-2216

Software Composition and Distributed Operation Scheduling in Modular Automated Machines

Sorouri, Majid; Patil, Sandeep; Vyatkin, Valeriy; Salcic, Zoran

2015 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

Towards industrially usable agent technology for Smart Grid automation

Zhabelova, Gulnara; Vyatkin, Valeriy; Dubinin, Victor

2015 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)

ISSN: 0278-0046

Migration from PLC to IEC 61499 using Semantic Web Technologies

Dai, William; Victor Dubinin, Victor; Vyatkin, Valeriy

2014 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)

ISSN: 2168-2216

2eA-FB: a semantic agent approach to IEC 61499 function blocks in energy efficient building automation systems

Mousavi, Arash; Vyatkin, Valeriy

2014 in AUTOMATION IN CONSTRUCTION (Elsevier)

ISSN: 0926-5805

Time-Complemented Event-Driven Architecture for Distributed Cyber-Physical Systems

Pang, Cheng; Yan, Jeffrey; Vyatkin, Valeriy

2014 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)

ISSN: 2168-2216

Smart Grid is greater than smart grid

Vyatkin, Valeriy

2014 in Automation and IT in Energy (IEEE Advancing Technology for Humanity)

ISSN: 1994-8697

SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design

Yang, Chen-Wei; Zhabelova, Gulnara; Vyatkin, Valeriy

2014 in EAI Endorsed Transactions on Energy Web (European Alliance for Innovation)

ISSN: 2032-944X

Model-driven Development of Control Software for Distributed Automation: a Survey and an Approach

Yang, Chia-Han; Vyatkin, Valeriy; Pang, Cheng

2014 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)

ISSN: 2168-2216

Review article, Literature review, Systematic review

New Trends in Intelligent Energy Systems - An Industrial Electronics Point of View

Strasser, Thomas; Siano, Pierluigi; Vyatkin, Valeriy

2015 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)

ISSN: 0278-0046

A Review of Architectures and Concepts for Intelligence in Future Electric Energy Systems

Vrba, Pavel; Marík, Vlad; Leitão, Paulo; Zhabelova, Gulnara; Vyatkin, Valeriy; Siano, Pierluigi; Cecati, Carlo; Strasser, Thomas

2015 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)

ISSN: 0278-0046

A Review of Agent and Service-oriented Concepts applied to Intelligent Energy Systems

Vrba, Pavel; Marík, Vlad; Leitão, Paulo; Zhabelova, Gulnara; Vyatkin, Valeriy; Siano, Pierluigi; Cecati, Carlo; Strasser, Thomas

2014 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

Conference proceedings

Distributed home automation system based on IEC61499 function blocks and wireless sensor networks

Abrishambaf, Reza; Bal, Mert; Vyatkin, Valeriy

2017

ISBN: 9781509053209

Auto-generation of distributed automation software based on formal product line specification

Dubinin, Victor; Senokosov, Ilya; Vyatkin, Valeriy

2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag)

ISBN: 9783319646343

ISSN: 0302-9743

Distributed ICT architecture and an application for optimized automated demand response

Giovanelli, Christian; Kilkki, Olli; Seilonen, Ilkka; Vyatkin, Valeriy

2017 in IEEE PES Innovative Smart Grid Technologies Conference Europe (IEEE COMPUTER SOCIETY PRESS)

ISBN: 9781509033584

ISSN: 2165-4816

A distributed ICT architecture for continuous frequency control

Giovanelli, Christian; Kilkki, Olli; Alahäivälä, Antti; Seilonen, Ilkka; Lehtonen, Matti; Vyatkin, Valeriy

2017

ISBN: 9789897582417

Towards a Task Allocation Algorithm for Frequency Containment Reserves

Giovanelli, Christian; Kilkki, Olli; Sierla, Seppo; Seilonen, Ilkka; Vyatkin, Valeriy

2017 in IEEE International Conference on Industrial Informatics (IEEE)

ISSN: 1935-4576

Manufacturing System Upgrade with Wireless and Distributed Automation

Gröhn, Laura; Metsälä, Samuli; Nyholm, Magnus; Saikko, Lauri; Väänänen, Eero; Gulzar, Kashif; Vyatkin, Valeriy

2017 in Procedia Manufacturing (Elsevier)

ISSN: 2351-9789

Incentives for shaping the consumption profile of a group of consumers with energy storage devices

Kilkki, Olli; Seilonen, Ilkka; Zenger, Kai; Vyatkin, Valeriy

2017 in IEEE PES Innovative Smart Grid Technologies Conference Europe (IEEE COMPUTER SOCIETY PRESS)

ISBN: 9781509033584

ISSN: 2165-4816

Simulation-enhanced development of industrial cyber-physical systems using OPC-UA and IEC 61499

Metsälä, Samuli; Gulzar, Kashif; Vyatkin, Valeriy; Gröhn, Laura; Väänänen, Eero; Saikko, Lauri; Nyholm, Magnus

2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag)

ISBN: 9783319646343

ISSN: 0302-9743

Towards Electric Vehicles Integration to Distributed Energy Resources of Prosumer

Nefedov, Evgeny; Sierla, Seppo; Vyatkin, Valeriy

2017 in IEEE International Conference on Industrial Informatics (IEEE)

ISSN: 1935-4576

On development of execution model for model transforming distributed substation automation control with ontology

Yang, Chen Wei; Vyatkin, Valeriy; Dubinin, Victor

2017 in Proceedings of the IEEE International Symposium on Industrial Electronics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509014125

ISSN: 2163-5137

Cooling Energy Consumption Investigation of Data Center IT Room with Vertical Placed Server

Zhang, Xiaojing; Lindberg, Theresa; Xiong, N.; Vyatkin, V.; Mousavi, Arash

2017 in Energy Procedia (Elsevier)

ISSN: 1876-6102

Context Modeling with Situation Rules for Industrial Maintenance

Aarnio, Pekka; Vyatkin, Valeriy; Hästbacka, David

2016 in Proceedings IEEE International Conference on Emerging Technologies and Factory Automation (IEEE)

ISBN: 978-1-5090-1314-2

ISSN: 1946-0740

Improvement of energy efficiency in data centers via flexible humidity control

Berezovskaya, Yulia; Mousavi, Arash; Vyatkin, Valeriy; Zhang, Xiaojing; Minde, Tor Björn

2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)

ISBN: 978-1-5090-3474-1

ISSN: 1553-572X

A Comparison of Formal Verification Approaches for IEC 61499

Blech, Jan Olaf; Lindgren, Per; Pereira, David; Vyatkin, Valeriy; Zoitl, Alois

2016 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509013142

ISSN: 1946-0740

Plant model inference for closed-loop verification of control systems Initial explorations

Buzhinskii, Igor; Vyatkin, Valeriy

2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509028702

ISSN: 1935-4576

Reconstruction of function block controllers based on test scenarios and verification

Chivilikhin, Daniil; Ivanov, Ilya; Shalyto, Anatoly; Vyatkin, Valeriy

2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509028702

ISSN: 1935-4576

Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems

Dai, Wenbin; Huang, Wanqi; Vyatkin, Valeriy

2016 in Proceedings of the IEEE International Symposium on Industrial Electronics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509008735

ISSN: 2163-5137

Reconfigurable elements of execution semantics for industrial cyber-physical systems

Dai, Wenbin; Pang, Cheng; Vyatkin, Valeriy

2016

ISBN: 9781479917624

Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm

Dai, Wenbin; Huang, Wanqi; Vyatkin, Valeriy

2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)

ISBN: 9781509034741

ISSN: 1553-572X

Automation services orchestration with function blocks Web-service implementation and performance evaluation

Demin, Evgenii; Dubinin, Victor; Patil, Sandeep; Vyatkin, Valeriy

2016 in Studies in Computational Intelligence (Springer-Verlag)

ISBN: 9783319303352

ISSN: 1860-949X

Orchestration of Arrowhead services using IEC 61499 Distributed automation case study

Derhamy, Hasan; Drozdov, Dmitrii; Patil, Sandeep; Van Deventer, Jan; Eliasson, Jens; Vyatkin, Valeriy

2016

ISBN: 9781509013142

Speculative computation in IEC 61499 function blocks execution - Modeling and simulation

Drozdov, Dmitrii; Dubinin, Victor; Vyatkin, Valeriy

2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509028702

ISSN: 1935-4576

Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams

Drozdov, Dmitrii; Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy

2016 in Proceedings of the IEEE International Symposium on Industrial Electronics (IEEE)

ISBN: 978-1-5090-0873-5

ISSN: 2163-5137

Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

Dubinin, Victor; Vyatkin, Valeriy; Shalyto, Anatoly

2016

ISBN: 978-1-4673-8383-7

Optimization of decentralized energy storage flexibility for frequency reserves

Kilkki, Olli; Giovanelli, Christian; Seilonen, Ilkka; Vyatkin, Valeriy

2016

ISBN: 9781479917624

Incentives for Shaping the Consumption Profile of a Group of Consumers with Energy Storages

Kilkki, Olli; Seilonen, Ilkka; Zenger, Kai; Vyatkin, Valeriy

2016 in IEEE PES Innovative Smart Grid Technologies Conference Europe (IEEE/PES)

ISSN: 2165-4816

Towards a formal model of protection functions for power distribution networks

Masselot, Michael; Patil, Sandeep; Zhabelova, Gulnara; Vyatkin, Valeriy

2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)

ISBN: 9781509034741

ISSN: 1553-572X

Decentralised coordination of intelligent autonomous batteries

Nefedov, Evgeny; Vyatkin, Valeriy

2016 in IFIP Advances in Information and Communication Technology (Springer New York LLC)

ISBN: 9783319311647

ISSN: 1868-4238

Evaluating benefits of collaborative intelligent batteries in SmartGrid

Nefedov, Evgeny; Vyatkin, Valeriy

2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)

ISBN: 9781509034741

ISSN: 1553-572X

A study on user-friendly formal specification languages for requirements formalization

Pang, Cheng; Pakonen, Antti; Buzhinskii, Igor; Vyatkin, Valeriy

2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509028702

ISSN: 1935-4576

Towards IEC 61499 models of computation in Ptolemy II

Pang, Cheng; Dai, Wenbin; Vyatkin, Valeriy

2016

ISBN: 9781479917624

District heating temperature control algorithm based on short term weather forecast and consumption predictions

Papakonstantinou, Nikolaos; Savolainen, Jouni; Koistinen, Jarmo; Aikala, Antti; Vyatkin, Valeriy

2016 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781509013142

ISSN: 1946-0740

Towards formal verification of smart grid distributed intelligence FREEDM case

Patil, Sandeep; Zhabelova, Gulnara; Vyatkin, Valeriy; McMillin, Bruce

2016

ISBN: 9781479917624

Parameters selection in predictive online simulation

Santillán Martínez, Gerardo; Miettinen, Tuomas; Aikala, Antti; Savolainen, Jouni; Kondelin, Kalle ; Karhela, Tommi; Vyatkin, Valeriy

2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 978-1-5090-2870-2

ISSN: 1935-4576

Requirement Verification in Simulation Based Automation Testing

Siivola, Eero; Sierla, Seppo; Niemistö, Hannu; Karhela, Tommi; Vyatkin, Valeriy

2016 in IEEE International Conference on Industrial Informatics (IEEE)

ISBN: 978-1-5090-2870-2

ISSN: 1935-4576

Requirements engineering of industrial automation systems Adapting the CESAR requirements meta model for safety-critical smart grid software

Sinha, Roopak; Patil, Sandeep; Pang, Cheng; Vyatkin, Valeriy; Dowdeswell, Barry

2016

ISBN: 9781479917624

Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

Sinha, Roopak; Pang, Cheng; Martinez, Gerardo Santillan; Kuronen, Juha; Vyatkin, Valeriy

2016

ISBN: 9781467385817

ISSN: 1050-4729

Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

Vyatkin, Valeriy; Pang, Cheng; Tripakis, Stavros

2016

ISBN: 9781479917624

Modelling of IEC 61850 message passing for automatic generation of distributed control

Yang, Chen Wei; Vyatkin, Valeriy

2016

ISBN: 9781479917624

Automatic generation of cyber-physical software applications based on physical to cyber transformation using ontologies

Yang, Chen Wei; Vyatkin, Valeriy; Dubinin, Victor

2016 in IFIP Advances in Information and Communication Technology (Springer New York LLC)

ISBN: 9783319311647

ISSN: 1868-4238

Data center energy efficiency and power quality An alternative approach with solid state transformer

Zhabelova, Gulnara; Yavarian, Alireza; Vyatkin, Valeriy; Huang, Alex Q.

2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781479917624

ISSN: 1553-572X

Open Architecture for Cost Effective Protection and Control of Power Distribution Networks

Zhabelova, Gulnara; Yang, Chen-wei; Vyatkin, Valeriy; Etherden, Nicholas; Christoffersson, Lars

2016 in International Conference on Smart Grid Communications (IEEE)

ISBN: 978-1-5090-4075-9

ISSN: 2373-6836

Adaptation of Material Flows in Mechanical Transportation Systems based on Observation Experience

Belyakov, Stanislav; Savelyeva, Marina; Yan, Jeffrey; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-8032-4

ISSN: 2158-9178

Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications

Buzhinsky, Igor; Ulyantsev, Vladimir; Veijalainen, Jari; Vyatkin, Valeriy

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

Formal Modeling of Testing Software for Cyber-Physical Automation Systems

Buzhinsky, Igor; Pang, Cheng; Vyatkin, Valeriy

2015

ISSN: 1935-4576

Reconstruction of Function Block Logic using Metaheuristic Algorithm Initial Explorations

Chivilikhin, Daniil; Shalyto, Anatoly; Patil, Sandeep; Vyatkin, Valeriy

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks

Chivilikhin, Daniil; Shalyto, Anatoly; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-8032-4

ISSN: 2158-9178

Modelling Distributed Automation Systems in Cyber Physical View

Dai, Wenbin; Vyatkin, Valeriy; Chen, Cailian; Guan, Xinping

2015

ISBN: 978-1-4673-7317-3

Modeling Distributed Automation Systems in Cyber-Physical View

Dai, Wenbin; Chen, Cailian; Vyatkin, Valeriy; Guan, Xinping

2015 in IEEE Conference on Industrial Electronics and Applications (IEEE)

ISBN: 978-1-4799-8389-6

ISSN: 2156-2318

Time-Stamped Event Based Execution Semantics for Industrial Cyber-Physical Systems

Dai, Wenbin; Pang, Cheng; Vyatkin, Valeriy; Christensen, James H.

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

IEC 61499 Distributed Control Enhanced with Cloud-based Web-Services

Demin, Evgeny; Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-7317-3

ISSN: 2156-2318

Synthesis of safety controllers for distributed automation systems on the basis of reverse safe net condition/event systems

Dubinin, Victor; Vyatkin, Valeriy; Hanisch, Hans-Michael

2015

ISBN: 978-1-4673-8032-4

ISSN: 2158-9178

An auction-based smart district heating grid

Gulzar, Kashif; Sierla, Seppo; Papakonstantinou, Nikolaos; Yang, Chen-Wei; Flikkema, Paul.G.; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-7929-8

ISSN: 1946-0759

Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning

Hästbacka, David; Aarnio, Pekka; Vyatkin, Valeriy; Kuikka, Seppo

2015

ISBN: 978-989-758-158-8

Fault Detection in the Hyperspace: Towards Intelligent Automation Systems Fault Detection in the Hyperspace: Towards Intelligent Automation Systems”

Kleyko, Denis; Osipov, Evgeny; Papakonstantinou, Nikolaos; Vyatkin, Valeriy; Mousavi, Arash

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

A SysML Profile Supporting Change Orders in Model Driven Engineering

Lin, Heng-You; Sierla, Seppo; Papakonstantinou, Nikolaos; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-8183-3

ISSN: 2161-8089

Change Request Management in Model-Driven Engineering of Industrial Automation Software

Lin, Heng-You; Sierla, Seppo; Papakonstantinou, Nikolaos; Shalyto, Anatoly; Vyatkin, Valeriy

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

A Real-Time Semantics for the IEC 61499 standard

Lindgren, Per; Lindner, Marcus; Lindner, Andreas; Vyatkin, Valeriy; Pereira, David; Pinho, Luis Miguel

2015

ISBN: 978-1-4673-7929-8

ISSN: 1946-0740

Cyber-physical Design of Data Centers Cooling Systems Automation

Mousavi, Arash; Vyatkin, Valeriy; Berezovskaya, Yulia; Zhang, Xiaojing

2015

ISBN: 978-1-4673-8032-4

ISSN: 2158-9178

Towards Energy Smart Data Centers: Simulation of Server Room Cooling System

Mousavi, Arash; Berezovskaya, Yulia; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-7929-8

ISSN: 1946-0740

Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications

Patil, Sandeep; Drozdov, Dmitry; Dubinin, Victor; Vyatkin, Valeriy

2015

ISBN: 978-3-319-16765-7

ISSN: 1868-4238

Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems

Patil, Sandeep; Vyatkin, Valeriy; Pang, Cheng

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

Formal Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV Modelling

Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-8032-4

ISSN: 2158-9178

Formal Modelling and Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy

2015

ISBN: 978-3-319-25941-3

ISSN: 0302-9743

A Hybrid Approach for the Initialization of Tracking Simulation Systems

Santillán Martínez, Gerardo; Karhela, Tommi; Niemistö, Hannu; Rossi, Ahti; Pang, Cheng; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-7929-8

ISSN: 1946-0740

An OPC UA Based Architecture for Testing Tracking Simulation Methods

Santillán Martínez, Gerardo; Karhela, Tommi; Vyatkin, Valeriy; Miettinen, Tuomas; Pang, Cheng

2015

ISBN: 978-1-4673-7951-9

Slicing the Pi: Device-Specific IEC 61499 Design

Sinha, Roopak; Dowdeswell, Barry; Vyatkin, Valeriy

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

Industry-Friendly Engineering Tools for Wireless Home Automation Devices

Wang, Jia; Pang, Zhibo; Vyatkin, Valeriy; Pang, Cheng

2015

ISBN: 978-1-4799-6649-3

ISSN: 1935-4576

Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture

Yang, Chen-Wei; Gulzar, Kashif; Sierla, Seppo; Vyatkin, Valeriy

2015

ISSN: 1530-2075

Data center power dynamics within the settings of regional power grid

Yavarian, Aleriza; Zhabelova, Gulnara; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-7929-8

ISSN: 1946-0740

Towards a design methodology for agent-based automation of smart grid

Zhabelova, Gulnara; Vyatkin, Valeriy

2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer-Verlag)

ISBN: 9783319228662

ISSN: 0302-9743

Towards software metrics for evaluating quality of IEC 61499 automation software

Zhabelova, Gulnara; Vyatkin, Valeriy

2015 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA (IEEE)

ISBN: 978-1-4673-7929-8

ISSN: 1946-0740

Software metrics for agent-based automation

Zhabelova, Gulnara; Vyatkin, Valeriy

2015

ISBN: 978-1-4673-7929-8

ISSN: 1946-0740

Energy Consumption Modeling of Data Center IT Room with Distributed Air Flow

Zhang, Xiaojing; Lindberg, Theresa; Svensson, Karl; Vyatkin, Valeriy; Mousavi, Arash

2015

ISBN: 978-1-4673-7929-8

ISSN: 1946-0740

Smart Indoor Lighting Control: Power, Illuminance and Colour Quality

Baniya, Rupak; Pang, Chen; Yang, Chen-Wei; Maksimainen, Mikko; Sierla, Seppo A.; Vyatkin, Valeriy

2014

Routing in mechanical transport system based on Knowledge

Belyakov, Stanislav; Savelieva, Marina; Yan, Jeffrey; Vyatkin, Valeriy

2014

Knowledge-based routing in mechanical transportation systems

Belyakov, Stanislav; Savelyeva, Marina; Yan, Jeffrey; Vyatkin, Valeriy

2014

ISBN: 9781479949052

The Application of Service-Oriented Architectures in Distributed Automation Systems

Dai, William; Vyatkin, Valeriy; Christensen, James

2014

Service-Oriented Distributed Control Software Design for Process Automation Systems

Dai, Wenbin; Vyatkin, Valeriy; Pang, Cheng; Peltola, Jukka

2014

Function Block Implementation of Service-Oriented Architecture: Case Study

Dai, William; Vyatkin, Valeriy; Christensen, James; Dubinin, Victor

2014

Enhance Distributed Automation Systems with Efficiency and Reliability by Applying Autonomic Service Management

Dai, Wenbin; Vyatkin, Valeriy; Dubinin, Victor; Christensen, James

2014

A configurable cloud-based testing infrastructure for interoperable distributed automation systems

Dai, Wenbin William; Riliskis, Laurynas; Vyatkin, Valeriy; Osipov, Evgeny; Delsing, Jerker

2014

ISBN: 9781479940325

Automatic generation of automation applications based on ontology transformations

Dubinin, Victor; Vyatkin, Valeriy; Yang, Chen Wei; Pang, Cheng

2014

ISBN: 9781479948468

Methodology of Implementing Distributed Function Block Applications using TinyOS WSN nodes

Kleyko, Denis; Osipov, Evgeny; Patil, Sandeep; Vyatkin, Valeriy; Pang, Zhibo

2014

Energy Efficient Automation Model for Office Buildings based on Ontologies, Agents and IEC 61499 Function Blocks

Mousavi, Arash; Vyatkin, Valeriy; Pang, Cheng; Yang, Cheng-Wei

2014

ISBN: 978-1-4799-4845-1

IEC 61499 Based Model-Driven Process Control Engineering

Pang, Cheng; Vyatkin, Valeriy; Dai, Wenbin

2014

Engineering Framework for Lighting Control Systems

Pang, Cheng; Dai, William; Vyatkin, Valeriy

2014

Towards cyber-physical approach for prototyping indoor lighting automation systems

Pang, Cheng; Vyatkin, Valeriy; Mayer, Horst

2014 in IEEE International Conference on Systems, Man, and Cybernetics (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 978-1-4799-3840-7

ISSN: 1062-922X

A Portability Study of IEC 61499: Semantics and Tools

Pang, Cheng; Patil, Sandeep; Yang, Cheng-Wei; Vyatkin, Valeriy; Shalyto, Anatoly

2014 in IEEE International Conference on Industrial Informatics INDIN (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 978-1-4799-4905-2

ISSN: 1935-4576

Security impact assessment of industrial automation systems using genetic algorithm and simulation

Papakonstantinou, Nikolaos; Sierla, Seppo; Charitoudi, Konstantinia; "O'Halloran", Bryan; Karhela, Tommi; Vyatkin, Valeriy; Tumer, Irem

2014

ISSN: 1946-0740

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM

Patil, Sandeep; Dubinin, Victor; Pang, Cheng; Vyatkin, Valeriy

2014 in Lecture Notes in Computer Science (SPRINGER)

ISBN: 978-3-662-46823-4

ISSN: 0302-9743

Adapting Keyword Driven Test Automation Framework to IEC 61131-3 Industrial Control Applications Using PLCopen XML

Peltola, Jukka; Sierla, Seppo; Vyatkin, Valeriy

2014

ISSN: 1946-0740

Knowledge-based web service integration for industrial automation

Ramis, Borja; Gonzalez, Luis; Iarovyi, Sergii; Lobov, Andrei; Martinez Lastra, Jóse L.; Vyatkin, Valeriy; Dai, William

2014

Security risk analysis for smart grid automation

Sierla, Seppo A.; Yang, Chen-Wei; Charitoudi, Konstantinia; Hurkala, Marcin; Vyatkin, Valeriy

2014

Competitors or Cousins?Studying the Parallels between Distributed Programming Languages SystemJ and IEC 61499

Sinha, Roopak; Vyatkin, Valeriy; Salcic, Zoran; Park, Hee Jong

2014

MIRA: Enabler of Mass Customization through Agent-Based Development of Intelligent Manufacturing Systems

Sorouri, Majid; Vyatkin, Valeriy; Salcic, Zoran

2014

Cyber-Physical Components for Heterogeneous Modelling, Validation and Implementation of Smart Grid Intelligence

Vyatkin, Valeriy; Zhabelova, Gulnara; Patil, Sandeep; Yan, Jeffrey; Yang, Chen-Wei

2014 in IEEE International Conference on Industrial Informatics INDIN (IEEE)

ISBN: 978-1-4799-0752-6

ISSN: 1935-4576

Time-Complemented Event-Driven Reconfigurable Systems

Yan, Jeffrey; Vyatkin, Valeriy

2014

Adaptable software components Towards digital ecosystems and software evolution in the industrial automation domain

Yan, Jeffrey; Pang, Cheng; Yang, Chen Wei; Vyatkin, Valeriy

2014 in IEEE Industrial Electronics Society. Annual Conference. Proceedings (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781479940325

ISSN: 1553-572X

Towards implementation of IEC 61850 GOOSE messaging in event-driven IEC 61499 environment

Yang, Chen Wei; Xu, Jiang; Vyatkin, Valeriy

2014 in IEEE International Conference on Emerging Technologies and Factory Automation (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781479948468

ISSN: 1946-0740

On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology

Yang, Chen Wei; Vyatkin, Valeriy; Mousavi, Arash; Dubinin, Victor

2014 in Annual conference of the IEEE Industrial Electronics Society (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781479940325

ISSN: 1553-572X

Decision making for industrial agents in Smart Grid applications

Zhabelova, Guinara; Vyatkin, Valeriy; Dubinin, Viktor

2014 in Annual conference of the IEEE Industrial Electronics Society (Institute of Electrical and Electronics Engineers Inc.)

ISBN: 9781479940325

ISSN: 1553-572X

Evaluation of electric grid automation under flood hazards

Hurkala, Marcin; Nikula, Heikki; Sierla, Seppo; Karhela, Tommi; O’Halloran, Bryan; Vyatkin, Valeriy

2013

Non-refereed scientific articles

Unrefereed journal articles

New Trends in Intelligent Energy Systems - An Industrial Informatics Points of View

Strasser, Thomas; Siano, Pierluigi; Vyatkin, Valeriy

2015 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)

ISSN: 1551-3203

Message from the DIAS 2015 Workshop Chairs

Vyatkin, Valeriy; Shalyto, Anatoly

2015