Valeriy Vyatkin

Professor

Research outputs

  1. 2018
  2. Published

    A Comprehensive Model of Data Center: From CPU to Cooling Tower

    Zhabelova, G., Vesterlund, M., Eschmann, S., Berezovskaya, Y., Vyatkin, V. & Flieller, D., 2018, In : IEEE Access. 6, p. 61254-61266

    Research output: Contribution to journalArticle

  3. Published

    An Integrated Implementation Methodology of a Lifecycle-wide Tracking Simulation Architecture

    Martinez, G. S., Karhela, T., Ruusu, R., Sierla, S. & Vyatkin, V., 2018, In : IEEE Access. 6, p. 15391-15407

    Research output: Contribution to journalArticle

  4. Published

    Automatic Generation of a Simulation-based Digital Twin of an Industrial Process Plant

    Santillán Martínez, G., Sierla, S., Karhela, T. & Vyatkin, V., 2018, Proceedings of the 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018. IEEE, p. 3084-3089 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  5. Published
  6. Published

    Internet of Energy Approach for Sustainable Use of Electric Vehicles as Energy Storage of Prosumer Buildings

    Nefedov, E., Sierla, S. & Vyatkin, V., 2018, In : Energies. 11, 8, p. 24-25 18 p., 2165.

    Research output: Contribution to journalArticle

  7. 2017
  8. Published

    Automatic generation of pipelines into a 3D industrial process model

    Sierla, S. A., Karhela, T. A. & Vyatkin, V., 23 Dec 2017, In : IEEE Access. 5, 1, p. 26591-26603

    Research output: Contribution to journalArticle

  9. Published

    Estimation, measurement and improvement of distributed automation applications performance

    Väänänen, E. & Vyatkin, V., 18 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5426-5431 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  10. Published

    Explicit-state and symbolic model checking of nuclear I&C systems: A comparison

    Buzhinskii, I., Pakonen, A. & Vyatkin, V., 18 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5439-5446 8 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  11. Published

    Network planning and self-repair in models of urban distribution networks via Hill Climbing

    Davidescu, G. & Vyatkin, V., 18 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5477-5488 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  12. Published

    Real-time data acquisition support for IEC 61499 based industrial cyber-physical systems

    Huang, W., Dai, W., Wang, P. & Vyatkin, V., 18 Dec 2017, Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE, p. 6689-6694 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  13. Published

    Scalable methods of discrete plant model generation for closed-loop model checking

    Buzhinskii, I., Pakonen, A. & Vyatkin, V., 18 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5483-5488 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  14. Published

    Software-defined automation and control a preliminary study

    Pang, C., Dai, W., Miao, Q., Liang, J., Cai, G., Lu, S. & Vyatkin, V., 18 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5497-5502 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  15. Published

    Energy efficient decision making in data centers with multiple cooling methods

    Mousavi, A., Berezovskaya, Y., Vyatkin, V. & Zhang, X., 15 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, Vol. 2017-January. p. 8785-8790 6 p. ( Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  16. Published

    Power quality assessment of energy efficient cooling systems in data centers

    Mousavi, A., Yavarian, A., Vyatkin, V. & Zhang, X., 15 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, Vol. 2017-January. p. 7191-7196 6 p. ( Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  17. Published

    Service-oriented extension of IEC 61850 for model-driven smart grid automation design

    Yang, C. W., Vyatkin, V. & Pang, C., 15 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, Vol. 2017-January. p. 5489-5496 8 p. (Proceedings of the Annual Conference of the IEEE Industrial ).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  18. Published

    Towards formal verification for cyber-physically agnostic software: A case study

    Drozdov, D., Patil, S., Dubinin, V. & Vyatkin, V., 15 Dec 2017, Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE, Vol. 2017-January. p. 5509-5514 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Published

    Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks

    Li, D., Zhai, Z., Pang, Z., Vyatkin, V. & Liu, C., Dec 2017, In : IEEE Transactions on Industrial Informatics. 13, 6, p. 3389-3398 10 p.

    Research output: Contribution to journalArticle

  20. Published

    Automatic generation of function block systems implementing HMI for energy distribution automation

    Voinov, A., Yang, C-W. & Vyatkin, V., 13 Nov 2017, Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 . IEEE, p. 706-713 8 p. 8104859. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  21. Published

    CSP-based inference of function block finite-state models from execution traces

    Chivilikhin, D., Ulyantsev, V., Shalyto, A. & Vyatkin, V., 13 Nov 2017, Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 . Institute of Electrical and Electronics Engineers, p. 714-719 6 p. 8104860. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  22. Published

    Service-oriented data acquisition and management for industrial cyber-physical systems

    Dai, W., Zhang, Z., Wang, P., Vyatkin, V. & Christensen, J. H., 13 Nov 2017, Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 . Institute of Electrical and Electronics Engineers, p. 759-764 6 p. 8104867. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  23. Published

    Towards a Task Allocation Algorithm for Frequency Containment Reserves

    Giovanelli, C., Kilkki, O., Sierla, S., Seilonen, I. & Vyatkin, V., 13 Nov 2017, Proceedings of IEEE 15th International Conference on Industrial Informatics, INDIN 2017. Institute of Electrical and Electronics Engineers, p. 765-768 4 p. 8104868. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  24. Published

    Towards Electric Vehicles Integration to Distributed Energy Resources of Prosumer

    Nefedov, E., Sierla, S. & Vyatkin, V., 13 Nov 2017, Proceedings of IEEE 15th International Conference on Industrial Informatics, INDIN 2017. Institute of Electrical and Electronics Engineers, p. 769-772 4 p. 8104869. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  25. Published

    Automatic generation of function block applications using evolutionary algorithms: Initial explorations

    Mironovich, V., Buzdalov, M. & Vyatkin, V., 10 Nov 2017, Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017 . Institute of Electrical and Electronics Engineers, p. 700-705 6 p. 8104858. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. Published

    On requirements-driven design of distributed smart grid automation control

    Yang, C. W. & Vyatkin, V., 10 Nov 2017, Proceedings of IEEE 15th International Conference on Industrial Informatics, INDIN 2017. Institute of Electrical and Electronics Engineers, p. 738-745 8 p. 8104864. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  27. Published

    Towards an Aggregator that Exploits Big Data to Bid on Frequency Containment Reserve Market

    Giovanelli, C., Liu, X., Sierla, S., Vyatkin, V. & Ichise, R., 1 Nov 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 7514-7519 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  28. Published

    Network planning in smart grids via a local search heuristic for spanning forest problems

    Davidescu, G., Stutzle, T. & Vyatkin, V., 8 Aug 2017, Proceedings of the 26th IEEE International Symposium on Industrial Electronics, ISIE 2017. Institute of Electrical and Electronics Engineers, p. 1212-1218 7 p. (Proceedings of the IEEE International Symposium on Industrial Electronics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  29. Published

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

    Yang, C. W., Vyatkin, V. & Dubinin, V., 3 Aug 2017, Proceedings of the 26th IEEE International Symposium on Industrial Electronics, ISIE 2017. Institute of Electrical and Electronics Engineers, p. 1219-1225 7 p. 8001419. (Proceedings of the IEEE International Symposium on Industrial Electronics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  30. Published

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

    Kunz, G., Machado, J., Perondi, E. & Vyatkin, V., 1 Aug 2017, In : IEEE Transactions on Industrial Electronics. 64, 8, p. 6582-6590 9 p., 7878522.

    Research output: Contribution to journalArticle

  31. Published

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

    Buzhinsky, I. & Vyatkin, V., 1 Aug 2017, In : IEEE Transactions on Industrial Informatics. 13, 4, p. 1521-1530 10 p., 7857798.

    Research output: Contribution to journalArticle

  32. Published

    Reconstruction of Function Block Logic Using Metaheuristic Algorithm

    Chivilikhin, D., Shalyto, A., Patil, S. & Vyatkin, V., 1 Aug 2017, In : IEEE Transactions on Industrial Informatics. 13, 4, p. 1763-1771 9 p., 7936605.

    Research output: Contribution to journalArticle

  33. Published

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

    Abrishambaf, R., Bal, M. & Vyatkin, V., 26 Apr 2017, Proceedings of the 2017 IEEE International Conference on Industrial Technology, ICIT 2017. IEEE, p. 1354-1359 6 p. 7915561

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  34. Published

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

    Yang, C-W., Dubinin, V. & Vyatkin, V., 1 Apr 2017, In : IEEE Transactions on Industrial Informatics. 13, 2, p. 668-679 12 p., 7762918.

    Research output: Contribution to journalArticle

  35. Published

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

    Dai, W., Dubinin, V. N., Christensen, J. H., Vyatkin, V. & Guan, X., 1 Apr 2017, In : IEEE Transactions on Industrial Informatics. 13, 2, p. 725-736 12 p., 7523919.

    Research output: Contribution to journalArticle

  36. Published

    Distributed ICT architecture and an application for optimized automated demand response

    Giovanelli, C., Kilkki, O., Seilonen, I. & Vyatkin, V., 14 Feb 2017, ISGT Europe 2016 - IEEE PES Innovative Smart Grid Technologies, Europe. 7856329. (IEEE PES Innovative Smart Grid Technologies Conference Europe).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  37. Published

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

    Kilkki, O., Seilonen, I., Zenger, K. & Vyatkin, V., 14 Feb 2017, Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT Europe 2016. 6 p. 7856253. (IEEE PES Innovative Smart Grid Technologies Conference Europe).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  38. Published

    A distributed ICT architecture for continuous frequency control

    Giovanelli, C., Kilkki, O., Alahäivälä, A., Seilonen, I., Lehtonen, M. & Vyatkin, V., 2017, Proceedings of the 6th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2017. Klein, C., Helfert, M., Donellan, B. & Setubal, B. (eds.). SciTePress, p. 135-142 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  39. Published

    A framework for runtime verification of industrial process control systems

    Savolainen, R., Sierla, S., Karhela, T., Miettinen, T. & Vyatkin, V., 2017, Proceedings of the 15th IEEE International Conference on Industrial Informatics, INDIN 2017. IEEE, p. 687-694 8 p. 8104856. (IEEE International Conference on Industrial Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  40. Published

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

    Dubinin, V., Senokosov, I. & Vyatkin, V., 2017, Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017. Springer Verlag, Vol. 10444 LNAI. p. 80-91 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10444 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  41. Published

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

    Zhang, X., Lindberg, T., Xiong, N., Vyatkin, V. & Mousavi, A., 2017, The 8th International Conference on Applied Energy – ICAE2016 . Elsevier, p. 2047-2052 6 p. (Energy Procedia ; vol. 105).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  42. Published

    Formal modelling of distributed automation CPS with CP-agnostic software

    Drozdov, D., Patil, S. & Vyatkin, V., 2017, Studies in Computational Intelligence. Cham, Switzerland: Springer Verlag, p. 35-46 12 p. (Studies in Computational Intelligence; vol. 694).

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  43. Published

    Manufacturing System Upgrade with Wireless and Distributed Automation

    Gröhn, L., Metsälä, S., Nyholm, M., Saikko, L., Väänänen, E., Gulzar, K. & Vyatkin, V., 2017, Proceedings of the 27th International Conference on Flexible Automation and Intelligent Manufacturing, FAIM2017. Pellicciari, M. & Peruzzini, M. (eds.). Elsevier, Vol. 11. p. 1012-1018 7 p. (Procedia Manufacturing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  44. Published

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

    Metsälä, S., Gulzar, K., Vyatkin, V., Gröhn, L., Väänänen, E., Saikko, L. & Nyholm, M., 2017, Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017. Springer Verlag, Vol. 10444 LNAI. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10444 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  45. Published

    Sliding mode SISO control of model parameters for implicit dynamic feedback estimation of industrial tracking simulation systems

    Reino, R., Santillán Martínez, G., Karhela, T. & Vyatkin, V., 2017, Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. Institute of Electrical and Electronics Engineers, p. 6927-6932 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  46. Published

    Towards a systematic path for dynamic simulation to plant operation: OPC UA-enabled model adaptation method for tracking simulation

    Santillán Martínez, G., Karhela, T., Reino, R., Lackman, T. & Vyatkin, V., 2017, Proceedings of the 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 . IEEE, p. 5503-5508 6 p. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  47. 2016
  48. Published

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

    Dai, W., Huang, W. & Vyatkin, V., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. p. 5253-5258 6 p. 7793834. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  49. Published

    Evaluating benefits of collaborative intelligent batteries in SmartGrid

    Nefedov, E. & Vyatkin, V., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. p. 5265-5270 6 p. 7793864. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  50. Published

    Improvement of energy efficiency in data centers via flexible humidity control

    Berezovskaya, Y., Mousavi, A., Vyatkin, V., Zhang, X. & Minde, T. B., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. p. 5585-5590 6 p. 7793777. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  51. Published

    Towards a formal model of protection functions for power distribution networks

    Masselot, M., Patil, S., Zhabelova, G. & Vyatkin, V., 21 Dec 2016, Proceedings of the 42nd Annual Conference of the Industrial Electronics Society, IECON 2016. p. 5302-5309 8 p. 7794150. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  52. Published

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

    Dai, W., Huang, W. & Vyatkin, V., 15 Nov 2016, Proceedings of the 25th IEEE International Symposium on Industrial Electronics, ISIE 2016. Institute of Electrical and Electronics Engineers, Vol. 2016-November. p. 1055-1060 6 p. 7745038. (Proceedings of the IEEE International Symposium on Industrial Electronics).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  53. Published

    A Comparison of Formal Verification Approaches for IEC 61499

    Blech, J. O., Lindgren, P., Pereira, D., Vyatkin, V. & Zoitl, A., 3 Nov 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. Institute of Electrical and Electronics Engineers, Vol. 2016-November. 4 p. 7733636. (IEEE International Conference on Emerging Technologies and Factory Automation-ETFA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

ID: 108627