Valeriy Vyatkin

Professor

Research outputs

  1. 2015
  2. Published

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

    Patil, S., Dubinin, V. & Vyatkin, V., 2015, 1st Symposium on Dependable Software Engineering, Nanjing, China,November, 2015. Germany

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

  3. Published

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

    Patil, S., Dubinin, V. & 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

  4. Published

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

    Yang, C-W., Gulzar, K., Sierla, S. & Vyatkin, V., 2015, 1st International Workshop on Distributed Intelligent Automation Systems associated with the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA-15) Helsin.

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

  5. Published

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

    Demin, E., Patil, S., Dubinin, V. & Vyatkin, V., 2015, 10th IEEE International Conference on Industrial Electronics and Applications (ICIEA 2015), June 15-17, 2015, Auckland, New Zealand. United States

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

  6. Published

    Industry-Friendly Engineering Tools for Wireless Home Automation Devices

    Wang, J., Pang, Z., Vyatkin, V. & Pang, C., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015. Cambridge, UK, p. 1174-1179

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

  7. Published

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

    Chivilikhin, D., Shalyto, A. & 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

  8. Published

    Modeling Distributed Automation Systems in Cyber-Physical View

    Dai, W., Chen, C., Vyatkin, V. & Guan, X., 2015, Proceedings of the 2015 10th IEEE Conference on Industrial Electronics and Applications. IEEE, p. 989-994 6 p. (IEEE Conference on Industrial Electronics and Applications).

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

  9. Published

    Modelling Distributed Automation Systems in Cyber Physical View

    Dai, W., Vyatkin, V., Chen, C. & Guan, X., 2015, 10th IEEE International Conference on Industrial Electronics and Applications (ICIEA 2015), June 15-17, 2015, Auckland, New Zealand. United States

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

  10. Published

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

    Strasser, T., Siano, P. & Vyatkin, V., 2015, In : IEEE Transactions on Industrial Electronics. 62, 4

    Research output: Contribution to journalReview Article

  11. Published

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

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

    Research output: Contribution to journalArticle

  12. Published

    Reconstruction of Function Block Logic using Metaheuristic Algorithm: Initial Explorations

    Chivilikhin, D., Shalyto, A., Patil, S. & Vyatkin, V., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, United Kingdom, 22-24 July 2015. United States, p. 1239-1242 4 p.

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

  13. Published

    Slicing the Pi: Device-Specific IEC 61499 Design

    Sinha, R., Dowdeswell, B. & Vyatkin, V., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, United Kingdom, 22-24 July 2015. United States

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

  14. Published

    Software Composition and Distributed Operation Scheduling in Modular Automated Machines

    Sorouri, M., Patil, S., Vyatkin, V. & Salcic, Z., 2015, In : IEEE Transactions on Industrial Informatics. 11, 4

    Research output: Contribution to journalArticle

  15. Published

    Software metrics for agent-based automation

    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

  16. Published

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

    Dubinin, V., Vyatkin, V. & Hanisch, H-M., 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

  17. Published

    Time-Complemented Event-Driven Architecture for Distributed Automation Systems

    Pang, C., Yan, J. & Vyatkin, V., 2015, In : IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. 45, 8, p. 1165-1177

    Research output: Contribution to journalArticle

  18. Published

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

    Dai, W., Pang, C., Vyatkin, V. & Christensen, J. H., 2015, 13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015. Cambridge, UK, p. 1263-1268

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

  19. Published

    Toward industrially usable agent technology for Smart Grid automation

    Zhabelova, G., Vyatkin, V. & Dubinin, V., 2015, In : IEEE Transactions on Industrial Electronics. 62, 4, p. 2629-2641 13 p., 41.

    Research output: Contribution to journalArticle

  20. Published

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

    Zhabelova, G. & Vyatkin, V., 2015, Industrial Applications of Holonic and Multi-Agent Systems : 7th International Conference, HoloMAS 2015, Proceedings. Marik, V., Schirrmann, A., Trentesaux, D. & Vrba, P. (eds.). Springer-Verlag, Vol. 9266. p. 181-194 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9266).

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

  21. Published

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

    Mousavi, A., Berezovskaya, Y. & 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

  22. Published

    Towards software metrics for evaluating quality of IEC 61499 automation software

    Zhabelova, G. & Vyatkin, V., 2015, Proceedings OF 2015 IEEE 20TH International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, 8 p. (IEEE International Conference on Emerging Technologies and Factory Automation-ETFA).

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

  23. 2014
  24. Published

    Knowledge-based routing in mechanical transportation systems

    Belyakov, S., Savelyeva, M., Yan, J. & Vyatkin, V., 3 Nov 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers, p. 48-53 6 p. 6945482

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

  25. Published

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

    Dai, W. W., Riliskis, L., Vyatkin, V., Osipov, E. & Delsing, J., 24 Feb 2014, Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 2492-2498 7 p. 7048856

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

  26. Published

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

    Yan, J., Pang, C., Yang, C. W. & Vyatkin, V., 24 Feb 2014, IECON Proceedings (Industrial Electronics Conference): 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014. Institute of Electrical and Electronics Engineers, p. 2512-2518 7 p. 7048859. (IEEE Industrial Electronics Society. Annual Conference. Proceedings).

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

  27. Published

    Decision making for industrial agents in Smart Grid applications

    Zhabelova, G., Vyatkin, V. & Dubinin, V., 24 Feb 2014, Proceedings, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 3584-3590 7 p. 7049031. (Annual conference of the IEEE Industrial Electronics Society).

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

  28. Published

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

    Yang, C. W., Vyatkin, V., Mousavi, A. & Dubinin, V., 24 Feb 2014, IECON Proceedings (Industrial Electronics Conference). Institute of Electrical and Electronics Engineers, Vol. 40th Annual Conference of the IEEE Industrial Electronics Society, IECON 2014. p. 3577-3583 7 p. 7049030. (Annual conference of the IEEE Industrial Electronics Society).

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

  29. Published

    Automatic generation of automation applications based on ontology transformations

    Dubinin, V., Vyatkin, V., Yang, C. W. & Pang, C., 8 Jan 2014, 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014. Institute of Electrical and Electronics Engineers, 7005293

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

  30. Published

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

    Yang, C. W., Xu, J. & Vyatkin, V., 8 Jan 2014, 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014. Institute of Electrical and Electronics Engineers, 7005253. (IEEE International Conference on Emerging Technologies and Factory Automation).

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

  31. Published
  32. Published

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

    Peltola, J., Sierla, S. & Vyatkin, V., 2014, ETFA 2014 - IEEE International Conference on Emerging Technology & Factory Automation. p. 1-8

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

  33. Published

    A Portability Study of IEC 61499: Semantics and Tools

    Pang, C., Patil, S., Yang, C-W., Vyatkin, V. & Shalyto, A., 2014, IEEE Conference on Industrial Informatics INDIN’2014, Porto-Allegre, Brazil, July 27-30, 2014. p. 440-445 (IEEE International Conference on Industrial Informatics INDIN).

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

  34. Published

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

    Vrba, P., Marík, V., Leitão, P., Zhabelova, G., Vyatkin, V., Siano, P., Cecati, C. & Strasser, T., 2014, In : IEEE Transactions on Industrial Informatics. 10, 3

    Research output: Contribution to journalReview Article

  35. Published

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

    Sinha, R., Vyatkin, V., Salcic, Z. & Park, H. J., 2014, IEEE Conference on Emerging Technologies and Factory Automation (ETFA’2014), Barcelona, September 16-19, 2014.

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

  36. Published

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

    Vyatkin, V., Zhabelova, G., Patil, S., Yan, J. & Yang, C-W., 2014, IEEE Conference on Industrial Informatics INDIN’2014, Porto-Allegre, Brazil, July 27-30, 2014. 445 Hoes Lane, Piscataway, NJ 08854: IEEE, 6 p. (IEEE International Conference on Industrial Informatics INDIN).

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

  37. Published

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

    Mousavi, A., Vyatkin, V., Pang, C. & Yang, C-W., 2014, IEEE Conference on Emerging Technologies and Factory Automation (ETFA’2014), Barcelona, September 16-19, 2014. 7 p.

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

  38. Published

    Engineering Framework for Lighting Control Systems

    Pang, C., Dai, W. & Vyatkin, V., 2014, IEEE International Conference on Systems, Man, and Cybernetics (SMC 2014), San Diego, CA, USA. USA

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

  39. Published

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

    Dai, W., Vyatkin, V., Dubinin, V. & Christensen, J., 2014, ETFA 2014 - IEEE International Conference on Emerging Technology & Factory Automation, 16 - 19 Sep 2014, Barcelona, Spain. 1-8..

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

  40. Published

    Function Block Implementation of Service-Oriented Architecture: Case Study

    Dai, W., Vyatkin, V., Christensen, J. & Dubinin, V., 2014, IEEE Conference on Industrial Informatics INDIN’2014, Porto-Allegre, Brazil, July 27-30, 2014. p. 112-117

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

  41. Published

    IEC 61499 Based Model-Driven Process Control Engineering

    Pang, C., Vyatkin, V. & Dai, W., 2014, IEEE International Conference on Emerging Technology & Factory Automation, 16 - 19 September 2014, Barcelona, Spain. USA: IEEE

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

  42. Published

    Knowledge-based web service integration for industrial automation

    Ramis, B., Gonzalez, L., Iarovyi, S., Lobov, A., Martinez Lastra, J. L., Vyatkin, V. & Dai, W., 2014, IEEE Conference on Industrial Informatics INDIN’2014, Porto-Allegre, Brazil, July 27-30, 2014.

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

  43. Published

    Methodology of Implementing Distributed Function Block Applications using TinyOS WSN nodes

    Kleyko, D., Osipov, E., Patil, S., Vyatkin, V. & Pang, Z., 2014, ETFA 2014 - IEEE International Conference on Emerging Technology & Factory Automation, 16 - 19 Sep 2014, Barcelona, Spain. 1-8..

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

  44. Published

    Migration from PLC to IEC 61499 using Semantic Web Technologies

    Dai, W., Victor Dubinin, V. & Vyatkin, V., 2014, In : IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS. 44, 3

    Research output: Contribution to journalArticle

  45. Published

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

    Sorouri, M., Vyatkin, V. & Salcic, Z., 2014, IEEE Conference on Robotics and Automation (ICRA’14), 2014, Hong Kong.

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

  46. Published
  47. Published

    Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM

    Patil, S., Dubinin, V., Pang, C. & Vyatkin, V., 2014, Problems of System Informatics, St. Petersburg, June, 2014. p. 76-91 (Lecture Notes in Computer Science; vol. 8974).

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

  48. Published

    Routing in mechanical transport system based on Knowledge

    Belyakov, S., Savelieva, M., Yan, J. & Vyatkin, V., 2014, IEEE Conference on Industrial Informatics INDIN’2014, Porto-Allegre, Brazil, July, 2014.

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

  49. Published

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

    Papakonstantinou, N., Sierla, S., Charitoudi, K., "O'Halloran", B., Karhela, T., Vyatkin, V. & Tumer, I., 2014, ETFA 2014 - IEEE International Conference on Emerging Technology & Factory Automation, 16 - 19 Sep 2014, Barcelona, Spain. p. 1-8

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

  50. Published

    Security risk analysis for smart grid automation

    Sierla, S. A., Yang, C-W., Charitoudi, K., Hurkala, M. & Vyatkin, V., 2014, IEEE International Symposium on Industrial Electronics (ISIE 2014) Istanbul, Turkey, June 1-4, 2014. p. 1-6

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

  51. Published

    Service-Oriented Distributed Control Software Design for Process Automation Systems

    Dai, W., Vyatkin, V., Pang, C. & Peltola, J., 2014, IEEE Conference on Systems, Man and Cybernetics, San-Diego, October 7-10, 2014. USA

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

  52. Published

    Smart Grid is greater than smart grid

    Vyatkin, V., 2014, In : Automation and IT in Energy. 4

    Research output: Contribution to journalArticle

ID: 108627