Научная
деятельность
Университет ИТМО

Меню

Публикации

1. Buzhinsky I., Vyatkin V. Plant Model Inference for Closed-Loop Verification of Control Systems: Initial Explorations // Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016) - 2016, pp. 736-739


2. Pang C., Pakonen A., Buzhinsky I., Vyatkin V. A Study on User-Friendly Formal Specification Languages for Requirements Formalization // Proceedings of IEEE International Conference on Industrial Informatics (INDIN 2016) - 2016, pp. 676-682


3. 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 - 2018, pp. 91-98


4. Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления - 2015. - № 6. - С. 17-30


5. Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F.J., Ribo J., Bori J., Riva M.C., Legin A. Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria // Sensors and Actuators, B: Chemical - 2015, Vol. 207, No. Part B, pp. 1069-1075


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


7. Buzhinsky I.P., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Search-based construction of finite-state machines with real-valued actions: New representation model // GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference - 2013, pp. 199-200


8. 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


9. Buzhinsky I.P., Ulyantsev V.I., Shalyto A.A. Test-based induction of finite-state machines with continuous output actions // IFAC Proceedings Volumes (IFAC-PapersOnline) - 2013, Vol. 9, No. 1, pp. 1049-1054


10. Buzhinskii I.P., Kazakov S.V., Ulyantsev V.I., Tsarev F.N., Shalyto A.A. Modification of the method of generation of control finite-state machines with continuous actions based on training examples // Journal of Computer and Systems Sciences International - 2015, Vol. 54, No. 6, pp. 853-865


11. 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


12. Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F.J., Ribo J., Bori J., Riva M.C., Legin A. Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria // Sensors and Actuators, B: Chemical - 2015, Vol. 207, No. Part B, pp. 1069-1075


13. Buzhinsky I.P., Ulyantsev V.I., Veijalainen J., Viatkin V.V. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications // Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015 - 2015, pp. 1213-1218


14. Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Международная конференция по мягким вычислениям и измерениям - 2012. - Т. 1. - С. 250-253


15. Buzhinsky I., Pang C., Vyatkin V. Formal Modeling of Testing Software for Cyber-Physical Automation Systems // 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings - 2015, Vol. 3, pp. 301-306


16. Buzhinsky I., Pakonen A., Vyatkin V. Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes // IEEE International Symposium on Industrial Electronics - 2018, pp. 669-674


17. Pakonen A., Buzhinsky I., Vyatkin V. Counterexample visualization and explanation for function block diagrams // Proceedings of 16th IEEE Interantional Conference on Industrial Informatics - 2018, pp. 747-753


18. Zadorozhnaya O., Kirsanov D., Buzhinsky I., Tsarev F., Abramova N., Bratov A., Munoz F.J., Ribo J., Bori J., Riva M.C., Legin A. Water pollution monitoring by an artificial sensory system performing in terms of Vibrio fischeri bacteria // Sensors and Actuators, B: Chemical - 2015, Vol. 207, No. Part B, pp. 1069-1075


19. Ульянцев В.И., Шалыто А.А., Бужинский И.П. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012 - 2012. - Т. 1. - С. 15-20


20. Бужинский И.П. Построение автоматов с непрерывными выходными воздействиями по обучающим примерам // Научные работы участников конкурса "Молодые ученые НИУ ИТМО" 2012 года - 2013. - С. 26-31