Отдел международной аспирантуры и докторантуры

Управление подготовки кадров высшей квалификации

Научные руководители

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


кандидат технических наук
chivdan@itmo.ru
Структурное подразделение:
факультет информационных технологий и программирования
Должность:
доцент (квалификационная категория "ординарный доцент")
Структурное подразделение:
факультет информационных технологий и программирования
Должность:
научный сотрудник
Профиль:
05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
05.13.17 - Теоретические основы информатики

Область интересов:
SAT-решатели, формальная верификация, синтез программ и формальных моделей, конечные автоматы, эволюционные алгоритмы.
Рабочий язык:
Английский, Русский

Публикации руководителя
Выходные данные Год Индексирование в БД
Chivilikhin D., Zakirzyanov I., Ulyantsev V. BeBoSy: Behavior Examples Meet Bounded Synthesis//IEEE Access, 2021, Vol. 9, pp. 27540-27551 2021 Scopus, Web of Science
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 2020 Scopus, Web of Science
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 2020 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика -2016. - № 3. - С. 137-151 2016 ВАК, РИНЦ
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2014. - № 6(94). - С. 98-105 2014 ВАК, РИНЦ
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 Scopus
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 Scopus, Web of Science
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 Scopus
Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) -2014. - С. 4351-4542 2014 РИНЦ
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 Scopus, Web of Science
Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления -2014. - № 2. - С. 111-121 2014 ВАК, РИНЦ
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 Scopus
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus
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 Scopus, Web of Science
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 Scopus, Web of Science
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 Scopus, Web of Science
Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] -2012. - № 6(82). - С. 72-76 2012 ВАК, РИНЦ
Голубок А.О., Пинаев А.Л., Чивилихин Д.С., Чивилихин С.А. Динамическая силовая литография на тонких металлических пленках в сканирующем зондовом микроскопе с пьезорезонансным датчиком локального взаимодействия // Научное приборостроение -2011. - Т. 21. - № 1. - С. 31-43 2011 ВАК, РИНЦ
Альмяшев В.И., Альфимов А.В., Арысланова Е.М., Вавулин Д.Н., Кириллова С.А., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А., Гусаров В.В. Теоретическое и экспериментальное исследование физико-химических процессов формирования, трансформации и транспорта наноструктур // Труды НИЦ фотоники и оптоинформатики: Сборник статей -2010. - С. 140-167 2010