Valeriy Vyatkin
Professor, Electrical Engineering at Aalto University School of Business
Schools
- Aalto University School of Business
Links
Biography
Aalto University School of Business
Peer-reviewed scientific articles
Journal article-refereed, Original researchAutomatic Inference of Finite-State Plant Models From Traces and Temporal Properties
Buzhinsky, Igor; Vyatkin, Valeriy2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203Reconstruction of Function Block Logic Using Metaheuristic Algorithm
Chivilikhin, Daniil; Shalyto, Anatoly; Patil, Sandeep; Vyatkin, Valeriy2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203Toward 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, Xinping2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements
Kunz, Guilherme; Machado, José; Perondi, Eduardo; Vyatkin, Valeriy2017 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)ISSN: 0278-0046Ontology driven approach to generate distributed automation control from substation automation design
Yang, Chen-Wei; Dubinin, Victor; Vyatkin, Valeriy2017 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203MAS-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, Matti2016 in IEEE TRANSACTIONS ON SMART GRIDS (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC)ISSN: 1949-3053Virtual Power Plant for Grid Services using IEC 61850
Etherden, Nicholas; Vyatkin, Valeriy; Bollen, Math2016 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203Automatic test case generation from requirements for industrial cyber-physical systems
Sinha, Roopak; Pang, Cheng; Martínez, Gerardo Santillán; Vyatkin, Valeriy2016 in At-Automatisierungstechnik (Oldenbourg Wissenschaftsverlag GmbH)ISSN: 0178-2312Bridging Service-Oriented Architecture and IEC 61499 for Flexibility and Interoperability
Dai, William; Christensen, Jim; Dubinin, Victor; Vyatkin, Valeriy2015 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203Energy Efficient Agent Function Block: A semantic agent approach to IEC 61499 function blocks in energy efficient building automation systems
Mousavi, Arash; Vyatkin, Valeriy2015 in AUTOMATION IN CONSTRUCTION (Elsevier)ISSN: 0926-5805Time-Complemented Event-Driven Architecture for Distributed Automation Systems
Pang, Cheng; Yan, Jeffrey; Vyatkin, Valeriy2015 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)ISSN: 2168-2216Software Composition and Distributed Operation Scheduling in Modular Automated Machines
Sorouri, Majid; Patil, Sandeep; Vyatkin, Valeriy; Salcic, Zoran2015 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203Towards industrially usable agent technology for Smart Grid automation
Zhabelova, Gulnara; Vyatkin, Valeriy; Dubinin, Victor2015 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)ISSN: 0278-0046Migration from PLC to IEC 61499 using Semantic Web Technologies
Dai, William; Victor Dubinin, Victor; Vyatkin, Valeriy2014 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)ISSN: 2168-22162eA-FB: a semantic agent approach to IEC 61499 function blocks in energy efficient building automation systems
Mousavi, Arash; Vyatkin, Valeriy2014 in AUTOMATION IN CONSTRUCTION (Elsevier)ISSN: 0926-5805Time-Complemented Event-Driven Architecture for Distributed Cyber-Physical Systems
Pang, Cheng; Yan, Jeffrey; Vyatkin, Valeriy2014 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)ISSN: 2168-2216Smart Grid is greater than smart grid
Vyatkin, Valeriy2014 in Automation and IT in Energy (IEEE Advancing Technology for Humanity)ISSN: 1994-8697SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design
Yang, Chen-Wei; Zhabelova, Gulnara; Vyatkin, Valeriy2014 in EAI Endorsed Transactions on Energy Web (European Alliance for Innovation)ISSN: 2032-944XModel-driven Development of Control Software for Distributed Automation: a Survey and an Approach
Yang, Chia-Han; Vyatkin, Valeriy; Pang, Cheng2014 in IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS (IEEE Advancing Technology for Humanity)ISSN: 2168-2216
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 reviewNew Trends in Intelligent Energy Systems - An Industrial Electronics Point of View
Strasser, Thomas; Siano, Pierluigi; Vyatkin, Valeriy2015 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)ISSN: 0278-0046A 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, Thomas2015 in IEEE Transactions on Industrial Electronics (Institute of Electrical and Electronics Engineers)ISSN: 0278-0046A 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, Thomas2014 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203
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 proceedingsDistributed home automation system based on IEC61499 function blocks and wireless sensor networks
Abrishambaf, Reza; Bal, Mert; Vyatkin, Valeriy2017 ISBN: 9781509053209Auto-generation of distributed automation software based on formal product line specification
Dubinin, Victor; Senokosov, Ilya; Vyatkin, Valeriy2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag)ISBN: 9783319646343ISSN: 0302-9743Distributed ICT architecture and an application for optimized automated demand response
Giovanelli, Christian; Kilkki, Olli; Seilonen, Ilkka; Vyatkin, Valeriy2017 in IEEE PES Innovative Smart Grid Technologies Conference Europe (IEEE COMPUTER SOCIETY PRESS)ISBN: 9781509033584ISSN: 2165-4816A distributed ICT architecture for continuous frequency control
Giovanelli, Christian; Kilkki, Olli; Alahäivälä, Antti; Seilonen, Ilkka; Lehtonen, Matti; Vyatkin, Valeriy2017 ISBN: 9789897582417Towards a Task Allocation Algorithm for Frequency Containment Reserves
Giovanelli, Christian; Kilkki, Olli; Sierla, Seppo; Seilonen, Ilkka; Vyatkin, Valeriy2017 in IEEE International Conference on Industrial Informatics (IEEE)ISSN: 1935-4576Manufacturing System Upgrade with Wireless and Distributed Automation
Gröhn, Laura; Metsälä, Samuli; Nyholm, Magnus; Saikko, Lauri; Väänänen, Eero; Gulzar, Kashif; Vyatkin, Valeriy2017 in Procedia Manufacturing (Elsevier)ISSN: 2351-9789Incentives for shaping the consumption profile of a group of consumers with energy storage devices
Kilkki, Olli; Seilonen, Ilkka; Zenger, Kai; Vyatkin, Valeriy2017 in IEEE PES Innovative Smart Grid Technologies Conference Europe (IEEE COMPUTER SOCIETY PRESS)ISBN: 9781509033584ISSN: 2165-4816Simulation-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, Magnus2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag)ISBN: 9783319646343ISSN: 0302-9743Towards Electric Vehicles Integration to Distributed Energy Resources of Prosumer
Nefedov, Evgeny; Sierla, Seppo; Vyatkin, Valeriy2017 in IEEE International Conference on Industrial Informatics (IEEE)ISSN: 1935-4576On development of execution model for model transforming distributed substation automation control with ontology
Yang, Chen Wei; Vyatkin, Valeriy; Dubinin, Victor2017 in Proceedings of the IEEE International Symposium on Industrial Electronics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509014125ISSN: 2163-5137Cooling Energy Consumption Investigation of Data Center IT Room with Vertical Placed Server
Zhang, Xiaojing; Lindberg, Theresa; Xiong, N.; Vyatkin, V.; Mousavi, Arash2017 in Energy Procedia (Elsevier)ISSN: 1876-6102Context Modeling with Situation Rules for Industrial Maintenance
Aarnio, Pekka; Vyatkin, Valeriy; Hästbacka, David2016 in Proceedings IEEE International Conference on Emerging Technologies and Factory Automation (IEEE)ISBN: 978-1-5090-1314-2 ISSN: 1946-0740Improvement of energy efficiency in data centers via flexible humidity control
Berezovskaya, Yulia; Mousavi, Arash; Vyatkin, Valeriy; Zhang, Xiaojing; Minde, Tor Björn2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)ISBN: 978-1-5090-3474-1ISSN: 1553-572XA Comparison of Formal Verification Approaches for IEC 61499
Blech, Jan Olaf; Lindgren, Per; Pereira, David; Vyatkin, Valeriy; Zoitl, Alois2016 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509013142ISSN: 1946-0740Plant model inference for closed-loop verification of control systems Initial explorations
Buzhinskii, Igor; Vyatkin, Valeriy2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509028702ISSN: 1935-4576Reconstruction of function block controllers based on test scenarios and verification
Chivilikhin, Daniil; Ivanov, Ilya; Shalyto, Anatoly; Vyatkin, Valeriy2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509028702ISSN: 1935-4576Knowledge-driven service orchestration engine for flexible information acquisition in industrial cyber-physical systems
Dai, Wenbin; Huang, Wanqi; Vyatkin, Valeriy2016 in Proceedings of the IEEE International Symposium on Industrial Electronics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509008735ISSN: 2163-5137Reconfigurable elements of execution semantics for industrial cyber-physical systems
Dai, Wenbin; Pang, Cheng; Vyatkin, Valeriy2016 ISBN: 9781479917624Enabling plug-and-play software components in industrial cyber-physical systems by adopting service-oriented architecture paradigm
Dai, Wenbin; Huang, Wanqi; Vyatkin, Valeriy2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)ISBN: 9781509034741ISSN: 1553-572XAutomation services orchestration with function blocks Web-service implementation and performance evaluation
Demin, Evgenii; Dubinin, Victor; Patil, Sandeep; Vyatkin, Valeriy2016 in Studies in Computational Intelligence (Springer-Verlag)ISBN: 9783319303352ISSN: 1860-949XOrchestration of Arrowhead services using IEC 61499 Distributed automation case study
Derhamy, Hasan; Drozdov, Dmitrii; Patil, Sandeep; Van Deventer, Jan; Eliasson, Jens; Vyatkin, Valeriy2016 ISBN: 9781509013142Speculative computation in IEC 61499 function blocks execution - Modeling and simulation
Drozdov, Dmitrii; Dubinin, Victor; Vyatkin, Valeriy2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509028702ISSN: 1935-4576Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams
Drozdov, Dmitrii; Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy2016 in Proceedings of the IEEE International Symposium on Industrial Electronics (IEEE)ISBN: 978-1-5090-0873-5ISSN: 2163-5137Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems
Dubinin, Victor; Vyatkin, Valeriy; Shalyto, Anatoly2016 ISBN: 978-1-4673-8383-7Optimization of decentralized energy storage flexibility for frequency reserves
Kilkki, Olli; Giovanelli, Christian; Seilonen, Ilkka; Vyatkin, Valeriy2016 ISBN: 9781479917624Incentives for Shaping the Consumption Profile of a Group of Consumers with Energy Storages
Kilkki, Olli; Seilonen, Ilkka; Zenger, Kai; Vyatkin, Valeriy2016 in IEEE PES Innovative Smart Grid Technologies Conference Europe (IEEE/PES)ISSN: 2165-4816Towards a formal model of protection functions for power distribution networks
Masselot, Michael; Patil, Sandeep; Zhabelova, Gulnara; Vyatkin, Valeriy2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)ISBN: 9781509034741ISSN: 1553-572XDecentralised coordination of intelligent autonomous batteries
Nefedov, Evgeny; Vyatkin, Valeriy2016 in IFIP Advances in Information and Communication Technology (Springer New York LLC)ISBN: 9783319311647ISSN: 1868-4238Evaluating benefits of collaborative intelligent batteries in SmartGrid
Nefedov, Evgeny; Vyatkin, Valeriy2016 in Proceedings of the Annual Conference of the IEEE Industrial Electronics Society (IEEE COMPUTER SOCIETY PRESS)ISBN: 9781509034741ISSN: 1553-572XA study on user-friendly formal specification languages for requirements formalization
Pang, Cheng; Pakonen, Antti; Buzhinskii, Igor; Vyatkin, Valeriy2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509028702ISSN: 1935-4576Towards IEC 61499 models of computation in Ptolemy II
Pang, Cheng; Dai, Wenbin; Vyatkin, Valeriy2016 ISBN: 9781479917624District heating temperature control algorithm based on short term weather forecast and consumption predictions
Papakonstantinou, Nikolaos; Savolainen, Jouni; Koistinen, Jarmo; Aikala, Antti; Vyatkin, Valeriy2016 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781509013142ISSN: 1946-0740Towards formal verification of smart grid distributed intelligence FREEDM case
Patil, Sandeep; Zhabelova, Gulnara; Vyatkin, Valeriy; McMillin, Bruce2016 ISBN: 9781479917624Parameters selection in predictive online simulation
Santillán Martínez, Gerardo; Miettinen, Tuomas; Aikala, Antti; Savolainen, Jouni; Kondelin, Kalle ; Karhela, Tommi; Vyatkin, Valeriy2016 in IEEE International Conference on Industrial Informatics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 978-1-5090-2870-2ISSN: 1935-4576Requirement Verification in Simulation Based Automation Testing
Siivola, Eero; Sierla, Seppo; Niemistö, Hannu; Karhela, Tommi; Vyatkin, Valeriy2016 in IEEE International Conference on Industrial Informatics (IEEE)ISBN: 978-1-5090-2870-2 ISSN: 1935-4576Requirements 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, Barry2016 ISBN: 9781479917624Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
Sinha, Roopak; Pang, Cheng; Martinez, Gerardo Santillan; Kuronen, Juha; Vyatkin, Valeriy2016 ISBN: 9781467385817ISSN: 1050-4729Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations
Vyatkin, Valeriy; Pang, Cheng; Tripakis, Stavros2016 ISBN: 9781479917624Modelling of IEC 61850 message passing for automatic generation of distributed control
Yang, Chen Wei; Vyatkin, Valeriy2016 ISBN: 9781479917624Automatic generation of cyber-physical software applications based on physical to cyber transformation using ontologies
Yang, Chen Wei; Vyatkin, Valeriy; Dubinin, Victor2016 in IFIP Advances in Information and Communication Technology (Springer New York LLC)ISBN: 9783319311647ISSN: 1868-4238Data 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: 9781479917624ISSN: 1553-572XOpen Architecture for Cost Effective Protection and Control of Power Distribution Networks
Zhabelova, Gulnara; Yang, Chen-wei; Vyatkin, Valeriy; Etherden, Nicholas; Christoffersson, Lars2016 in International Conference on Smart Grid Communications (IEEE)ISBN: 978-1-5090-4075-9ISSN: 2373-6836Adaptation of Material Flows in Mechanical Transportation Systems based on Observation Experience
Belyakov, Stanislav; Savelyeva, Marina; Yan, Jeffrey; Vyatkin, Valeriy2015 ISBN: 978-1-4673-8032-4ISSN: 2158-9178Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications
Buzhinsky, Igor; Ulyantsev, Vladimir; Veijalainen, Jari; Vyatkin, Valeriy2015 ISBN: 978-1-4799-6649-3ISSN: 1935-4576Formal Modeling of Testing Software for Cyber-Physical Automation Systems
Buzhinsky, Igor; Pang, Cheng; Vyatkin, Valeriy2015 ISSN: 1935-4576Reconstruction of Function Block Logic using Metaheuristic Algorithm Initial Explorations
Chivilikhin, Daniil; Shalyto, Anatoly; Patil, Sandeep; Vyatkin, Valeriy2015 ISBN: 978-1-4799-6649-3ISSN: 1935-4576Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks
Chivilikhin, Daniil; Shalyto, Anatoly; Vyatkin, Valeriy2015 ISBN: 978-1-4673-8032-4ISSN: 2158-9178Modelling Distributed Automation Systems in Cyber Physical View
Dai, Wenbin; Vyatkin, Valeriy; Chen, Cailian; Guan, Xinping2015 ISBN: 978-1-4673-7317-3Modeling Distributed Automation Systems in Cyber-Physical View
Dai, Wenbin; Chen, Cailian; Vyatkin, Valeriy; Guan, Xinping2015 in IEEE Conference on Industrial Electronics and Applications (IEEE)ISBN: 978-1-4799-8389-6ISSN: 2156-2318Time-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-3ISSN: 1935-4576IEC 61499 Distributed Control Enhanced with Cloud-based Web-Services
Demin, Evgeny; Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy2015 ISBN: 978-1-4673-7317-3ISSN: 2156-2318Synthesis of safety controllers for distributed automation systems on the basis of reverse safe net condition/event systems
Dubinin, Victor; Vyatkin, Valeriy; Hanisch, Hans-Michael2015 ISBN: 978-1-4673-8032-4ISSN: 2158-9178An auction-based smart district heating grid
Gulzar, Kashif; Sierla, Seppo; Papakonstantinou, Nikolaos; Yang, Chen-Wei; Flikkema, Paul.G.; Vyatkin, Valeriy2015 ISBN: 978-1-4673-7929-8ISSN: 1946-0759Empowering Industrial Maintenance Personnel with Situationally Relevant Information using Semantics and Context Reasoning
Hästbacka, David; Aarnio, Pekka; Vyatkin, Valeriy; Kuikka, Seppo2015 ISBN: 978-989-758-158-8Fault 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, Arash2015 ISBN: 978-1-4799-6649-3ISSN: 1935-4576A SysML Profile Supporting Change Orders in Model Driven Engineering
Lin, Heng-You; Sierla, Seppo; Papakonstantinou, Nikolaos; Vyatkin, Valeriy2015 ISBN: 978-1-4673-8183-3ISSN: 2161-8089Change Request Management in Model-Driven Engineering of Industrial Automation Software
Lin, Heng-You; Sierla, Seppo; Papakonstantinou, Nikolaos; Shalyto, Anatoly; Vyatkin, Valeriy2015 ISBN: 978-1-4799-6649-3ISSN: 1935-4576A Real-Time Semantics for the IEC 61499 standard
Lindgren, Per; Lindner, Marcus; Lindner, Andreas; Vyatkin, Valeriy; Pereira, David; Pinho, Luis Miguel2015 ISBN: 978-1-4673-7929-8ISSN: 1946-0740Cyber-physical Design of Data Centers Cooling Systems Automation
Mousavi, Arash; Vyatkin, Valeriy; Berezovskaya, Yulia; Zhang, Xiaojing2015 ISBN: 978-1-4673-8032-4ISSN: 2158-9178Towards Energy Smart Data Centers: Simulation of Server Room Cooling System
Mousavi, Arash; Berezovskaya, Yulia; Vyatkin, Valeriy2015 ISBN: 978-1-4673-7929-8ISSN: 1946-0740Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications
Patil, Sandeep; Drozdov, Dmitry; Dubinin, Victor; Vyatkin, Valeriy2015 ISBN: 978-3-319-16765-7ISSN: 1868-4238Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems
Patil, Sandeep; Vyatkin, Valeriy; Pang, Cheng2015 ISBN: 978-1-4799-6649-3ISSN: 1935-4576Formal Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV Modelling
Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy2015 ISBN: 978-1-4673-8032-4ISSN: 2158-9178Formal Modelling and Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics
Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy2015 ISBN: 978-3-319-25941-3ISSN: 0302-9743A Hybrid Approach for the Initialization of Tracking Simulation Systems
Santillán Martínez, Gerardo; Karhela, Tommi; Niemistö, Hannu; Rossi, Ahti; Pang, Cheng; Vyatkin, Valeriy2015 ISBN: 978-1-4673-7929-8ISSN: 1946-0740An OPC UA Based Architecture for Testing Tracking Simulation Methods
Santillán Martínez, Gerardo; Karhela, Tommi; Vyatkin, Valeriy; Miettinen, Tuomas; Pang, Cheng2015 ISBN: 978-1-4673-7951-9Slicing the Pi: Device-Specific IEC 61499 Design
Sinha, Roopak; Dowdeswell, Barry; Vyatkin, Valeriy2015 ISBN: 978-1-4799-6649-3ISSN: 1935-4576Industry-Friendly Engineering Tools for Wireless Home Automation Devices
Wang, Jia; Pang, Zhibo; Vyatkin, Valeriy; Pang, Cheng2015 ISBN: 978-1-4799-6649-3ISSN: 1935-4576Fuzzy Logic Based Prosumer Agent in a Modular Smart Grid Prosumer Architecture
Yang, Chen-Wei; Gulzar, Kashif; Sierla, Seppo; Vyatkin, Valeriy2015 ISSN: 1530-2075Data center power dynamics within the settings of regional power grid
Yavarian, Aleriza; Zhabelova, Gulnara; Vyatkin, Valeriy2015 ISBN: 978-1-4673-7929-8ISSN: 1946-0740Towards a design methodology for agent-based automation of smart grid
Zhabelova, Gulnara; Vyatkin, Valeriy2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer-Verlag)ISBN: 9783319228662ISSN: 0302-9743Towards software metrics for evaluating quality of IEC 61499 automation software
Zhabelova, Gulnara; Vyatkin, Valeriy2015 in IEEE International Conference on Emerging Technologies and Factory Automation-ETFA (IEEE)ISBN: 978-1-4673-7929-8ISSN: 1946-0740Software metrics for agent-based automation
Zhabelova, Gulnara; Vyatkin, Valeriy2015 ISBN: 978-1-4673-7929-8ISSN: 1946-0740Energy Consumption Modeling of Data Center IT Room with Distributed Air Flow
Zhang, Xiaojing; Lindberg, Theresa; Svensson, Karl; Vyatkin, Valeriy; Mousavi, Arash2015 ISBN: 978-1-4673-7929-8ISSN: 1946-0740Smart Indoor Lighting Control: Power, Illuminance and Colour Quality
Baniya, Rupak; Pang, Chen; Yang, Chen-Wei; Maksimainen, Mikko; Sierla, Seppo A.; Vyatkin, Valeriy2014 Routing in mechanical transport system based on Knowledge
Belyakov, Stanislav; Savelieva, Marina; Yan, Jeffrey; Vyatkin, Valeriy2014 Knowledge-based routing in mechanical transportation systems
Belyakov, Stanislav; Savelyeva, Marina; Yan, Jeffrey; Vyatkin, Valeriy2014 ISBN: 9781479949052The Application of Service-Oriented Architectures in Distributed Automation Systems
Dai, William; Vyatkin, Valeriy; Christensen, James2014 Service-Oriented Distributed Control Software Design for Process Automation Systems
Dai, Wenbin; Vyatkin, Valeriy; Pang, Cheng; Peltola, Jukka2014 Function Block Implementation of Service-Oriented Architecture: Case Study
Dai, William; Vyatkin, Valeriy; Christensen, James; Dubinin, Victor2014 Enhance Distributed Automation Systems with Efficiency and Reliability by Applying Autonomic Service Management
Dai, Wenbin; Vyatkin, Valeriy; Dubinin, Victor; Christensen, James2014 A configurable cloud-based testing infrastructure for interoperable distributed automation systems
Dai, Wenbin William; Riliskis, Laurynas; Vyatkin, Valeriy; Osipov, Evgeny; Delsing, Jerker2014 ISBN: 9781479940325Automatic generation of automation applications based on ontology transformations
Dubinin, Victor; Vyatkin, Valeriy; Yang, Chen Wei; Pang, Cheng2014 ISBN: 9781479948468Methodology of Implementing Distributed Function Block Applications using TinyOS WSN nodes
Kleyko, Denis; Osipov, Evgeny; Patil, Sandeep; Vyatkin, Valeriy; Pang, Zhibo2014 Energy Efficient Automation Model for Office Buildings based on Ontologies, Agents and IEC 61499 Function Blocks
Mousavi, Arash; Vyatkin, Valeriy; Pang, Cheng; Yang, Cheng-Wei2014 ISBN: 978-1-4799-4845-1IEC 61499 Based Model-Driven Process Control Engineering
Pang, Cheng; Vyatkin, Valeriy; Dai, Wenbin2014 Engineering Framework for Lighting Control Systems
Pang, Cheng; Dai, William; Vyatkin, Valeriy2014 Towards cyber-physical approach for prototyping indoor lighting automation systems
Pang, Cheng; Vyatkin, Valeriy; Mayer, Horst2014 in IEEE International Conference on Systems, Man, and Cybernetics (Institute of Electrical and Electronics Engineers Inc.)ISBN: 978-1-4799-3840-7ISSN: 1062-922XA Portability Study of IEC 61499: Semantics and Tools
Pang, Cheng; Patil, Sandeep; Yang, Cheng-Wei; Vyatkin, Valeriy; Shalyto, Anatoly2014 in IEEE International Conference on Industrial Informatics INDIN (Institute of Electrical and Electronics Engineers Inc.)ISBN: 978-1-4799-4905-2ISSN: 1935-4576Security 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, Irem2014 ISSN: 1946-0740Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM
Patil, Sandeep; Dubinin, Victor; Pang, Cheng; Vyatkin, Valeriy2014 in Lecture Notes in Computer Science (SPRINGER)ISBN: 978-3-662-46823-4ISSN: 0302-9743Adapting Keyword Driven Test Automation Framework to IEC 61131-3 Industrial Control Applications Using PLCopen XML
Peltola, Jukka; Sierla, Seppo; Vyatkin, Valeriy2014 ISSN: 1946-0740Knowledge-based web service integration for industrial automation
Ramis, Borja; Gonzalez, Luis; Iarovyi, Sergii; Lobov, Andrei; Martinez Lastra, Jóse L.; Vyatkin, Valeriy; Dai, William2014 Security risk analysis for smart grid automation
Sierla, Seppo A.; Yang, Chen-Wei; Charitoudi, Konstantinia; Hurkala, Marcin; Vyatkin, Valeriy2014 Competitors or Cousins?Studying the Parallels between Distributed Programming Languages SystemJ and IEC 61499
Sinha, Roopak; Vyatkin, Valeriy; Salcic, Zoran; Park, Hee Jong2014 MIRA: Enabler of Mass Customization through Agent-Based Development of Intelligent Manufacturing Systems
Sorouri, Majid; Vyatkin, Valeriy; Salcic, Zoran2014 Cyber-Physical Components for Heterogeneous Modelling, Validation and Implementation of Smart Grid Intelligence
Vyatkin, Valeriy; Zhabelova, Gulnara; Patil, Sandeep; Yan, Jeffrey; Yang, Chen-Wei2014 in IEEE International Conference on Industrial Informatics INDIN (IEEE)ISBN: 978-1-4799-0752-6ISSN: 1935-4576Time-Complemented Event-Driven Reconfigurable Systems
Yan, Jeffrey; Vyatkin, Valeriy2014 Adaptable software components Towards digital ecosystems and software evolution in the industrial automation domain
Yan, Jeffrey; Pang, Cheng; Yang, Chen Wei; Vyatkin, Valeriy2014 in IEEE Industrial Electronics Society. Annual Conference. Proceedings (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781479940325ISSN: 1553-572XTowards implementation of IEC 61850 GOOSE messaging in event-driven IEC 61499 environment
Yang, Chen Wei; Xu, Jiang; Vyatkin, Valeriy2014 in IEEE International Conference on Emerging Technologies and Factory Automation (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781479948468ISSN: 1946-0740On automatic generation of IEC61850/IEC61499 substation automation systems enabled by ontology
Yang, Chen Wei; Vyatkin, Valeriy; Mousavi, Arash; Dubinin, Victor2014 in Annual conference of the IEEE Industrial Electronics Society (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781479940325ISSN: 1553-572XDecision making for industrial agents in Smart Grid applications
Zhabelova, Guinara; Vyatkin, Valeriy; Dubinin, Viktor2014 in Annual conference of the IEEE Industrial Electronics Society (Institute of Electrical and Electronics Engineers Inc.)ISBN: 9781479940325ISSN: 1553-572XEvaluation of electric grid automation under flood hazards
Hurkala, Marcin; Nikula, Heikki; Sierla, Seppo; Karhela, Tommi; O’Halloran, Bryan; Vyatkin, Valeriy2013
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 articlesNew Trends in Intelligent Energy Systems - An Industrial Informatics Points of View
Strasser, Thomas; Siano, Pierluigi; Vyatkin, Valeriy2015 in IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (IEEE Computer Society)ISSN: 1551-3203
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, Anatoly2015
Message from the DIAS 2015 Workshop Chairs
Vyatkin, Valeriy; Shalyto, Anatoly
2015 Videos
Valeriy Vyatkin: "Industrial automation software and the Internet of cyber-physical things"
Read about executive education
Other experts
Eric Leininger
Eric Leininger joined the Kellogg School faculty full time in September 2010, coming from McDonald's Corporation, where he was corporate senior vice president since 2004. He has been an affiliated faculty member since 1997. With Professor Gregory Carpenter, Eric leads The Kellogg Chief Marketing...
Urvashi Kaul
Urvashi Kaul teaches Environmental Finance at the School of International and Public Affairs and Environmental Economics at the Center for Environmental Research and Conservation. She is the Education Manager for RFK Compass at the Robert F. Kennedy Center for Justice and Human Rights, where sh...
Tim Newburn
Tim Newburn has been Professor of Criminology and Social Policy at the LSE since 2002. He was Head of Department of Social Policy from 2010-13 and Director of the Mannheim Centre for Criminology from 2003-2009. Prior to joining LSE he was Joseph Rowntree Professor of Urban Social Policy at Goldsm...
Looking for an expert?
Contact us and we'll find the best option for you.