Valeriy Vyatkin

Professor

Research outputs

  1. 2016
  2. Published

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

    Papakonstantinou, N., Savolainen, J., Koistinen, J., Aikala, A. & Vyatkin, V., 3 Nov 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. IEEE, Vol. 2016-November. 8 p. 7733748. (IEEE International Conference on Emerging Technologies and Factory Automation-ETFA).

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

  3. Published

    Orchestration of Arrowhead services using IEC 61499: Distributed automation case study

    Derhamy, H., Drozdov, D., Patil, S., Van Deventer, J., Eliasson, J. & Vyatkin, V., 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. 5 p. 7733650

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

  4. Published

    User-friendly formal specification languages - Conclusions drawn from industrial experience on model checking

    Pakonen, A., Pang, C., Buzhinsky, I. & Vyatkin, V., 3 Nov 2016, Proceedings of the 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016. Institute of Electrical and Electronics Engineers, Vol. 2016-November. 7733717. (IEEE International Conference on Emerging Technologies and Factory Automation-ETFA).

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

  5. Published

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

    Degefa, M. Z., Alahäivälä, A., Kilkki, O., Humayun, M., Seilonen, I., Vyatkin, V. & Lehtonen, M., 1 Nov 2016, In : IEEE TRANSACTIONS ON SMART GRIDS. 7, 6, p. 2615-2623 9 p., 7394195.

    Research output: Contribution to journalArticle

  6. Published

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

    Dubinin, V., Vyatkin, V. & Shalyto, A., 14 Jun 2016, 2016 International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings. Institute of Electrical and Electronics Engineers, 4 p. 7491701

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

  7. Published

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

    Sinha, R., Pang, C., Martínez, G. S. & Vyatkin, V., 28 Mar 2016, In : At-Automatisierungstechnik. 64, 3, p. 216-230 15 p.

    Research output: Contribution to journalArticle

  8. Published

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

    Zhabelova, G., Yavarian, A., Vyatkin, V. & Huang, A. Q., 25 Jan 2016, Proceedings of the 41st Annual Conference of the IEEE Industrial Electronics Society, IECON 2015. Institute of Electrical and Electronics Engineers, p. 1294-1300 7 p. 7392279. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

  9. Published

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

    Yang, C. W. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers, p. 1524-1529 6 p. 7392317

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

  10. Published

    Optimization of decentralized energy storage flexibility for frequency reserves

    Kilkki, O., Giovanelli, C., Seilonen, I. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society: Proceedings. Institute of Electrical and Electronics Engineers, p. 2219-2224 6 p. 7392431

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

  11. Published

    Reconfigurable elements of execution semantics for industrial cyber-physical systems

    Dai, W., Pang, C. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers, p. 2252-2257 6 p. 7392437

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

  12. Published

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

    Sinha, R., Patil, S., Pang, C., Vyatkin, V. & Dowdeswell, B., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers, p. 2172-2177 6 p. 7392423

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

  13. Published

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

    Vyatkin, V., Pang, C. & Tripakis, S., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers, p. 1970-1975 6 p. 7392389

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

  14. Published

    Towards formal verification of smart grid distributed intelligence: FREEDM case

    Patil, S., Zhabelova, G., Vyatkin, V. & McMillin, B., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers, p. 3974-3979 6 p. 7392719

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

  15. Published

    Towards IEC 61499 models of computation in Ptolemy II

    Pang, C., Dai, W. & Vyatkin, V., 25 Jan 2016, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers, p. 1988-1993 6 p. 7392392

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

  16. Published

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

    Sinha, R., Pang, C., Martinez, G. S., Kuronen, J. & Vyatkin, V., 15 Jan 2016, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. Institute of Electrical and Electronics Engineers, Vol. 2016-January. p. 198-201 4 p. 7384248

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

  17. Published

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

    Pang, C., Pakonen, A., Buzhinskii, I. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 676-682 7 p. 7819246. (IEEE International Conference on Industrial Informatics).

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

  18. Published

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

    Yang, C. W., Vyatkin, V. & Dubinin, V., 2016, IFIP Advances in Information and Communication Technology. Camarinha-Matos, L. M., Falcão, A. J., Vafaei, N. & Najdi, S. (eds.). Vol. 470. p. 37-45 9 p. (IFIP Advances in Information and Communication Technology; vol. 470).

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

  19. Published

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

    Demin, E., Dubinin, V., Patil, S. & Vyatkin, V., 2016, Studies in Computational Intelligence. Springer-Verlag, Vol. 640. p. 213-221 9 p. (Studies in Computational Intelligence; vol. 640).

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

  20. Published

    Context Modeling with Situation Rules for Industrial Maintenance

    Aarnio, P., Vyatkin, V. & Hästbacka, D., 2016, Proceedings of the 21st IEEE Conference on Emerging Technologies and Factory Automation, ETFA'2016 . IEEE, 9 p. ( Proceedings IEEE International Conference on Emerging Technologies and Factory Automation).

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

  21. Published

    Decentralised coordination of intelligent autonomous batteries

    Nefedov, E. & Vyatkin, V., 2016, IFIP Advances in Information and Communication Technology. Camarinha-Matos, L. M., Falcão, A. J., Vafaei, N. & Najdi, S. (eds.). Vol. 470. p. 425-433 9 p. (IFIP Advances in Information and Communication Technology; vol. 470).

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

  22. Published

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

    Drozdov, D., Patil, S., Dubinin, V. & Vyatkin, V., 2016, Proceedings of the 25th IEEE International Symposium on Industrial Electronics, ISIE 2016. IEEE, p. 316-321 6 p. (Proceedings of the IEEE International Symposium on Industrial Electronics).

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

  23. Published

    Intelligent product and mechatronic software components facilitating mass customization in collaborative manufacturing systems

    Sorouri, M. & Vyatkin, V., 2016, Collaboration in a Hyperconnected World - 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Proceedings. Afsarmanesh, H., Camarinha-Matos, L. M. & Lucas Soares, A. (eds.). Vol. 480. p. 394-407 14 p. (IFIP Advances in Information and Communication Technology; vol. 480).

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

  24. Published

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

    Zhabelova, G., Yang, C., Vyatkin, V., Etherden, N. & Christoffersson, L., 2016, IEEE International Conference on Smart Grid Communications, SmartGridComm 2016. IEEE, p. 729-735 7778848. (International Conference on Smart Grid Communications).

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

  25. Published

    Parameters selection in predictive online simulation

    Santillán Martínez, G., Miettinen, T., Aikala, A., Savolainen, J., Kondelin, K., Karhela, T. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. Institute of Electrical and Electronics Engineers, p. 726-729 4 p. (IEEE International Conference on Industrial Informatics).

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

  26. Published

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

    Buzhinskii, I. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. Institute of Electrical and Electronics Engineers, p. 736-739 4 p. 7819256. (IEEE International Conference on Industrial Informatics).

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

  27. Published

    Reconstruction of function block controllers based on test scenarios and verification

    Chivilikhin, D., Ivanov, I., Shalyto, A. & Vyatkin, V., 2016, Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. Institute of Electrical and Electronics Engineers, p. 646-651 6 p. 7819240. (IEEE International Conference on Industrial Informatics).

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

  28. Published

    Requirement Verification in Simulation Based Automation Testing

    Siivola, E., Sierla, S., Niemistö, H., Karhela, T. & Vyatkin, V., 2016, Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. IEEE, p. 740-743 4 p. (IEEE International Conference on Industrial Informatics).

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

  29. Published

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

    Drozdov, D., Dubinin, V. & Vyatkin, V., 2016, Proceedings of the 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. Institute of Electrical and Electronics Engineers, p. 748-755 8 p. 7819259. (IEEE International Conference on Industrial Informatics).

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

  30. Published

    Virtual Power Plant for Grid Services using IEC 61850

    Etherden, N., Vyatkin, V. & Bollen, M., 2016, In : IEEE Transactions on Industrial Informatics. 12, 1, p. 437-447

    Research output: Contribution to journalArticle

  31. 2015
  32. Published

    Message from the DIAS 2015 Workshop Chairs

    Vyatkin, V. & Shalyto, A., 2 Dec 2015, p. xvii. 1 p.

    Research output: Contribution to conferencePaperScientific

  33. Published

    Guest editorial: New trends in intelligent energy systems - An industrial informatics points of view

    Strasser, T., Siano, P. & Vyatkin, V., 1 Feb 2015, In : IEEE Transactions on Industrial Informatics. 11, 1, p. 207-209 3 p.

    Research output: Contribution to journalEditorial

  34. Published

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

    Belyakov, S., Savelyeva, M., Yan, J. & Vyatkin, V., 2015, First International workshop on Distributed Intelligent Automation Systems at 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA'15)Helsinki, 2015. United States

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

  35. Published

    A Hybrid Approach for the Initialization of Tracking Simulation Systems

    Santillán Martínez, G., Karhela, T., Niemistö, H., Rossi, A., Pang, C. & Vyatkin, V., 2015, 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. Luxembourg

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

  36. Published

    An auction-based smart district heating grid

    Gulzar, K., Sierla, S., Papakonstantinou, N., Yang, C-W., Flikkema, P. G. & Vyatkin, V., 2015, 20th IEEE International Conference on Emerging Technologies & Factory Automation - ETFA 2015, Luxembourg, Sep 8-11, 2015.

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

  37. Published

    An OPC UA Based Architecture for Testing Tracking Simulation Methods

    Santillán Martínez, G., Karhela, T., Vyatkin, V., Miettinen, T. & Pang, C., 2015, The 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, 20.-22.8.2015. Helsinki, Finland

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

  38. Published

    A Real-Time Semantics for the IEC 61499 standard

    Lindgren, P., Lindner, M., Lindner, A., Vyatkin, V., Pereira, D. & Pinho, L. M., 2015, 20th IEEE International conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. United States

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

  39. Published

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

    Vrba, P., Marík, V., Leitão, P., Zhabelova, G., Vyatkin, V., Siano, P., Cecati, C. & Strasser, T., 2015, In : IEEE Transactions on Industrial Electronics. 62, 4, p. 2424-2438

    Research output: Contribution to journalReview Article

  40. Published

    A SysML Profile Supporting Change Orders in Model Driven Engineering

    Lin, H-Y., Sierla, S., Papakonstantinou, N. & Vyatkin, V., 2015, 11th IEEE International Conference on Automation Science and Engineering (CASE 2015), August 24-28, 2015, Gothenburg, Sweden.

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

  41. Published

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

    Dai, W., Christensen, J., Dubinin, V. & Vyatkin, V., 2015, In : IEEE Transactions on Industrial Informatics. 11, 3

    Research output: Contribution to journalArticle

  42. Published

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

    Lin, H-Y., Sierla, S., Papakonstantinou, N., Shalyto, A. & Vyatkin, V., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), 22-24 July 2015, Cambridge, UK. Cambridge, UK

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

  43. Published

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

    Patil, S., Drozdov, D., Dubinin, V. & Vyatkin, V., 2015, Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015. Camarinha-Matos, L. M., Baldissera, T. A., Di Orio, G. & Marques, F. (eds.). Germany

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

  44. Published

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

    Patil, S., Vyatkin, V. & Pang, C., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015. Cambridge, UK, p. 1192-1197

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

  45. Published

    Cyber-physical Design of Data Centers Cooling Systems Automation

    Mousavi, A., Vyatkin, V., Berezovskaya, Y. & Zhang, X., 2015, First International workshop on Distributed Intelligent Automation Systems at 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA'15) Helsinki, 2015. United States

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

  46. Published

    Data center power dynamics within the settings of regional power grid

    Yavarian, A., Zhabelova, G. & Vyatkin, V., 2015, 20th IEEE International conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. United States

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

  47. Published

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

    Hästbacka, D., Aarnio, P., Vyatkin, V. & Kuikka, S., 2015, 7th International Conference on Knowledge Management and Information Sharing (KMIS), Lisbon, Portugal, 12-14, November, 2015.. United States

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

  48. Published

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

    Zhang, X., Lindberg, T., Svensson, K., Vyatkin, V. & Mousavi, A., 2015, 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2015), Luxembourg, September 8-11, 2015. United States

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

  49. Published
  50. Published

    Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications

    Buzhinsky, I., Ulyantsev, V., Veijalainen, J. & Vyatkin, V., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015. p. 1213-1218

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

  51. Published

    Fault Detection in the Hyperspace: Towards Intelligent Automation Systems

    Kleyko, D., Osipov, E., Papakonstantinou, N., Vyatkin, V. & Mousavi, A., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, United Kingdom, 22-24 July 2015. United States, p. 1219-1224

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

  52. Published

    Formal Modeling of Testing Software for Cyber-Physical Automation Systems

    Buzhinsky, I., Pang, C. & Vyatkin, V., 2015, IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), Helsinki, Finland, August 2022, 2015. p. 301-306

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

ID: 108627