Научные руководители
Вяткин Валерий Владимирович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 |