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

Вяткин Валерий Владимирович
доктор технических наук, PhD, технические науки
профессор (исследователь), факультет информационных технологий и программирования

Педагогический стаж

Общий стаж:
19 лет

Публикации

72
Статья
2023 год

Kolesnikov M.V., Blech J.O., Atmojo U., Vyatkin V.V., Afanasev M.Y. Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment. IEEE 32nd International Symposium on Industrial Electronics (ISIE). 2023. pp. 1-4.

Статья
2023 год

Akifev D., Liakh T., Sorokin R., Vyatkin V. Debugging approach for IEC 61499 control applications in FBME. IEEE 32nd International Symposium on Industrial Electronics (ISIE). 2023. pp. 1-5.

Статья
2022 год

Sierla S., Ihasalo H., Vyatkin V. A Review of Reinforcement Learning Applications to Control of Heating, Ventilation and Air Conditioning Systems. Energies. 2022. Vol. 15. No. 10. pp. 3526.

Статья
2022 год

Sorokin R., Patil S., Vyatkin V.V. Novel development tool for IEC 61499 based on domain-specific languages. IFAC-PapersOnLine. 2022. Vol. 55. No. 2. pp. 439-444.

Статья
2022 год

Liakh T., Sorokin R., Akifev D., Patil S., Vyatkin V. Formal model of IEC 61499 execution trace in FBME IDE. Proceeding - 20th IEEE International Conference on Industrial Informatics, INDIN 2022. 2022. pp. 588-593.

Статья
2022 год

Sierla S., Pourakbari-Kasmaei M., Vyatkin V.V. A taxonomy of machine learning applications for virtual power plants and home/building energy management systems. Automation in Construction. 2022. Vol. 136. pp. 104174.

Статья
2021 год

Shatrov V., Vyatkin V.V. Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV. Proceeding - 19th IEEE International Conference on Industrial Informatics, INDIN 2021. 2021. pp. 1-6.

Статья
2021 год

Subramanya R., Sierla S., Yli-Ojanpera M., Makkonen H., Pourakbari-Kasmaei M., Vyatkin V. Interfacing Third Party Cloud Services to a Virtual Power Plant. 11th IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2021. 2021. pp. 1-6.

Статья
2021 год

George A., Ovsiannikova P., Vyatkin V. Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing. IEEE International Symposium on Industrial Electronics. 2021. pp. 1-6.

Статья
2021 год

Ovsiannikova P., Pakonen A., Vyatkin V.V. Change-based causes in counterexample explanation for model checking. 47th Annual Conference of the IEEE Industrial Electronics Society, IECON 2021. 2021. pp. 1-6.

Статья
2021 год

Karhula N., Sierla S., Vyatkin V. Validating the Real-Time Performance of Distributed Energy Resources Participating on Primary Frequency Reserves. Energies. 2021. Vol. 14. No. 21. pp. 6914.

Статья
2021 год

Barbahan I., Baikalov V., Vyatkin V.V., Filchenkov A. Multi-Agent Deep Reinforcement Learning-Based Algorithm for Fast Generalization on Routing Problems. Procedia Computer Science. 2021. Vol. 193. pp. 228-238.

Статья
2021 год

Aaltonen H., Sierla S., Subramanya R., Vyatkin V.V. A simulation environment for training a reinforcement learning agent trading a battery storage. Energies. 2021. Vol. 14. No. 17. pp. 5587.

Статья
2021 год

Ovsiannikova P., Buzhinsky I., Pakonen A., Vyatkin V. Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access. 2021. Vol. 9. pp. 61383-61397.

Статья
2021 год

Subramanya R., Yli-Ojanpera M., Sierla S., Holtta T., Valtakari J., Vyatkin V. A Virtual Power Plant Solution for Aggregating Photovoltaic Systems and Other Distributed Energy Resources for Northern European Primary Frequency Reserves. Energies. 2021. Vol. 14. No. 5. pp. 1242.

Статья
2021 год

Ovsiannikova P., Vyatkin V. Towards user-friendly model checking of IEC 61499 systems with counterexample explanation. 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021. 2021. pp. 1-4.

Статья
2021 год

Mironovich V., Buzdalov M., Vyatkin V. Evaluation of Permutation-based Mutation Operators on the Problem of Automatic Connection Matching in Closed-loop Control System. Studies in Fuzziness and Soft Computing. 2021. Vol. 403. pp. 41-51.

Статья
2020 год

Cheng H., Yu H., Zeng P., Osipov E., Li S., Vyatkin V.V. Automatic recognition of sucker-rod pumping system working conditions using dynamometer cards with transfer learning and svm. Sensors. 2020. Vol. 20. No. 19. pp. 1-15.

Статья
2020 год

Chukharev K., Suvorov D., Chivilikhin D., Vyatkin V. SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access. 2020. Vol. 8. pp. 207485-207498.

Статья
2020 год

De Silva D., Sierla S., Alahakoon D., Osipov E., Yu X., Vyatkin V. Toward Intelligent Industrial Informatics: A Review of Current Developments and Future Directions of Artificial Intelligence in Industrial Applications. IEEE Industrial Electronics Magazine. 2020. Vol. 14. No. 2. pp. 57-72.

Статья
2020 год

Ovsiannikova P., Buzhinsky I., Pakonen A., Vyatkin V. Visual counterexample explanation for model checking with OERITTE. 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020. 2020. pp. 9376184.

Статья
2020 год

Yang C., Dubinin V.N., Vyatkin V.V. Automatic generation of control flow from requirements for distributed smart grid automation control. IEEE Transactions on Industrial Informatics. 2020. Vol. 16. No. 1. pp. 403-413.

Статья
2020 год

Shatrov V., Vyatkin V. Formal Verification of IEC 61499 Enhanced with Timed Events. IFIP Advances in Information and Communication Technology. 2020. Vol. 577. pp. 168-178.

Статья
2020 год

Drozdov D., Atmojo U., Pang C., Patil S., Ali M., Tenhunen A., Oksanen T., Cheremetiev K., Vyatkin V.V. Utilizing software design patterns in product-driven manufacturing system: A case study. Studies in Computational Intelligence. 2020. Vol. 853. pp. 301-312.

Статья
2020 год

Chivilikhin D., Patil S., Chukharev K.I., Cordonnier A., Vyatkin V. Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Transactions on Industrial Informatics. 2020. Vol. 16. No. 12. pp. 7821-7831.

Статья
2019 год

Giovanelli C., Kilkki O., Sierla S., Seilonen I., Vyatkin V. Task Allocation Algorithm for Energy Resources Providing Frequency Containment Reserves. IEEE Transactions on Industrial Informatics. 2019. Vol. 15. No. 2. pp. 677-688.

Статья
2019 год

Chivilikhin D., Ulyantsev V., Shalyto A., Vyatkin V. Function block finite-state model identification using SAT and CSP solvers. IEEE Transactions on Industrial Informatics. 2019. Vol. 15. No. 8. pp. 4558-4568.

Статья
2019 год

Guellouz S., Benzina A., Khalgui M., Frey G., Li Z., Vyatkin V.V. Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE Transactions on Automation Science and Engineering. 2019. Vol. 16. No. 3. pp. 1110-1124.

Статья
2019 год

Mironovich V., Buzdalov M., Vyatkin V.V. Permutation Encoding for Automatic Reconstruction of Connections in Closed-Loop Control System using Evolutionary Algorithm. 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019. 2019. pp. 1265-1268.

Статья
2019 год

Sinha R., Patil S., Gomes L., Vyatkin V. A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems. IEEE Transactions on Industrial Informatics. 2019. Vol. 15. No. 7. pp. 3772-3783.

Статья
2019 год

Drozdov D., Patil S., Dubinin V.N., Vyatkin V.V. Towards formal ASM semantics of timed control systems for industrial CPS. IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 2019. pp. 1682-1685.

Статья
2019 год

Cheng H., Han X., Zeng P., Yu H., Osipov E., Vyatkin V.V. ANN based interwell connectivity analysis in cyber-physical petroleum systems. Proceesings of the 17th IEEE International Conference on Industrial Informatics (INDIN). 2019. pp. 199-205.

Статья
2019 год

Kleyko D., Osipov E., De Silva D., Wiklund U., Vyatkin V.V., Alahakoon D. Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. Vol. 11964 LNCS. pp. 64-79.

Статья
2019 год

Chivilikhin D.S., Patil S., Cordonnier A., Vyatkin V.V. Towards automatic state machine reconstruction from legacy PLC using data collection. Proceesings of the 17th IEEE International Conference on Industrial Informatics (INDIN). 2019. pp. 147-151.

Статья
2019 год

Mukhutdinov D., Filchenkov A., Shalyto A., Vyatkin V. Multi-agent deep learning for simultaneous optimization for time and energy in distributed routing system. Future Generation Computer Systems. 2019. Vol. 94. pp. 587-600.

Статья
2018 год

Pakonen A., Buzhinsky I., Vyatkin V. Counterexample visualization and explanation for function block diagrams. Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018. 2018. pp. 747-753.

Статья
2018 год

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 год

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 год

Zhabelova G., Vesterlund M., Eschmann S., Berezovskaya Y., Vyatkin V.V., Flieller D. A Comprehensive Model of Data Center: From CPU to Cooling Tower. IEEE Access. 2018. Vol. 6. pp. 61254-61266.

Статья
2018 год

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 год

Davidescu G., Filchenkov A., Muratov A., Vyatkin V. A flow-based heuristic algorithm for network operations planning in smart grids. 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018. 2018. pp. 3529-3534.

Статья
2018 год

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 год

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 (EFTA). 2018. pp. 1043-1046.

Статья
2018 год

Ovsiannikova P., Chivilikhin D., Ulyantsev V., Stankevich A., Zakirzyanov I., Vyatkin V., Shalyto A. Active learning of formal plant models for cyber-physical systems. Proceedings of 16th IEEE Interantional Conference on Industrial Informatics, INDIN 2018. 2018. pp. 719-724.

Статья
2018 год

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 (EFTA). 2018. pp. 91-98.

Статья
2018 год

Sinha R., Dowdeswell B., Zhabelova G., Vyatkin V.V. TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems. ACM Transactions on Cyber-Physical Systems. 2018. Vol. 3. No. 2. pp. 15.

Статья
2018 год

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 год

Kleyko D., Osipov E., Papakonstantinou N., Vyatkin V.V. Hyperdimensional computing in industrial systems: The use-case of distributed fault isolation in a power plant. IEEE Access. 2018. Vol. 6. pp. 30766-30777.

Статья
2017 год

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 год

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 год

Drozdov D., Patil S., Vyatkin V.V. Formal modelling of distributed automation CPS with CP-agnostic software. Studies in Computational Intelligence. 2017. Vol. 649. pp. 35-46.

Статья
2017 год

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 год

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 год

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 год

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 год

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 год

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 год

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.

Статья
2016 год

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 год

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 год

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 год

Drozdov D., Patil S., Dubinin V.N., Vyatkin V.V. Formal verification of cyber-physical automation systems modelled with timed block diagrams. IEEE International Symposium on Industrial Electronics. 2016. pp. 316-321.

Статья
2016 год

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 год

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.

Статья
2015 год

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 год

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 год

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 год

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 год

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.

Статья
2014 год

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 год

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 год

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 6(94). С. 98-105.

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

Повышение квалификации
2017 год
Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченным возможностями здоровья

Российская Федерация