en

Сотрудник подразделения

Даниил Сергеевич Чивилихин

кандидат технических наук

Публикации

  1. 32Chivilikhin D., Patil S., Chukharev K.I., Cordonnier A., Vyatkin V. Automatic state machine reconstruction from legacy PLC using data collection and SAT solver // IEEE Transactions on Industrial Informatics - 2020, pp. 1 [IF: 6.764, SJR: 1.678]
    подробнее >>
  2. 31Chivilikhin 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: 1.678]
    подробнее >>
  3. 30Chivilikhin 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
    подробнее >>
  4. 29Chivilikhin 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
    подробнее >>
  5. 28Ovsiannikova 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
    подробнее >>
  6. 27Chivilikhin D. Experimental Study of Automated Parameter Tuning on the Example of irace and the Traveling Salesman Problem // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 45-46 [SJR: 0.175]
    подробнее >>
  7. 26Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Modified ant colony algorithm for constructing finite state machines from execution scenarios and temporal formulas // Automation and Remote Control - 2016, Vol. 77, No. 3, pp. 473-484 [IF: 0.492, SJR: 0.346]
    подробнее >>
  8. 25Shalamov V., Filchenkov A., Chivilikhin D. Small-Moves Based Mutation For Pick-Up And Delivery Problem // GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference - 2016, pp. 1027-1030 [SJR: 0.175]
    подробнее >>
  9. 24Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика - 2016. - № 3. - С. 137-151 [IF: 0.783]
    подробнее >>
  10. 23Chivilikhin D., Ivanov I., Shalyto A. Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming // GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference - 2015, pp. 1185-1188
    подробнее >>
  11. 22Chivilikhin 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
    подробнее >>
  12. 21Chivilikhin 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
    подробнее >>
  13. 20Buzhinsky I., Chivilikhin D., Ulyantsev V., Tsarev F. Improving the Quality of Supervised Finite-State Machine Construction Using Real-Valued Variables // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 1037-1040 [SJR: 0.158]
    подробнее >>
  14. 19Buzhinsky I.P., Ulyantsev V.I., Chivilikhin D.S., Shalyto A.A. Inducing finite state machines from training samples using ant colony optimization // Journal of Computer and Systems Sciences International - 2014, Vol. 53, No. 2, pp. 256-266 [IF: 0.484, SJR: 0.3]
    подробнее >>
  15. 18Chivilikhin D., Ulyantsev V. Inferring Automata-Based Programs from Specification With Mutation-Based Ant Colony Optimization // GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference - 2014, pp. 67-68 [SJR: 0.158]
    подробнее >>
  16. 17Chivilikhin D., Ulyantsev V., Shalyto A. Combining Exact and Metaheuristic Techniques for Learning Extended Finite-State Machines from Test Scenarios and Temporal Properties // Proceedings - 2014 13th International Conference on Machine Learning and Applications, ICMLA 2014 - 2014, pp. 350-355
    подробнее >>
  17. 16Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Extended Finite-State Machine Inference With Parallel Ant Colony Based Algorithms // Proceedings of the Student Workshop on Bioinspired Optimization Methods and their Applications, BIOMA 2014 - 2014, pp. 117-126 [SJR: 0.11]
    подробнее >>
  18. 15Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121 [IF: 0.535]
    подробнее >>
  19. 14Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики - 2014. - № 6(94). - С. 98-105 [IF: 0.28]
  20. 13Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) - 2014. - С. 4351-4542
  21. 12Chivilikhin D., Ulyantsev V. Learning finite-state machines with classical and mutation-based ant colony optimization: Experimental evaluation // Proceedings of the 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013 - 2013, pp. 528-533
    подробнее >>
  22. 11Chivilikhin D.S., Ulyantsev V.I. Learning Finite-State Machines: Conserving Fitness Function Evaluations by Marking Used Transitions // Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013 - 2013, Vol. 2, pp. 90-95
    подробнее >>
  23. 10Chivilikhin D.S., Ulyantsev V.I. MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 511-518 MuACOsm - A New Mutation-Based Ant Colony Optimization Algorithm for Learning Finite-State Machines
    подробнее >>
  24. 9Chivilikhin D.S., Ulyantsev V.I., Shalyto A.A. Solving five instances of the artificial ant problem with ant colony optimization // IFAC Proceedings Volumes (IFAC-PapersOnline) - 2013, Vol. 9, No. 1, pp. 1043-1048
    подробнее >>
  25. 8Chivilikhin D.S., Ulyantsev V.I. Learning Finite-State Machines with Ant Colony Optimization // Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2012, Vol. 7461, No. LNCS, pp. 268-275 [SJR: 0.283]
    подробнее >>
  26. 7Chivilikhin D.S., Ulyantsev V.I., Tsarev F.N. Test-Based Extended Finite-State Machines Induction with Evolutionary Algorithms and Ant Colony Optimization // GECCO 2012 Proceedings of the 14th annual conference companion on Genetic and evolutionary computation - 2012, pp. 603-606
    подробнее >>
  27. 6Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов // Научно-технический вестник информационных технологий, механики и оптики - 2012. - № 6(82). - С. 72-76 [IF: 0.28]
  28. 5Голубок А.О., Пинаев А.Л., Чивилихин Д.С., Чивилихин С.А. Динамическая силовая литография на тонких металлических пленках в сканирующем зондовом микроскопе с пьезорезонансным датчиком локального взаимодействия // Научное приборостроение - 2011. - Т. 21. - № 1. - С. 31-43 [IF: 0.157]
  29. 4Альмяшев В.И., Альфимов А.В., Арысланова Е.М., Вавулин Д.Н., Кириллова С.А., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А., Гусаров В.В. Теоретическое и экспериментальное исследование физико-химических процессов формирования, трансформации и транспорта наноструктур // Труды НИЦ фотоники и оптоинформатики: Сборник статей - 2010. - С. 140-167
  30. 3Гусаров В.В., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А. Диффузионно-контролируемый рост системы наносвитков // Известия высших учебных заведений. Физика - 2010. - Т. 53. - № 03. - С. 201-204
  31. 2Chivilikhin S.A., Popov I.Y., Svitenkov A.I., Chivilikhin D.S., Gusarov V.V. Formation and evolution of nanoscroll ensembles based on layered-structure compounds // Doklady Physics - 2009, Vol. 54, No. 11, pp. 491-493 [IF: 0.521, SJR: 0.39]
    подробнее >>
  32. 1Гусаров В.В., Свитенков А.И., Чивилихин С.А., Попов И.Ю., Чивилихин Д.С. Формирование и эволюция ансамбля наносвитков на основе соединений со слоистой структурой // Доклады академии наук - 2009. - Т. 429. - № 2. - С. 185-186