Person Profile

Publications

  1. 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 >>
  2. 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 >>
  3. 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 >>
  4. 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 >>
  5. 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 >>
  6. 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 >>
  7. 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 >>
  8. 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 >>
  9. 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 >>
  10. 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 >>
  11. 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 >>
  12. 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 >>
  13. 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 >>
  14. 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 >>
  15. 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 >>
  16. 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 >>