Вяткин Валерий Владимирович

Должность: профессор (исследователь)

Кафедра: факультет информационных технологий и программирования

Уч. степень: доктор технических наук, PhD, технические науки

Стаж: 2 года

Условие работы: Внешний совместитель

Трудовой договор: с 09/03/2018 по 06/30/2019

Образование:

  • Диплом о высшем образовании (высшее профессиональное); Специальность: инженер-математик; Квалификация: прикладная математика;

Повышение квалификации:

№ п/п
Тип
Название
Год
Описание
Страна
Город
1
Повышение квалификации
Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченным возможностями здоровья
2017
Российская Федерация

Список трудов:

  1. Prahofer H., Vyatkin V.V., Zoitl A. Information Technology in Automation. IEEE Transactions on Industrial Informatics. 2018. Vol. 14. No. 6. pp. 2745-2747. [Тип: Статья, Год: 2018]
  2. Pakonen A., Buzhinsky I., Vyatkin V. Counterexample visualization and explanation for function block diagrams. Proceedings of 16th IEEE Interantional Conference on Industrial Informatics. 2018. pp. 747-753. [Тип: Статья, Год: 2018]
  3. Mironovich V., Buzdalov M., Vyatkin V. Automatic Plant-Controller Input/Output Matching using Evolutionary Algorithms. Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation. 2018. pp. 1-4. [Тип: Статья, Год: 2018]
  4. Buzhinsky I., Pakonen A., Vyatkin V. Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. IEEE International Symposium on Industrial Electronics. 2018. pp. 669-674. [Тип: Статья, Год: 2018]
  5. Ovsiannikova P., Chivilikhin D., Ulyantsev V., Vyatkin V., Stankevich A., Shalyto A. Active learning of plant models for cyber-physical systems. 16th IEEE International Conference on Industrial Informatics. 2018. pp. 1-6. [Тип: Статья, Год: 2018]
  6. Giovanelli G., Sierla S., Ichise R., Vyatkin V.V. Exploiting artificial neural networks for the prediction of ancillary energy market prices. Energies. 2018. Vol. 11. No. 7. pp. 1906. [Тип: Статья, Год: 2018]
  7. Mironovich V., Buzdalov M., Vyatkin V. From Fitness Landscape Analysis to Designing Evolutionary Algorithms: The Case Study in Automatic Generation of Function Block Applications. GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion. 2018. pp. 1902-1905. [Тип: Статья, Год: 2018]
  8. Sorouri M., Vyatkin V.V. Intelligent product and mechatronic software components enabling mass customisation in advanced production systems. Service Oriented Computing and Applications. 2018. Vol. 12. No. 1. pp. 73-86. [Тип: Статья, Год: 2018]
  9. Chivilikhin D., Buzhinsky I., Ulyantsev V., Stankevich A., Shalyto A., Vyatkin V. Counterexample-guided inference of controller logic from execution traces and temporal formulas. Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation. 2018. pp. 91-98. [Тип: Статья, Год: 2018]
  10. Buzhinsky I., Vyatkin V. Modular Plant Model Synthesis from Behavior Traces and Temporal Properties. 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017). 2017. pp. 1-7. [Тип: Статья, Год: 2017]
  11. Buzhinsky I., Vyatkin V. Testing Automation Systems by Means of Model Checking. 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017). 2017. pp. 1-7. [Тип: Статья, Год: 2017]
  12. Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V. CSP-based Inference of Function Block Finite-State Models from Execution Traces. Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN). 2017. pp. 714-719. [Тип: Статья, Год: 2017]
  13. Yang C., Dubinin V.N., Vyatkin V.V. Ontology driven approach to generate distributed automation control from substation automation design. IEEE Transactions on Industrial Informatics. 2017. Vol. 13. No. 2. pp. 668-679. [Тип: Статья, Год: 2017]
  14. Mironovich V., Buzdalov M., Vyatkin V. Automatic Generation of Function Block Applications Using Evolutionary Algorithms: Initial Explorations. Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN). 2017. pp. 700-705. [Тип: Статья, Год: 2017]
  15. Chivilikhin D., Shalyto A., Patil S., Vyatkin V. Reconstruction of Function Block Logic using Metaheuristic Algorithm. IEEE Transactions on Industrial Informatics. 2017. Vol. 13. No. 4. pp. 1763-1771. [Тип: Статья, Год: 2017]
  16. Buzhinsky I., Pakonen A., Vyatkin V. Scalable methods of discrete plant model generation for closed-loop model checking. 43rd Annual Conference of the IEEE-Industrial-Electronics-Society, IECON 2017. 2017. pp. 5483-5488. [Тип: Статья, Год: 2017]
  17. Buzhinsky I., Pakonen A., Vyatkin V. Explicit-state and symbolic model checking of nuclear I&C systems: A comparison. 43rd Annual Conference of the IEEE-Industrial-Electronics-Society, IECON 2017. 2017. pp. 5439-5446. [Тип: Статья, Год: 2017]
  18. Buzhinsky I., Vyatkin V. Automatic Inference of Finite-State Plant Models from Traces and Temporal Properties. IEEE Transactions on Industrial Informatics. 2017. Vol. 13. No. 4. pp. 1521-1530. [Тип: Статья, Год: 2017]
  19. Dubinin V.N., Vyatkin V.V., Shalyto A.A. Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems. International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings. 2016. pp. 7491701. [Тип: Статья, Год: 2016]
  20. Pakonen A., Pang C., Buzhinsky I., Vyatkin V. User-friendly formal specification languages - conclusions drawn from industrial experience on model checking. IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 2016. pp. 7733717. [Тип: Статья, Год: 2016]
  21. Chivilikhin D., Ivanov I., Shalyto A., Vyatkin V. Reconstruction of Function Block Controllers Based on Test Scenarios and Verification. Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016). 2016. pp. 646-651. [Тип: Статья, Год: 2016]
  22. Pang C., Pakonen A., Buzhinsky I., Vyatkin V. A Study on User-Friendly Formal Specification Languages for Requirements Formalization. Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016). 2016. pp. 676-682. [Тип: Статья, Год: 2016]
  23. Buzhinsky I., Vyatkin V. Plant Model Inference for Closed-Loop Verification of Control Systems: Initial Explorations. Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016). 2016. pp. 736-739. [Тип: Статья, Год: 2016]
  24. Buzhinsky I.P., Ulyantsev V.I., Veijalainen J., Viatkin V.V. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications. Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015. 2015. pp. 1213-1218. [Тип: Статья, Год: 2015]
  25. Chivilikhin D., Shalyto A., Vyatkin V. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks. 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings. 2015. Vol. 3. pp. 307-312. [Тип: Статья, Год: 2015]
  26. Lin H., Sierla S.A., Papakonstantinou N., Shalyto A.A., Vyatkin V.V. Change request management in model-driven engineering of industrial automation software. Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015. 2015. pp. 1186-1191. [Тип: Статья, Год: 2015]
  27. Chivilikhin D.S., Shalyto A.A., Patil S., Viatkin V.V. Reconstruction of function block logic using metaheuristic algorithm: Initial explorations. Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015. 2015. pp. 1239-1242. [Тип: Статья, Год: 2015]
  28. Buzhinsky I., Pang C., Vyatkin V. Formal Modeling of Testing Software for Cyber-Physical Automation Systems. 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings. 2015. Vol. 3. pp. 301-306. [Тип: Статья, Год: 2015]
  29. Zhabelova G., Yang C., Patil S., Pang C., Yan J., Shalyto A., Vyatkin V. Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence. Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN). 2014. pp. 411-417. [Тип: Статья, Год: 2014]
  30. Pang C., Patil S., Yang C., Vyatkin V., Shalyto A. A Portability Study of IEC 61499: Semantics and Tools. Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN). 2014. pp. 440-445. [Тип: Статья, Год: 2014]
  31. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6(94). С. 98-105. [Тип: Статья, Год: 2014]