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

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

Должность: доцент (квалификационная категория "ординарный доцент")

Подразделение: факультет информационных технологий и программирования

Уч. степень: кандидат технических наук

Повышение квалификации:

1. Повышение квалификации
2. Повышение квалификации
3. Повышение квалификации IEEE International Conference on Industrial Informatics 2019 Финляндия
4. Курсы повышения квалификации на базе НИУ ИТМО Сопровождение учебного процесса в информационной системе Университета ИТМО 2018 Российская Федерация Санкт-Петербург
5. Повышение квалификации Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченными возможностями здоровья 2017 Российская Федерация Санкт-Петербург
6. Конференция LATA 2015 2015 LATA 2015 Франция Ницца
7. Повышение квалификации 2014 Финляндия Ювяскюля
8. Повышение квалификации Совершенствование системы мобильности работников вуза в ведущие учебные и научные центры (2 этап) 2013 Совершенствование системы мобильности работников вуза в ведущие учебные и научные центры (2 этап)

Список трудов:

  1. Chivilikhin 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. [Тип: Статья, Год: 2020]
  2. 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]
  3. Методические рекомендации по организации и проведению учебной практики обучающихся [Тип: Учебник, учебное пособие, Год: 2019]
  4. Методические рекомендации по организации и проведению производственной практики обучающихся [Тип: Учебник, учебное пособие, Год: 2019]
  5. 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]
  6. 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]
  7. Построение минимальных конечно-автоматных моделей функциональных блоков по обучающим примерам [Тип: Тезисы, Год: 2018]
  8. 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]
  9. Avdyukhin D., Chivilikhin D., Korneev G., Ulyantsev V., Shalyto A. Plant Trace Generation for Formal Plant Model Inference: Methods and Case Study. Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN). 2017. pp. 746-752. [Тип: Статья, Год: 2017]
  10. Ovsiannikova P., Chivilikhin D., Ulyantsev V., Shalyto A. Closed-loop verification of a compensating group drive model using synthesized formal plant model. 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017). 2017. pp. 1-4. [Тип: Статья, Год: 2017]
  11. 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]
  12. 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]
  13. Chivilikhin 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. [Тип: Статья, Год: 2016]
  14. Shalamov 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. [Тип: Статья, Год: 2016]
  15. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам. Автоматика и телемеханика. 2016. № 3. С. 137-151. [Тип: Статья, Год: 2016]
  16. Чивилихин Д.С. Восстановление автоматной логики базисных функциональных блоков стандарта IEC 61499 по сценариям работы на основе сведения к задаче удовлетворения ограничений. не указано. 2016. Т. не указано. № не указано. С. не указаны. [Тип: Статья, Год: 2016]
  17. 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]
  18. Chivilikhin 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. [Тип: Статья, Год: 2016]
  19. 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]
  20. 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]
  21. Chivilikhin 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. [Тип: Статья, Год: 2015]
  22. Buzhinsky 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. [Тип: Статья, Год: 2014]
  23. Buzhinsky 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. [Тип: Статья, Год: 2014]
  24. Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации. XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.). 2014. С. 4351-4542. [Тип: Статья, Год: 2014]
  25. Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6(94). С. 98-105. [Тип: Статья, Год: 2014]
  26. Chivilikhin 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. [Тип: Статья, Год: 2014]
  27. Chivilikhin 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. [Тип: Статья, Год: 2014]
  28. Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма. Известия Российской академии наук. Теория и системы управления. 2014. № 2. С. 111-121. [Тип: Статья, Год: 2014]
  29. Муравьиный алгоритм для построения автоматных программ по спецификации [Тип: Тезисы, Год: 2014]
  30. Chivilikhin 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. [Тип: Статья, Год: 2014]
  31. Метод построения конечных автоматов на основе муравьиного алгоритма [Тип: Тезисы, Год: 2013]
  32. Chivilikhin 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. [Тип: Статья, Год: 2013]
  33. Chivilikhin 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. [Тип: Статья, Год: 2013]
  34. Chivilikhin 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. [Тип: Статья, Год: 2013]
  35. Chivilikhin 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. [Тип: Статья, Год: 2013]
  36. GECCO Companion '12 Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference companion [Тип: Тезисы, Год: 2012]
  37. Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов. Научно-технический вестник информационных технологий, механики и оптики. 2012. № 6(82). С. 72-76. [Тип: Статья, Год: 2012]
  38. Chivilikhin 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. [Тип: Статья, Год: 2012]
  39. Chivilikhin 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. [Тип: Статья, Год: 2012]
  40. Голубок А.О., Пинаев А.Л., Чивилихин Д.С., Чивилихин С.А. Динамическая силовая литография на тонких металлических пленках в сканирующем зондовом микроскопе с пьезорезонансным датчиком локального взаимодействия. Научное приборостроение. 2011. Т. 21. № 1. С. 31-43. [Тип: Статья, Год: 2011]
  41. Гусаров В.В., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А. Диффузионно-контролируемый рост системы наносвитков. Известия высших учебных заведений. Физика. 2010. Т. 53. № 03. С. 201-204. [Тип: Статья, Год: 2010]
  42. Альмяшев В.И., Альфимов А.В., Арысланова Е.М., Вавулин Д.Н., Кириллова С.А., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А., Гусаров В.В. Теоретическое и экспериментальное исследование физико-химических процессов формирования, трансформации и транспорта наноструктур. Труды НИЦ фотоники и оптоинформатики: Сборник статей. 2010. С. 140-167. [Тип: Статья, Год: 2010]
  43. Chivilikhin 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. [Тип: Статья, Год: 2009]
  44. Гусаров В.В., Свитенков А.И., Чивилихин С.А., Попов И.Ю., Чивилихин Д.С. Формирование и эволюция ансамбля наносвитков на основе соединений со слоистой структурой. Доклады академии наук. 2009. Т. 429. № 2. С. 185-186. [Тип: Статья, Год: 2009]