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

Должность: профессор

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

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

Стаж: 2 года

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

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

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

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

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

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

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

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Buzhinsky I., Vyatkin V. Modular Plant Model Synthesis from Behavior Traces and Temporal Properties. 22nd IEEE Conference on Emerging Technologies & Factory Automation (ETFA 2017). 2017. pp. in press. [Тип: Статья, Год: 2017]
  7. Buzhinsky I., Vyatkin V. Testing Automation Systems by Means of Model Checking. 22nd IEEE Conference on Emerging Technologies & Factory Automation (ETFA 2017). 2017. pp. in press. [Тип: Статья, Год: 2017]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6(94). С. 98-105. [Тип: Статья, Год: 2014]
  20. 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]