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

Чивилихин Даниил Сергеевич
кандидат технических наук
доцент (квалификационная категория "ординарный доцент"), факультет информационных технологий и программирования

Педагогический стаж

Общий стаж:
7 лет

Публикации

45
Статья
2020 год

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 год

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.

Учебник, учебное пособие
2019 год

Методические рекомендации по организации и проведению производственной практики обучающихся

Учебник, учебное пособие
2019 год

Методические рекомендации по организации и проведению учебной практики обучающихся

Статья
2019 год

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 год

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.

Статья
2018 год

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 год

Построение минимальных конечно-автоматных моделей функциональных блоков по обучающим примерам

Статья
2018 год

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.

Статья
2017 год

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 год

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 год

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 год

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.

Статья
2016 год

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 год

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам. Автоматика и телемеханика. 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 год

Чивилихин Д.С. Восстановление автоматной логики базисных функциональных блоков стандарта IEC 61499 по сценариям работы на основе сведения к задаче удовлетворения ограничений. не указано. 2016. Т. не указано. № не указано. С. не указаны.

Статья
2016 год

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 год

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.

Статья
2015 год

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 год

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 год

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.

Статья
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 год

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 год

Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма. Известия Российской академии наук. Теория и системы управления. 2014. № 2. С. 111-121.

Статья
2014 год

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 год

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2014. № 6(94). С. 98-105.

Статья
2014 год

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации. XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.). 2014. С. 4351-4542.

Статья
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 год

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 год

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

Статья
2013 год

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 год

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 год

Метод построения конечных автоматов на основе муравьиного алгоритма

Статья
2013 год

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 год

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.

Статья
2012 год

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 год

Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2012. № 6(82). С. 72-76.

Статья
2012 год

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 год

GECCO Companion '12 Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference companion

Статья
2011 год

Голубок А.О., Пинаев А.Л., Чивилихин Д.С., Чивилихин С.А. Динамическая силовая литография на тонких металлических пленках в сканирующем зондовом микроскопе с пьезорезонансным датчиком локального взаимодействия. Научное приборостроение. 2011. Т. 21. № 1. С. 31-43.

Статья
2010 год

Альмяшев В.И., Альфимов А.В., Арысланова Е.М., Вавулин Д.Н., Кириллова С.А., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А., Гусаров В.В. Теоретическое и экспериментальное исследование физико-химических процессов формирования, трансформации и транспорта наноструктур. Труды НИЦ фотоники и оптоинформатики: Сборник статей. 2010. С. 140-167.

Статья
2010 год

Гусаров В.В., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А. Диффузионно-контролируемый рост системы наносвитков. Известия высших учебных заведений. Физика. 2010. Т. 53. № 03. С. 201-204.

Статья
2009 год

Гусаров В.В., Свитенков А.И., Чивилихин С.А., Попов И.Ю., Чивилихин Д.С. Формирование и эволюция ансамбля наносвитков на основе соединений со слоистой структурой. Доклады академии наук. 2009. Т. 429. № 2. С. 185-186.

Статья
2009 год

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.

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

Повышение квалификации
2019 год
IEEE International Conference on Industrial Informatics

Финляндия

Курсы повышения квалификации на базе НИУ ИТМО
2018 год
Сопровождение учебного процесса в информационной системе Университета ИТМО

Российская Федерация, Санкт-Петербург

Повышение квалификации
2017 год
Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченными возможностями здоровья

Российская Федерация, Санкт-Петербург

Конференция
2015 год
LATA 2015

Франция, Ницца

2014 год
Повышение квалификации

Финляндия, Ювяскюля

Повышение квалификации
2013 год
Совершенствование системы мобильности работников вуза в ведущие учебные и научные центры (2 этап)