Person Profile
Publications
- 23George A., Ovsiannikova P., Vyatkin V. Towards unambiguous FBD: IEC 61499 modelling, automatic generation and equivalence testing // In proceedings of the 30th International Symposium on Industrial Electronics - 2021, pp. 1-6
- 22Chivilikhin 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 [IF: 6.764, SJR: 2.345]
more >> - 21Shatrov 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 [SJR: 0.209]
more >> - 20Chivilikhin 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 [IF: 6.764, SJR: 2.345]
more >> - 19Chivilikhin 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
more >> - 18Mironovich 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 [SJR: 0.158]
more >> - 17Mukhutdinov 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 [IF: 3.997, SJR: 1.216]
more >> - 16Buzhinsky 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
more >> - 15Chivilikhin 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
more >> - 14Mironovich 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
more >> - 13Ovsiannikova 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
more >> - 12Pakonen 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
more >> - 11Mironovich 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
more >> - 10Buzhinsky 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
more >> - 9Dubinin 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
more >> - 8Pang 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
more >> - 7Buzhinsky 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
more >> - 6Buzhinsky 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
more >> - 5Chivilikhin 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
more >> - 4Chivilikhin 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
more >> - 3Lin 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
more >> - 2Pang 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
more >> - 1Zhabelova 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
more >>