Сотрудник подразделения
Даниил Сергеевич Чивилихин
кандидат технических наук
Публикации
- 32Chivilikhin 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 [IF: 6.764, SJR: 2.496]
подробнее >> - 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: 2.496]
подробнее >> - 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
подробнее >> - 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
подробнее >> - 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
подробнее >> - 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]
подробнее >> - 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.331]
подробнее >> - 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]
подробнее >> - 24Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика - 2016. - № 3. - С. 137-151 [IF: 0.783]
подробнее >> - 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
подробнее >> - 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
подробнее >> - 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
подробнее >> - 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]
подробнее >> - 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.333]
подробнее >> - 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]
подробнее >> - 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
подробнее >> - 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]
подробнее >> - 15Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121 [IF: 0.535]
подробнее >> - 14Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2014. - № 6(94). - С. 98-105
- 13Чивилихин Д.С., Ульянцев В.И., Шалыто А.А. Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 (Москва, 16-19июля 2014г.) - 2014. - С. 4351-4542
- 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
подробнее >> - 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
подробнее >> - 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
подробнее >> - 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
подробнее >> - 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.249]
подробнее >> - 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
подробнее >> - 6Чивилихин Д.С., Ульянцев В.И. Метод построения конечных автоматов на основе муравьиных алгоритмов // Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics] - 2012. - № 6(82). - С. 72-76
- 5Голубок А.О., Пинаев А.Л., Чивилихин Д.С., Чивилихин С.А. Динамическая силовая литография на тонких металлических пленках в сканирующем зондовом микроскопе с пьезорезонансным датчиком локального взаимодействия // Научное приборостроение - 2011. - Т. 21. - № 1. - С. 31-43 [IF: 0.157]
- 4Альмяшев В.И., Альфимов А.В., Арысланова Е.М., Вавулин Д.Н., Кириллова С.А., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А., Гусаров В.В. Теоретическое и экспериментальное исследование физико-химических процессов формирования, трансформации и транспорта наноструктур // Труды НИЦ фотоники и оптоинформатики: Сборник статей - 2010. - С. 140-167
- 3Гусаров В.В., Попов И.Ю., Чивилихин Д.С., Чивилихин С.А. Диффузионно-контролируемый рост системы наносвитков // Известия высших учебных заведений. Физика - 2010. - Т. 53. - № 03. - С. 201-204
- 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.367]
подробнее >> - 1Гусаров В.В., Свитенков А.И., Чивилихин С.А., Попов И.Ю., Чивилихин Д.С. Формирование и эволюция ансамбля наносвитков на основе соединений со слоистой структурой // Доклады академии наук - 2009. - Т. 429. - № 2. - С. 185-186