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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Ovsiannikova P., Buzhinsky I., Pakonen A., Vyatkin V. Oeritte: User-Friendly Counterexample Explanation for Model Checking. IEEE Access. 2021. Vol. 9. pp. 61383-61397.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Prahofer H., Vyatkin V.V., Zoitl A. Information Technology in Automation. IEEE Transactions on Industrial Informatics. 2018. Vol. 14. No. 6. pp. 2745-2747.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 6(94). С. 98-105.
Российская Федерация