Сотрудник подразделения

Публикации

  1. 15Buzhinsky 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. 14Pang 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. 13Buzhinskii 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 [IF: 0.503, SJR: 0.27]
    подробнее >>
  4. 12Buzhinsky 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
    подробнее >>
  5. 11Buzhinsky 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
    подробнее >>
  6. 10Zadorozhnaya 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 [IF: 4.758, SJR: 1.305]
    подробнее >>
  7. 9Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А. Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления - 2015. - № 6. - С. 17-30 [IF: 0.535]
    подробнее >>
  8. 8Buzhinsky 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. 7Buzhinsky 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.503, SJR: 0.27]
    подробнее >>
  10. 6Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А. Генерация управляющих автоматов по обучающим примерам на основе муравьиного алгоритма // Известия Российской академии наук. Теория и системы управления - 2014. - № 2. - С. 111-121 [IF: 0.535]
    подробнее >>
  11. 5Buzhinsky 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 [SJR: 0.228]
    подробнее >>
  12. 4Buzhinsky 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
    подробнее >>
  13. 3Бужинский И.П. Построение автоматов с непрерывными выходными воздействиями по обучающим примерам // Научные работы участников конкурса "Молодые ученые НИУ ИТМО" 2012 года - 2013. - С. 26-31
  14. 2Бужинский И.П., Ульянцев В.И. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Международная конференция по мягким вычислениям и измерениям - 2012. - Т. 1. - С. 250-253
  15. 1Ульянцев В.И., Шалыто А.А., Бужинский И.П. Применение муравьиных алгоритмов для построения автоматов управления системами со сложным поведением на основе обучающих примеров // Сборник трудов Mеждународного конгресса по интеллектуальным системам и информационным технологиям IS&IT'2012 - 2012. - Т. 1. - С. 15-20