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


PhD, технические науки

Структурное подразделение:
факультет информационных технологий и программирования
Должность:
главный научный сотрудник
Профиль:
05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
05.13.17 - Теоретические основы информатики

Область интересов:
Киберфизические системы, формальные методы, верификация.
Рабочий язык:
Английский, Русский

Публикации руководителя
Выходные данные Год Индексирование в БД
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 2020 Scopus, Web of Science
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 2019 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus
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, pp. 30766-30777 2018 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 6(94). - С. 98-105 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 Scopus, Web of Science