Научные руководители
Вяткин Валерий ВладимировичPhD, технические науки vvvyatkin@itmo.ru Структурное подразделение: факультет информационных технологий и программирования Должность: профессор (исследователь) Профиль: 05.13.17 - Теоретические основы информатики 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей 2.3.5. - Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей 2.3.8. - Информатика и информационные процессы 1.2.3. - Теоретическая информатика, кибернетика Область интересов: Киберфизические системы, формальные методы, верификация. Рабочий язык: Английский, Русский |
Публикации руководителя
Выходные данные | Год | Индексирование в БД |
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 | Scopus, Web of Science |
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 | 2023 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | 2022 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | 2021 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | Scopus |
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 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | Scopus, Web of Science |
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 | 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 |
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 | Scopus, Web of Science |
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 | 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 |
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 |
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 | 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | 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 |
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 |
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 |
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 |
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 | 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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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., 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 |
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 |
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 |
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 |
Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики [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 |
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 |