Перейти к содержимому страницы.

Шалыто Анатолий Абрамович EnEnglish

Известный специалист в области методов аппаратной и программной реализации алгоритмов логического управления технологическими процессами.

Лауреат премии Правительства Российской Федерации 2008 года в области образования за научно-практическую и методическую разработку «Инновационная система поиска и подготовки высококвалифицированных специалистов в области производства программного обеспечения на основе проектного и соревновательного подходов» для образовательных учреждений высшего профессионального образования.

Родился в 28 мая 1948 года в Ленинграде. Окончил с отличием Ленинградский электротехнический институт имени В. И. Ульянова (Ленина) по специальности Автоматика и телемеханика (1971).

С 1971 году работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления. Ученый секретарь предприятия. В 1985 году присвоено ученое звание Старший научный сотрудник по специальности Элементы и устройства вычислительной техники и систем управления.

В 1977 году без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977). В 1999 году защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000).

Преподавал в институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград) (1974—1991). В 1991 году присвоено ученое звание Доцент по кафедре Управляющие вычислительные системы.

С 1998 года преподает на кафедре Компьютерные технологии. С 2000 года профессор этой кафедры. В 2001 года присвоено ученое звание профессор по кафедре Компьютерные технологии. Заведующий кафедрой Информационные системы (2001—2004). Ученым советом университета 25 мая 2004 года избран заведующим кафедрой Технологии программирования.

Автор более 70 изобретений. Неоднократно выступал на всесоюзных и международных конференциях с докладами по различным вопросам аппаратной и программной реализации алгоритмов логического управления.

Автор большого числа научных трудов, опубликованных в том числе и в таких журналах Академии наук СССР и России, как «Автоматика и телемеханика», «Автоматика и вычислительная техника», «Известия Академии наук. Техническая кибернетика», «Известия Академии наук. Теория и системы управления», «Проблемы передачи информации», «Автометрия», «Программирование».

В последние годы опубликовал ряд статей в таких журналах, как «Мир ПК» и «Программист».

В 1981 году в соавторстве выпустил книгу «Настраиваемые модули для управляющих логических устройств» (Л.: Энергоиздат, 1981. — 163 с.).

В 1996 году выиграл конкурс издательских проектов Российского фонда фундаментальных исследований и опубликовал книгу «SWITCH-технология. Алгоритмизация и программирование задач логического управления» (СПб.: Наука. 1998. — 628 с.).

В 2000 году при финансовой поддержке Администрации Санкт-Петербурга опубликовал книгу «Логическое управление. Методы аппаратной и программной реализации алгоритмов» (СПб.: Наука. 2000. - 780 с.).

С 2000 года руководит на научно-исследовательской работой по теме «Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода», выполняемой в рамках программы фундаментальных исследований Министерства образования Российской Федерации.

В 2002 году получил грант Российского фонда фундаментальных исследований для проведения исследования по теме «Разработка технологии автоматного программирования» (грант N 02-07-90114).

Член редакционной коллегии журнала «Информационно-управляющие системы». Член диссертационных, научно-технических и экспертных советов.

Автор более 200 научных работ.

ПЕРЕЧЕНЬ ОСНОВНЫХ ПУБЛИКАЦИЙ

МОНОГРАФИИ

  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Настраиваемые модули для управляющих логических устройств. Л.: Энергоиздат, 1981. 165 с.
  2. Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 628 с. Опиание размещено на сайте http://is.ifmo.ru
  3. Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.: Наука, 2000. 780 с. Опиание размещено на сайте http://is.ifmo.ru
РЕЦЕНЗИИ НА КНИГИ А.А.ШАЛЫТО
  1. Герр Р. Новый поворот //PC Magazin/RE. 1998. N10. C.88—90. Реценизия размещена на сайте http://is.ifmo.ru
  2. Лашматкин А. Возрождение автоматов //Компьютер дома и на работе. 2001. N23. Реценизия размещена на сайте http://is.ifmo.ru
  3. Богатырев Р. Об автоматном и асинхронном программировании //Открытые системы. 2001. N3. С.68—69. Реценизия размещена на сайте http://is.ifmo.ru
  4. Рузайкин Г. И. Взгляд на алгоритмы //Мир компьютерной автоматизации 2001. N3. C.48. Реценизия размещена на сайте http://is.ifmo.ru
  5. Д. Гориловский. Рецензия на книгу Шалыто А. А. «Логическое управление. Методы аппаратной и программной реализации алгоритмов» //Компьютерра, 2002, N14, С.59. Реценизия размещена на сайте http://is.ifmo.ru
О А. А. ШАЛЫТО
  1. Приборостроители России. М.— СПб.: Гуманистика, 2001.
АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ
  1. Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. I //Автоматика и телемеханика. 1996. N6. C.148-158. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. I. //Automation and Remote Control. 1996. Vol.57. N6. P.890-897.
  2. Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. II //Автоматика и телемеханика. 1996. N7. C.144-169. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. II. //Automation and Remote Control. 1996. Vol.57. N7. P.1027- 1045. Information about magazine "Automation and Remote Control" on http://www.maik.ru/, http://www.wkap.nl/.
  3. Шалыто А. А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Промышленные АСУ и контроллеры. 1999. N9. С.33-37.
  4. Шалыто А. А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления //Известия РАН. Теория и системы управления. 2000. N6. С.63-81. Статья размещена на сайте http://is.ifmo.ru. Shalyto A. A. Software Automation Design: Algorithmization and Programming of Problems of Logical Control //Journal of Computer and Systems Sciences International. 2000. Vol.39. N6. P.899-916. Information about magazine «Journal of Computer and Systems Sciences International» on http://www.maik.ru/.
  5. Шалыто А. А. Реализация алгоритмов логического управления программами на языке функциональных блоков //Промышленные АСУ и контроллеры. 2000. N4. С.45-50. Статья размещена на сайте http://is.ifmo.ru.
  6. Шалыто А. А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем //Промышленные АСУ и контроллеры. 2000. N10. С.44-48.
  7. Шалыто А. А. Алгоритмизация и программирование для систем логического управления и «реактивных» систем //Автоматика и телемеханика. 2001. N1. С.3-39. Статья размещена на сайте Статья размещена на сайте http://is.ifmo.ru. Shalyto A. A. Logic Control and «Reactive» Systems: Algorithmization and Programming //Automation and Remote Control. 2001. Vol.62. N1. P.1-29. Text on http://www.maik.ru/, http://www.wkap.nl/, http://is.ifmo.ru/.
  8. Шалыто А. А., Туккель Н.И. SWITCH-технология - автоматный подход к созданию программного обеспечения «реактивных» систем //Программирование. 2001. N5. С.45-62. Статья размещена на сайте http://is.ifmo.ru. Shalyto A.A., Tukkel N.I. SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems //Programming and Computer Software. 2001. 27(5). Information about magazine «Programming and Computer Software» on http://www.maik.ru/, http://www.wkap.nl/.
  9. Шалыто А. А., Туккель Н. И. Реализация вычислительных алгоритмов на основе автоматного подхода / /Телекоммуникации и информатизация образования. 2001. N6. С.35-53.
  10. Шалыто А. А., Туккель Н. И. Программирование с явным выделением состояний //Мир ПК. 2001. N8. C.116-121, N9. C.132-138. Статья размещена на сайте http://is.ifmo.ru.
  11. Шалыто А. А., Туккель Н. И. SWITCH-технология - автоматный подход к созданию программного обеспечения «реактивных» систем //Известия высших учебных заведений. Приборостроение. 2001. N9. С.28-35.
  12. Шалыто А. А., Туккель Н. И. От тьюрингова программирования к автоматному //Мир ПК. 2002. N2. С.144-149. Статья размещена на сайте http://is.ifmo.ru.
  13. Шалыто А. А., Туккель Н. И. Реализация автоматов при программировании событийных систем // Программист. 2002. N4. С.74-80. Статья размещена на сайте http://is.ifmo.ru.
  14. Шалыто А. А., Туккель Н. И., Шамгунов Н.Н. Ханойские башни и автоматы //Программист. 2002. N8. С.82-90. Статья размещена на сайте http://is.ifmo.ru.
ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ АВТОМАТНОГО ПРОГРАММИРОВАНИЯ. ПРОЕКТЫ

(Документация размещена на сайте http://is.ifmo.ru/)

  1. Туккель Н. И., Шалыто А. А., Верба М.Т. Пример программной документации на подсистему управления печатью, разработанной на основе SWITCH-технологии. СПб., 2001. 50 с. Проект размещен на сайте http://is.ifmo.ru/
  2. Туккель Н. И., Шалыто А. А., Ваганов С.А. Использование SWITCH- технологии при разработке программ в среде «FLORA/C++». Модель технологического процесса в цехе холодной прокатки. Программная документация. СПб., 2001. 16 с. Проект размещен на сайте http://is.ifmo.ru/
  3. Туккель Н. И., Шалыто А. А. Система управления дизель-генератором (фрагмент). Программирование с явным выделением состояний. Программная документация. СПб., 2002. 51 с. Проект размещен на сайте http://is.ifmo.ru/
  4. Туккель Н. И., Шалыто А. А. Система управления танком для игры «Robocode». Объектно- ориентированное программирование с явным выделением состояний. Программная документация. СПб., 2002. 52 с. Проект размещен на сайте http://is.ifmo.ru/
ИССЛЕДОВАНИЕ ПЕРЕХОДНЫХ ПРОЦЕССОВ В ОДНОКОНТУРНЫХ ЛОГИЧЕСКИХ СХЕМАХ
  1. Киселев В. В., Шалыто А. А. Исследование переходных процессов в одноконтурных логических схемах //Известия РАН. Теория и системы управления. 1999. N5. С.22-27. Kiselev V.V., Shalyto A.A. Study of Transidents in One-Contour Logical Circuits //Journal of Computer and Systems Sciences International. 1999. Vol.38. N5.
РЕАЛИЗАЦИЯ БУЛЕВЫХ ФОРМУЛ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ
  1. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. I. Синтез и анализ //Известия РАН. Техническая кибернетика. 1994. N5. С.132-142. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. I. Synthesize and Analysis //Journal of Computer and Systems Sciences International. 1994. Vol.33. N5.
  2. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. II. Оценки числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N3. С.144-153. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. II. Estimations of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. N3.
  3. Кузнецов Б. П., Шалыто А. А. Реализация булевых формул линейными бинарными графами. III. Оптимизация числа и суммарной длины путей //Известия РАН. Теория и системы управления. 1995. N5. С.214-223. Kuznetsov B.P., Shalyto A.A. Realization of Boolean Formulas by Linear Binary Grafs. III. Optimization of Number and Total Length of Paths //Journal of Computer and Systems Sciences International. 1995. Vol.34. N5.
РЕАЛИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ БИНАРНЫМИ ГРАФАМИ
  1. Артюхов В. Л., Кузнецов Б.П., Шалыто А.А. Настраиваемые бинарные программы //Автоматика и телемеханика. 1984. N11. С.112-119. Artyukhov V.L., Kuznetsov B.P., Shalyto A.A. Tunable Binary Procedures and Programs with Loops //Automation and Remote Control. 1984. Vol.45. N11. P.1481-1488.
  2. Кузнецов Б. П., Шалыто А. А. Структурный подход к программной реализации булевых формул // Автоматика и вычислительная техника. 1985. N5. С.84-88. Kuznetsov B.P., Shalyto A.A. Structural Approach to Software Implementation of Boolean Functions //Automatic Control and Computer Sciences. 1985. Vol.26. N5. P.80-83. Information about magazine "Automatic Control and Computer Sciences" on http://www.edi.lv/.
  3. Кузнецов Б. П., Шалыто А. А. Система преобразований некоторых форм представления булевых функций //Автоматика и телемеханика. 1985. N11. С.120-127. Kuznetsov B.P., Shalyto A.A. System of Transformations of Certain Representations of Boolean Functions //Automation and Remote Control. 1985. Vol.46. N11. P.1450-1457.
  4. Рубинов В. И., Шалыто А. А. Метод построения граф-схем простых бинарных программ для систем булевых функций //Автоматика и вычислительная техника. 1986. N4. С.87-92. Rubinov V.I., Shalyto A.A. Method of Constructing Flowcharts of Simple Binary Programs for Systems of Boolean Functions // Automatic Control and Computer Sciences. 1986. Vol.27. N4. P.82-87.
  5. Сагалович Ю. Л., Шалыто А. А. Бинарные программы и их реализация асинхронными автоматами // Проблемы передачи информации. 1987. Вып.1. С.89-96. Sagalovich Yu., Shalyto A.A. Binary Programs and Ther Realization by Asynchronous Automata //Problems of Information Transmission, 1987. N1, P.74-80. Information about magazine "Problems of Information Transmission" on http://www.maik.ru/, http://www.wkap.nl/. 6. Рубинов В.И., Шалыто А.А. Построение граф-схем бинарных программ для систем булевых функций, заданных таблицами истинности //Автоматика и вычислительная техника. 1988. N1. С.87-92. Rubinov V.I., Shalyto A.A. Design of Flowcharts of Binary Programs for Systems of Boolean Functions Specified by Truth Tables //Automatic Control and Computer Sciences. 1988. Vol.29, N1. P.79-83.
  6. Кузнецов Б. П., Шалыто А. А. Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул //Автоматика и телемеханика. 1998. N9. С.142-154. Kuznetsov B.P., Shalyto A.A. The Method of Independent Fragments for Constraction of Linearized Structured Graf-Charts of Algorithms that Implement Systems of Boolean Formulas //Automation and Remote Control. 1998. Vol.59. N9.
РЕАЛИЗАЦИЯ СИСТЕМ БУЛЕВЫХ ФУНКЦИЙ АРИФМЕТИЧЕСКИМИ ПОЛИНОМАМИ
  1. Артюхов В. Л., Кондратьев В. Н., Шалыто А. А. Реализация булевых функций арифметическими полиномами //Автоматика и телемеханика. 1988. N4. С.138-147. Artyukhov V.L., Kondrat`ev V.N., Shalyto A.A. Generating Boolean Functions Via Arithmetic Polinomials //Automation and Remote Control. 1988. Vol.49. N4. P.508-515. Кондратьев В.Н., Шалыто А.А. Реализация систем булевых функций с использованием линейных арифметических полиномов //Автоматика и телемеханика. 1993. N3. С.135-151. Kondrat`ev V.N., Shalyto A.A. Realization of Systems of Boolean Functions by Liner Arithmetic Polinomials //Automation and Remote Control. 1993. Vol.54. N3. P.472-488.
  2. Кондратьев В. Н., Шалыто А. А. Реализация булевых функций одним линейным арифметическим полиномом с маскированием //Автоматика и телемеханика. 1996. N1. С.158-170. Kondrat`ev V.N., Shalyto A.A. Realization of Boolean Functions by One Liner Arithmetic Polinomial with Masking // Automation and Remote Control. 1996. Vol.57. N1. P.127-137.
  3. Кондратьев В. Н., Шалыто А. А. Реализация систем булевых функций линейными арифметическими полиномами //Автоматика и телемеханика. 1997. N3. С.200-215. Kondrat`ev V.N., Shalyto A.A. Implementation of Systems of Boolean Functions by Linear Arithmetic Polinomials with Masking // Automation and Remote Control. 1997. Vol.58. N3.
МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Вопросы применения многофункциональных логических модулей /Материалы международного симпозиума "Дискретные системы" (Symposium of International Federation of Automatic Control - IFAC). Рига: Зинатне, 1974, т.1. С.57-67.
  2. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Синтез комбинационных схем из многофункциональных логических модулей //Построение управляющих устройств и систем. М.: Наука, 1974. С.77-83. 3. Артюхов В.Л., Копейкин Г.А., Шалыто А.А. Оценка логической эффективности интегральных микросхем //Автоматика и вычислительная техника. 1981. N1. С.38-40. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Estimation of the Logical Efficiency of Integrated Microcircuitry //Automatic Control and Computer Sciences. 1981. Vol.22. N1. P.32-34.
  3. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Об оценках сложности реализации булевых формул древовидными схемами из настраиваемых модулей //Автоматика и телемеханика. 1981. N11. С.124-130. Artyukhov V.L., Kopeikin G.A., Shalyto A.A. Bounds on the Realization Complexity of Boolean Formulas by Tree Circuits of Tunable Modyles //Automation and Remote Control. 1982. Vol.42. N11. P.1532-1537.
  4. Шалыто А. А. Модули, универсальные в классе всех булевых функций, с парафазными входными переменными //Известия РАН. Теория и системы управления. 1997. N5. С.150-157. Shalyto A.A. Modules with Paraphase the Input Variables That ave Universal in Class of All Boolean Functions //Journal of Computer and Systems Sciences International. 1997. Vol.36. N5. P.794-801.
  5. Шалыто А. А. Модули, универсальные в классе самодвойственных функций и в "близких" к ним классах //Известия РАН. Теория и системы управления. 2001. N5. С.110-120. Shalyto A.A. Modules which Are Universal in the Class of Self-Dual Functions and in Close Classes //Journal of Computer and Systems Sciences International. 2001. Vol.40. N5. P.782-792.
МНОГОФУНКЦИОНАЛЬНЫЕ ЛОГИЧЕСКИЕ МОДУЛИ ИЗ ЭЛЕМЕНТОВ С ДВУСТОРОННЕЙ ПРОВОДИМОСТЬЮ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Многофункциональные логические модули из элементов с двусторонней проводимостью //Известия высших учебных заведений. Приборостроение. 1981. N4. С.38-41.
ФУНКЦИОНАЛЬНЫЕ ВОЗМОЖНОСТИ МИКРОЭЛЕКТРОННЫХ РЕЗИСТИВНЫХ НАБОРОВ
  1. Артюхов В. Л., Копейкин Г. А., Шалыто А. А. Функциональные возможности микроэлектронных резистивных наборов //Автометрия. 1979. N3. С.120-122.
ОДНОРОДНЫЕ СТРУКТУРЫ
  1. Артюхов В. Л., Розенблюм Л. Я., Шалыто А. А. Логические возможности некоторых типов каскадных структур //Сети связи и дискретные устройства управления. М.: Наука, 1976. С.138-144.
  2. Артюхов В. Л., Шалыто А. А. Реализация булевых формул однородными мультиплексорными и мажоритарными каскадами //Известия РАН. Теория и системы управления. 1996. N5. С.133-146. Artyukhov V.L., Shalyto A.A. Realization of Boolean Formulas by Uniform Multiplexor and Majority Cascades //Journal of Computer and Systems Sciences International. 1996. Vol.35. N5. P.805-815.
  3. Шалыто А. А. Реализация булевых формул и булевых функций однородными структурами //Известия РАН. Теория и системы управления. 2002. N2. Shalyto A.A.Realization of Boolean Formulas and Boolean Functions by Homogeneous Structures //Journal of Computer and Systems Sciences International. 2002. Vol.41. N2. P.264-273.
ОЦЕНКА ФУНКЦИОНАЛЬНЫХ ВОЗМОЖНОСТЕЙ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ МАТРИЦ
  1. Артюхов В. Л., Кузнецова О. С., Шалыто А. А. Оценка функциональных возможностей программируемых логических матриц //Автоматика и вычислительная техника. 1985. N2. С.58-64. Artyukhov V.L., Shalyto A.A., Kuznetsova O.S. Evaluation of the Functional Capabilities of Programmable Logical Arrays //Automatic Control and Computer Sciences. 1985. Vol.26. N2. P.69-73.
РАЗНОЕ
  1. Шалыто А. А. У нас была Великая эпоха! http://www.computer-museum.ru/histsoft/epoch.php; http://www.softcraft.ru/; http://is.ifmo.ru/.

Публикации

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), IET - 2017, pp. 746-752 Подробнее

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), IET - 2017, pp. 714-719 Подробнее

Chivilikhin D., Shalyto A., Patil S., Vyatkin V.

Reconstruction of Function Block Logic using Metaheuristic Algorithm//IEEE Transactions on Industrial Informatics, IET - 2017, Vol. 13, No. 4, pp. 1763-1771 Подробнее

Петрова И.А., Буздалова А.С., Шалыто А.А.

Теоретический анализ метода выбора переключающихся вспомогательных критериев на задаче XdivK // Научно-технический вестник информационных технологий, механики и оптики -2017. - Т. 17. - № 3(109). - С. 409–416 Подробнее

Авдюхин Д.А., Буздалова А.С., Казаков С.В., Миронович В.А., Шалыто А.А.

Экспериментальное исследование методов генерации монолитной модели объекта управления на примере симуляционной модели лифта//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. - 2017

Александров А.В., Шалыто А.А.

Метод исправления ошибок вставки и удаления в наборе чтений нуклеотидной последовательности // Научно-технический вестник информационных технологий, механики и оптики -2016. - Т. 16. - № 1(101). - С. 108-114 Подробнее

Антипов Д.С., Шалыто А.А.

Теоретический анализ времени работы эволюционных алгоритмов при генерации тестов // Сборник тезисов докладов конгресса молодых ученых (V Всероссийский конгресс молодых ученых, 12-15 апреля 2016 г.). Электронное издание -2016. - С. Электронное издание

Ulyantsev V.I., Buzhinsky I., Shalyto A.A.

Exact finite-state machine identification from scenarios and temporal properties//International Journal on Software Tools for Technology Transfer, IET - 2016, pp. in press Подробнее

Ефимова В.А., Фильченков А.А., Шалыто А.А.

Применение обучения с подкреплением для одновременного выбора модели алгоритма классификации и ее структурных параметров // Машинное обучение и анализ данных -2016. - Т. 2. - № 2. - С. TBD

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), IET - 2016, pp. 646-651 Подробнее

Efimova V.A., Filchenkov A.A., Shalyto A.A.

Reinforcement-based Simultaneous Algorithm and its Hyperparameters Selection//Asian workshop on reinforcement learning at Asian conference on machine learning (accepted), IET - 2016, pp. (accepted)

Pavlov A.N., Pashchenko A.E., Sokolov B.V., Shalyto A.A., Maklakov G.

Models and methods for multicriteria situational flexible reassignment of control functions in man-machine systems//8th IEEE International Conference on Intelligent Systems, IS 2016, IET - 2016, pp. 402-408 Подробнее

Shalamov V., Filchenkov A., Shalyto A.

Genetic Search of Pickup and Delivery Problem Solutions for Self-Driving Taxi Routing//IFIP International Conference on Artificial Intelligence Applications and Innovations, IET - 2016, Vol. 475, pp. 348-355 Подробнее

Kulakov F.M., Sokolov B., Shalyto A.A., Alferov G.

Robot master slave and supervisory control with large time delays of control signals and feedback//Applied Mathematical Sciences, IET - 2016, Vol. 10, No. 33-36, pp. 1783-1796 Подробнее

Dubinin V.N., Vyatkin V.V., Shalyto A.A.

Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems//International Siberian Conference on Control and Communications, SIBCON 2016 - Proceedings, IET - 2016, pp. 7491701 Подробнее

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.

Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам // Автоматика и телемеханика -2016. - № 3. - С. 137-151 Подробнее

Петрова И.А., Буздалова А.С., Шалыто А.А.

Метод динамического выбора вспомогательных критериев в многокритериальных эволюционных алгоритмах // Научно-технический вестник информационных технологий, механики и оптики -2016. - Т. 16. - № 3(103). - С. 460-466 Подробнее

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, IET - 2016, Vol. 77, No. 3, pp. 473-484 Подробнее

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. - 2015

Vyatkin V., Shalyto A.A.

Message from the DIAS 2015 Workshop Chairs (Editorial)//14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2015, Proceedings, IET - 2015, Vol. 3, pp. 7345620 Подробнее

Arkhipov V.V., Buzdalov M.V., Shalyto A.A.

An asynchronous implementation of the limited memory CMA-ES//14th International Conference on Machine Learning and Applications, ICMLA 2015, IET - 2015, pp. 707-712 Подробнее

Lin H., Sierla S.A., Papakonstantinou N., Shalyto A.A., Vyatkin V.V.

Change request management in model-driven engineering of industrial automation software//Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, IET - 2015, pp. 1186-1191 Подробнее

Бужинский И.П., Казаков С.В., Ульянцев В.И., Царев Ф.Н., Шалыто А.А.

Модификация метода генерации управляющих конечных автоматов с непрерывными воздействиями по обучающим примерам // Известия Российской академии наук. Теория и системы управления -2015. - № 6. - С. 17-30 Подробнее

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, IET - 2015, Vol. 3, pp. 307-312 Подробнее

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, IET - 2015, pp. 1239-1242 Подробнее

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, IET - 2015, pp. 1185-1188 Подробнее

Савин А.В., Клебан В.О., Шалыто А.А.

Поддержка стандарта IEC 61499 для встраиваемых применений на базе ОС Linux // не указано -2015. - С. не указано

Savin A.V., Kleban V.O., Shalyto A.

Adaptation of object-oriented programming patterns to IEC 61499 applications in a case of “Factory method” design pattern//не указано, IET - 2015, pp. ???

Савин А.В., Клебан В.О., Шалыто А.А.

Применение шаблонов объектно-ориентированного проектирования к программам IEC61499 на примере шаблона “Фабричный метод” // не указано -2015. - С. не указаны

Glotov A.S., Kazakov S., Zhukova E.A., Alexandrov A., Glotov O.S., Pakin V.S., Danilova M.M., Poliakova I.V., Niyazova S.S., Chakova N.N., Komissarova S.M., Kurnikova E.A., Sarana A.M., Sherbak S.G., Sergushichev A., Shalyto A., Baranov V.S.

Targeted next-generation sequencing (NGS) of nine candidate genes with custom AmpliSeq in patients and a cardiomyopathy risk group//Clinica Chimica Acta, IET - 2015, Vol. 446, pp. 132-140 Подробнее

Ulyantsev V., Zakirzyanov I., Shalyto A.

BFS-Based Symmetry Breaking Predicates for DFA Identification//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), IET - 2015, Vol. 8977, pp. 611-622 Подробнее

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, IET - 2015, Vol. 54, No. 6, pp. 853-865 Подробнее

Buzdalov M., Shalyto A.

Hard Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms: Revisited//IEEE Congress on Evolutionary Computation, CEC 2015 - Proceedings, IET - 2015, pp. 2121-2128 Подробнее

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015.//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. - 2015

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

публикация в Сборнике тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. - 2015

Клебан В.О., Русин Н.С., Савин А.В., Шалыто А.А.

Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2015. - 2015

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, IET - 2014, Vol. 53, No. 2, pp. 256-266 Подробнее

Чивилихин Д.С., Ульянцев В.И., Шалыто А.А.

Муравьиный алгоритм для построения автоматных программ по спецификации // XII Всероссийское совещание по проблемам управления ВСПУ-2014 -2014. - С. 4351-4542

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А.

Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики -2014. - № 6(94). - С. 98-105

Янкин Ю.Ю., Шалыто А.А.

Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики -2014. - № 6(94). - С. 146-152

Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А.

Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем // XII Всероссийское совещание по проблемам управления ВСПУ-2014 -2014. - С. 3159-3166

Тихомиров А.В., Шалыто А.А.

Применение направленной мутации для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики -2014. - № 2(90). - С. 93-98 Подробнее

Ведерников Н.В., Демьянюк В.Ю., Кротков П.А., Ульянцев В.И., Шалыто А.А.

Применение методов машинного обучения для автоматизированного построения управляющих автоматов в высокоуровневых средствах проектирования систем//XII Всероссийское совещание по проблемам управления - 2014. - С. 4531-4542

Buzdalov M., Shalyto A.

Worst-Case Execution Time Test Generation for Solutions of the Knapsack Problem Using a Genetic Algorithm//Communications in Computer and Information Science, IET - 2014, Vol. 472, pp. 1-10 Подробнее

Kazakov S., Shalyto A.

Overlap graph simplification using edge reliability calculation//Proceedings of the European Conference on Data Mining 2014 and International Conferences on Intelligent Systems and Agents 2014 and Theory and Practice in Modern Computing 2014 - Part of the Multi Conference on Computer Science and Information Systems, MCCSIS 2014, IET - 2014, pp. 222-226 Подробнее

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, IET - 2014, pp. 350-355 Подробнее

Pang C., Patil S., Yang C., Vyatkin V., Shalyto A.

A Portability Study of IEC 61499: Semantics and Tools//Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN), IET - 2014, pp. 440-445 Подробнее

Buzdalov M., Shalyto A.

A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), IET - 2014, Vol. 8672, pp. 528-537 Подробнее

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, IET - 2014, pp. 117-126 Подробнее

Ульянцев В.И., Чивилихин Д.С., Шалыто А.А.

Муравьиный алгоритм для построения автоматных программ по спецификации//XII Всероссийское совещание по проблемам управления - 2014. - С. 3159-3166

Zhabelova G., Yang C., Patil S., Pang C., Yan J., Shalyto A., Vyatkin V.

Cyber-physical components for heterogeneous modelling, validation and implementation of smart grid intelligence//Proceedings of 2014 12th IEEE International Conference on Industrial Informatics (INDIN), IET - 2014, pp. 411-417 Подробнее

Lukin M., Buzdalov M., Shalyto A.

Formal Verification of 800 Genetically Constructed Automata Programs: A Case Study//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), IET - 2014, Vol. 8855, pp. 165-170 Подробнее

Бужинский И.П., Ульянцев В.И., Чивилихин Д.С., Шалыто А.А.

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

Шалыто А.А.

Worst-case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives//Proceedings of 20th International Conference on Soft Computing MENDEL, IET - 2014

Шалыто А.А.

Cyber-Phisical Components for Heterogeous Modelin, Validation and Implementation of Smart Grid Intelligence//12th IEEE International Conference on Industrial Informatics (INDIN 2014), IET - 2014

Шалыто А.А.

A Provably Asymptotically Fast Version of the Generalized Jensen Algorithm for Non-Dominated Sorting//Proceedings of 13th International Conference on Parallel Problem Solving from Nature, IET - 2014

Шалыто А.А.

A Portability Study of IEC 61499: Semantics and Tools//12th IEEE International Conference on Industrial Informatics (INDIN 2014), IET - 2014

Шалыто А.А.

Overlap Graph Simplification Using Edge Reliability Calculation//8th International Conference Intelligent Systems and Agents, IET - 2014

Kravtsov N., Buzdalov M., Buzdalova A., Shalyto A.

Worst-Case Execution Time Test Generation using Genetic Algorithms with Automated Construction and Online Selection of Objectives//Mendel, IET - 2014, pp. 111-116

Сергушичев А.А., Александров А.В., Казаков С.В., Царев Ф.Н., Шалыто А.А.

Совместное применение графа де Брейна, графа перекрытий и микросборки для de novo сборки генома // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика -2013. - Т. 13. - № 2-2. - С. 51–57 Подробнее

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

Применение эволюционного программирования на основе обучающих примеров для генерации конечных автоматов, управляющих объектами со сложным поведением // Известия Российской академии наук. Теория и системы управления -2013. - № 3. - С. 85-100 Подробнее

Aleksandrov A.V., Tsarev F.N., Kazakov S.V., Sergushichev A.A., Shalyto A.A.

The use of evolutionary programming based on training examples for the generation of finite state machines for controlling objects with complex behavior//Journal of Computer and Systems Sciences International, IET - 2013, Vol. 52, No. 3, pp. 410-425 Подробнее

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), IET - 2013, Vol. 9, No. 1, pp. 1043-1048 Подробнее

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, IET - 2013, pp. 199-200 Подробнее

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), IET - 2013, Vol. 9, No. 1, pp. 1049-1054 Подробнее

Buzdalov M., Buzdalova A., Shalyto A.

A First Step towards the Runtime Analysis of Evolutionary Algorithm Adjusted with Reinforcement Learning//Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013, IET - 2013, Vol. 1, pp. 203-208 Подробнее

Arkhipov V., Buzdalov M., Shalyto A.

Worst-Case Execution Time Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms//Proceedings - 2013 12th International Conference on Machine Learning and Applications, ICMLA 2013, IET - 2013, Vol. 2, pp. 108-111 Подробнее

Лукин М.А., Шалыто А.А.

Разработка и автоматическая верификация параллельных автоматных программ // Информационно-управляющие системы -2013. - № 5(66). - С. 43-50

Ульянцев В.И., Чивилихин Д.С., Шалыто А.А.

Метод построения конечных автоматов на основе муравьиного алгоритма//Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник тезисов докладов VII-й Международной научно-технической конференции (Коломна, 20-22 мая 2013 г.) - 2013. - Т. 3. - С. 931-942

Шалыто А.А.

Extracting EFSMs of web applications for formal requirements specification//Lecture Notes in Computer Science, IET - 2012, Vol. 7612, pp. 161-172

Бердичевский В.А., Быковский С.В., Казин Ф.А., Кузнецов А.О., Куликов А.В., Муромцев Д.И., Румянцев А.С., Серебрякова В.С., Тойвонен Н.Р., Царев М.Н., Царев Ф.Н., Шалыто А.А.

Проектный менеджмент в ВУЗе. Учебные кейсы - 2012

Zakonov A., Shalyto A.A.

Extracting EFSMs of web applications for formal requirements specification//Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), IET - 2012, Vol. 7612, No. LNCS, pp. 161-172 Подробнее

Степанов Д.В., Шалыто А.А.

Использование генетического алгоритма для поиска оптимальной траектории наблюдателя // Научно-технический вестник информационных технологий, механики и оптики -2012. - № 1(77). - С. 90-95

Тихомиров А.В., Шалыто А.А.

Применение адаптивного генетического алгоритма для генерации клеточных автоматов // Научно-технический вестник информационных технологий, механики и оптики -2012. - № 1(77). - С. 100-105

Ахи А.А., Станкевич А.С., Шалыто А.А.

Автоматические методы модификации решений для тестирования проверяющих программ // Научно-технический вестник информационных технологий, механики и оптики -2012. - № 1(77). - С. 81-85

Александров А.В., Казаков С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

Генерация конечных автоматов для управления моделью беспилотного самолета // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 3-11

Горлушкина Н.Н., Гугель Ю.В., Иванов А.В., Иванов А.Ю., Ижванов Ю.Л., Колесников Ю.Л., Куркин А.В., Леонтьева О.А., Лисицына Л.С., Мальцева Н.К., Никифоров В.О., Парфенов В.Г., Тарлыков В.А., Тихонов А.Н., Хоружников С.Э., Шалыто А.А., Шехонин А.А., Щербакова И.Ю.

Университет XXI века // Серия "НИУ ИТМО: Годы и люди" -2011. - Вып. 5

Zakonov A., Shalyto A.A.

Automatic extraction and verification of state-models for web applications//Lecture Notes in Electrical Engineering, IET - 2011, Vol. 133, pp. 157-160 Подробнее

Шалыто А.А.

Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании -2011. - № 3. - С. 51-59

Клебан В.О., Шалыто А.А.

Разработка системы управления малоразмерным вертолетом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 12-16

Трофимов Д.А., Шалыто А.А.

Методы оптимизации стратегий в играх для двух участников с использованием генетических алгоритмов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 45-49

Алексеев С.А., Клебан В.О., Шалыто А.А.

Программно-аппаратный комплекс для исследования автоматного управления мобильными роботами // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 37-40

Алексеев С.А., Калиниченко А.И., Шалыто А.А., Клебан В.О.

Автоматический синтез системы управления мобильным роботом для решения задачи "Кегельринг" // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 26-31

Клебан В.О., Шалыто А.А., Сергеев А.А.

Анализ эффективности использования GPU для автоматического синтеза системы управления мобильным роботом // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 32-36

Шалыто А.А.

Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации -2011. - № 22. - С. 92-103

Тихомиров А.В., Шалыто А.А.

Применение генетического подхода для генерации клеточных автоматов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 62-66

Законов А.Ю., Шалыто А.А.

Применение генетических алгоритмов к генерации тестов для автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 66-72

Казаков С.В., Александров А.В., Царев Ф.Н., Шалыто А.А.

Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник СПбГУ ИТМО -2011. - № 5. - С. 81-84

Шалыто А.А.

Верификация автоматных программ - 2011

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р.

Верификация автоматных программ -2011

Казаков С.В., Царев Ф.Н., Шалыто А.А.

Метод построения конечных автоматов верхнего уровня для управления моделью беспилотного самолета на основе обучающих примеров // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 6(76). - С. 64-68

Ульянцев В.И., Шалыто А.А.

Применение алгоритма EDSM для построения управляющих конечных автоматов по сценариям работы//Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011) - 2011. - Т. 2. - С. 76-80

Ульянцев В.И., Царев Ф.Н., Шалыто А.А.

Применение методов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов по сценариям работы//Сборник докладов XIV Международной конференции по мягким вычислениям и измерениям (SCM'2011) - 2011. - Т. 2. - С. 69-75

Клебан В.О., Шалыто А.А.

Анализ эффективности использования GPU для автоматического анализа системы управления мобильным роботом // Научно-технический вестник СПбГУ ИТМО -2011. - № 2 (72). - С. 32-36

Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Царев Ф.Н., Шалыто А.А.

Метод исправления ошибок в наборе чтений нуклеотидной последовательности // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 5(75). - С. 81-84

Данилов В.Р., Шалыто А.А.

Метод представления автоматов линейными бинарными графами для использования в генетическом программировании // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2011. - № 2(72). - С. 54-57

Шалыто А.А., Янкин Ю.Ю., Янкин Ю.Ю.

Автоматное программирование ПЛИС в задачах управления электроприводом // Информационно-управляющие системы -2011. - № 1. - С. 50-56

Ахи А.А., Станкевич А.С., Шалыто А.А.

Алгоритм построения флибов со 100%-ной точностью предсказания // Информационные технологии -2011. - № 7. - С. 34-37

Шалыто А.А., Янкин Ю.Ю.

Применение автоматного подхода при программировании модулей управления шаговыми двигателями, выполненными на основе ПЛИС // Системы управления и обработки информации -2011. - № 22. - С. 92 - 103

Шалыто А.А.

Кадры для ИТ-индустрии: найти и удержать // Компьютерные инструменты в образовании -2011. - № 3. - С. 51-59

Поликарпова Н.И., Точилин В.Н., Шалыто А.А.

Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления -2010. - № 2. - С. 100 – 117

Шалыто А.А., Царев Ф.Н.

Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2010. - № 5 (69). - С. 81-86

Попов С.И., Шалыто А.А.

Задача о муравьеде и муравьях // Информационные технологии -2010. - № 8. - С. 18-22

Шалыто А.А.

Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2010. - № 5 (69). - С. 91-95

Polikarpova N.I., Tochilin V.N., Shalyto A.A.

Method of Reduced Tables for Generation of Automata with a Large Number of Input Variables Based on Genetic Programming//Journal of Computer and Systems Sciences International, IET - 2010, Vol. 49, No. 2, pp. 265-282 Подробнее

Поликарпова Н.И., Шалыто А.А.

Автоматное программирование -2010

Шалыто А.А.

Метод сокращенных таблиц для генерации автоматов с большим числом входных переменных на основе генетического программирования // Известия РАН. Теория и системы управления -2010. - № 2(2). - С. 100-117

Шалыто А.А.

Применение шаблонов требований к формальной спецификации и верификации автоматных программ//Труды семинара "Семантика, спецификация и верификация программ: теория и приложения" - 2010. - С. 124-130

Шалыто А.А.

Автоматный подход к созданию программного обеспечения боевой информационно-управляющей системы//Сборник докладов научно-технической конференции "Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов" - 2010. - С. 155-159

Шалыто А.А.

GA-Based and Design by Contract Approach to Test Generation for EFSMs//Proceedings of IEEE East-West Design & Test Symposium (EWDTS`10), IET - 2010, pp. 152-155

Шалыто А.А.

A GA-Based Approach for Test Generation for Automata-Based Programs//Proceeding of the 4 Spring/Summer Young Researcher's Colloquium on Software Engineering (SYRCoSE 2010), IET - 2010, pp. 37-42

Шалыто А.А.

Верификация автоматных программ//Сборник докладов научно-технической конференции "Состояние, проблемы и перспективы создания корабельных информационно-управляющих комплексов" - 2010. - С. 90-98

Суясов Д.И., Шалыто А.А.

Выделение структурных признаков изображений символов на основе клеточных автоматов с метками // Информационно-управляющие системы -2010. - № 4. - С. 39–45

Егоров К.В., Царев Ф.Н., Шалыто А.А.

Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации // Научно-технический вестник СПбГУ ИТМО -2010. - № 5 (69). - С. 81 - 86

Попов С.И., Попов Ю.И., Шалыто А.А.

Задача о муравьеде и муравьях // Информационные технологии. -2010. - № 8. - С. 18 - 22

Клебанов А.А., Степанов О.Г., Шалыто А.А.

Применение шаблонов требований к формальной спецификации и верификации автоматных программ // Научно-технический вестник СПбГУ ИТМО -2010. - № 5 (69). - С. 91 - 95

Царев Ф.Н., Шалыто А.А.

Метод построения управляющих конечных автоматов на основе тестовых примеров с помощью генетического программирования // Информационно-управляющие системы -2010. - № 5. - С. 31-36

Парфенов В.Г., Шалыто А.А.

Инновационная система подготовки специалистов в области производства программного обеспечения в СПбГУ ИТМО // Научно–технический вестник СПбГУ ИТМО. -2009. - № 4 (62). - С. 5–11

Мандриков Е.А., Чеботарева Ю.К., Шалыто А.А.

Автоматное программирование и параллельные вычисления // Известия высших учебных заведений. Приборостроение. -2009. - Т. 52. - № 10. - С. 66–73

Астафуров А.А., Шалыто А.А.

Исследование автоматных классов с использованием динамических языков программирования (на примере языка RUBY) // Информационно–управляющие системы. -2009. - № 4. - С. 21–25

Шалыто А.А.

1_Реализация конечных автоматов на функциональных языках программирования // Информационно-управляющие системы -2009. - № 6. - С. 15-18

Шалыто А.А.

1_Непроцедурный текстовый язык описания автоматных обработчиков XML-документов и его применение // Информационные технологии. -2009. - № 12. - С. 38-45

Вельдер С.Э., Шалыто А.А.

Верификация автоматных моделей методом редуцированного графа переходов // Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики -2009. - № 6(64). - С. 66-77 Подробнее

Шалыто А.А.

1_Парадигма автоматного программирования // RSDN Magazinе -2009. - № 1. - С. 53-58

Шалыто А.А.

1_Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C // Прикладная дискретная математика. -2009. - № 1. - С. 81-83

Шалыто А.А.

Парадигма автоматного программирования // Научно-технический вестник СПбГУ ИТМО. -2008. - № 53. - С. 3-24

Шалыто А.А.

Верификация автоматных программ // Информационно-управляющие системы -2008. - № 5. - С. 22-30

Шалыто А.А.

Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о флибах // Известия РАН. Теория и системы управления -2007. - № 5. - С. 43-51

Шалыто А.А.

Применение динамического программирования при решении задач на конечных автоматах // Компьютерные инструменты в образовани -2007. - № 4. - С. 13-17

Шалыто А.А.

Применение генетического программирования при решении задачи о флибах // Информационные технологии -2007. - № 12. - С. 14-17

Шалыто А.А., Степанов О.Г., Шалыто А.А., Шопырин Д.Г.

Предметно-ориентированный язык автоматного программирования на базе динамического языка RUBY // Информационно-управляющие системы -2007. - № 4. - С. 22-27

Шалыто А.А.

Диагностирование аварийных состояний турбонасосного агрегата жидкостного ракетного двигателя // Нейрокомпьютеры: разработка, применение -2007. - № 9. - С. 372-379

Шалыто А.А.

LabVIEW и SWITCH-технология // Промышленные АСУ и контроллеры -2006. - № 6. - С. 43–45

Шалыто А.А.

Автоматное программирование // Известия Уральского государственного университета -2006. - № 43. - С. 181– 190

Шалыто А.А.

Многофункциональные логические модули из элементов с двусторонней проводимостью // Известия РАН. Теория и системы управления -2006. - № 1. - С. 78–81

Шалыто А.А.

О проекте Технология автоматного программирования: применение и инструментальные средства // Информационные технологии -2006. - № 2. - С. -79-83

Публикации в репозитории Университета ИТМО

Петрова . И., Буздалова А. С., Шалыто А. А.
ТЕОРЕТИЧЕСКИЙ АНАЛИЗ МЕТОДА ВЫБОРА ПЕРЕКЛЮЧАЮЩИХСЯ ВСПОМОГАТЕЛЬНЫХ КРИТЕРИЕВ НА ЗАДАЧЕ XdivK
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(109) за 2017 г.

Петрова . И., Буздалова А. С., Шалыто А. А.
МЕТОД ДИНАМИЧЕСКОГО ВЫБОРА ВСПОМОГАТЕЛЬНЫХ КРИТЕРИЕВ В МНОГОКРИТЕРИАЛЬНЫХ ЭВОЛЮЦИОННЫХ АЛГОРИТМАХ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(103) за 2016 г.

Александров А. В., Шалыто А. А.
МЕТОД ИСПРАВЛЕНИЯ ОШИБОК ВСТАВКИ И УДАЛЕНИЯ В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(101) за 2016 г.

Чивилихин Д. С., Ульянцев В. И., Вяткин В. В., Шалыто А. А.
ПОСТРОЕНИЕ АВТОМАТНЫХ ПРОГРАММ ПО СПЕЦИФИКАЦИИ С ПОМОЩЬЮ МУРАВЬИНОГО АЛГОРИТМА НА ОСНОВЕ ГРАФА МУТАЦИЙ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(94) за 2014 г.

Янкин Ю. Ю., Шалыто А. А.
РАЗРАБОТКА РЕЗЕРВИРОВАННОГО БЛОКА УПРАВЛЕНИЯ ЭЛЕКТРОПРИВОДОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(94) за 2014 г.

Тихомиров А. В., Шалыто А. А.
ПРИМЕНЕНИЕ НАПРАВЛЕННОЙ МУТАЦИИ ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(90) за 2014 г.

Ахи А. А., Станкевич А. С., Шалыто А. А.
АВТОМАТИЧЕСКИЕ МЕТОДЫ МОДИФИКАЦИИ РЕШЕНИЙ ДЛЯ ТЕСТИРОВАНИЯ ПРОВЕРЯЮЩИХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Тихомиров А. В., Шалыто А. А.
ПРИМЕНЕНИЕ АДАПТИВНОГО ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Степанов Д. В., Шалыто А. А.
ИСПОЛЬЗОВАНИЕ ГЕНЕТИЧЕСКОГО АЛГОРИТМА ДЛЯ ПОИСКА ОПТИМАЛЬНОЙ ТРАЕКТОРИИ НАБЛЮДАТЕЛЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(77) за 2012 г.

Казаков С. В., Царев Ф. Н., Шалыто А. А.
МЕТОД ПОСТРОЕНИЯ КОНЕЧНЫХ АВТОМАТОВ ВЕРХНЕГО УРОВНЯ ДЛЯ УПРАВЛЕНИЯ МОДЕЛЬЮ БЕСПИЛОТНОГО САМОЛЕТА НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(76) за 2011 г.

Александров А. В., Казаков С. В., Мельников С. В., Сергушичев А. А., Царев Ф. Н., Шалыто А. А.
МЕТОД ИСПРАВЛЕНИЯ ОШИБОК В НАБОРЕ ЧТЕНИЙ НУКЛЕОТИДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(75) за 2011 г.

Алексеев С. А., Калиниченко А. И., Клебан В. О., Шалыто А. А.
АВТОМАТИЧЕСКИЙ СИНТЕЗ СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ ДЛЯ РЕШЕНИЯ ЗАДАЧИ «КЕГЕЛЬРИНГ»
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Алексеев С. А., Клебан В. О., Шалыто А. А.
ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ ИССЛЕДОВАНИЯ АВТОМАТНОГО УПРАВЛЕНИЯ МОБИЛЬНЫМИ РОБОТАМИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Данилов В. Р., Шалыто А. А.
МЕТОД ПРЕДСТАВЛЕНИЯ АВТОМАТОВ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ ДЛЯ ИСПОЛЬЗОВАНИЯ В ГЕНЕТИЧЕСКОМ ПРОГРАММИРОВАНИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Законов А. Ю., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ К ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Клебан В. О., Шалыто А. А.
РАЗРАБОТКА СИСТЕМЫ УПРАВЛЕНИЯ МАЛОРАЗМЕРНЫМ ВЕРТОЛЕТОМ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Сергеев А. А., Клебан В. О., Шалыто А. А.
АНАЛИЗ ЭФФЕКТИВНОСТИ ИСПОЛЬЗОВАНИЯ GPU ДЛЯ АВТОМАТИЧЕСКОГО СИНТЕЗА СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Трофимов Д. А., Шалыто А. А.
МЕТОДЫ ОПТИМИЗАЦИИ СТРАТЕГИЙ В ИГРАХ ДЛЯ ДВУХ УЧАСТНИКОВ С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Тихомиров А. В., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПОДХОДА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(72) за 2011 г.

Егоров К. В., Царев Ф. Н., Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ АВТОМАТОВ УПРАВЛЕНИЯ СИСТЕМАМИ СО СЛОЖНЫМ ПОВЕДЕНИЕМ НА ОСНОВЕ ОБУЧАЮЩИХ ПРИМЕРОВ И СПЕЦИФИКАЦИИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(69) за 2010 г.

Клебанов А. А., Шалыто А. А.
ПРИМЕНЕНИЕ ШАБЛОНОВ ТРЕБОВАНИЙ К ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ И ВЕРИФИКАЦИИ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(69) за 2010 г.

Вельдер С. Э., Шалыто А. А.
ВЕРИФИКАЦИЯ АВТОМАТНЫХ МОДЕЛЕЙ МЕТОДОМ РЕДУЦИРОВАННОГО ГРАФА ПЕРЕХОДОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(64) за 2009 г.

Васильев В. Н., Парфенов В. Г., Шалыто А. А.
ИННОВАЦИОННАЯ СИСТЕМА ПОДГОТОВКИ СПЕЦИАЛИСТОВ В ОБЛАСТИ ПРОИЗВОДСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В СПбГУ ИТМО
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 4(62) за 2009 г.

Шалыто А. А., Мандриков Е. А., Чеботарева Ю. К.
АВТОМАТНОЕ ПРОГРАММИРОВАНИЕ И ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ
Статья опубликована ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ «ПРИБОРОСТРОЕНИЕ» в выпуске 10(52) за 2009 г.

Егоров К. В., Шалыто А. А.
РАЗРАБОТКА ВЕРИФИКАТОРА АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Гуров В. С., Мазин М. А., Шалыто А. А.
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Поликарпова Н. И., Точилин В. , Шалыто А. А.
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ГЕНЕРАЦИИ АВТОМАТОВ С БОЛЬШИМ ЧИСЛОМ ВХОДНЫХ ПЕРЕМЕННЫХ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Царев М. Н., Царев Ф. Н.
ГРАФИЧЕСКИЙ ЯЗЫК ОПИСАНИЯ ИГРОВЫХ ЭПИЗОДОВ В ФУТБОЛЕ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(52) за 2008 г.

Бедный Ю. , Шалыто А. А.
СОЗДАНИЕ СИСТЕМЫ УПРАВЛЕНИЯ ТАНКОМ ДЛЯ ИГРЫ ROBOCODE С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е.
ЭВОЛЮЦИЯ МЕТОДОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.

Шалыто А. А., Лукин М. А.
ВЕРИФИКАЦИЯ АВТОМАТНЫХ ПРОГРАММ С ИСПОЛЬЗОВАНИЕМ ВЕРИФИКАТОРА SPIN
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Рубинов К. В.
О НЕКОТОРЫХ ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 1(46) за 2008 г.

Клебанов А. А., Шалыто А. А.
РАЗРАБОТКА КОРРЕКТНЫХ JAVA CARD-ПРОГРАММ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А.
ПАРАДИГМА АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Клебан В. О., Парфенов В. Г., Шалыто А. А.
ПОСТРОЕНИЕ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Лобанов П. Г., Сытник С. А., Шалыто А. А.
ПОСТРОЕНИЕ АВТОПИЛОТА ДЛЯ УПРОЩЕННОЙ МОДЕЛИ ВЕРТОЛЕТА С ПОМОЩЬЮ ГЕНЕТИЧЕСКОГО АЛГОРИТМА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Суясов Д. И.
ВЫДЕЛЕНИЕ СТРУКТУРНЫХ ПРИЗНАКОВ РАСПОЗНАВАЕМЫХ СИМВОЛОВ НА ОСНОВЕ НАБОРА КЛЕТОЧНЫХ АВТОМАТОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.

Вельдер С. Э., Шалыто А. А.
МЕТОДЫ ВЕРИФИКАЦИИ МОДЕЛЕЙ АВТОМАТНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(53) за 2008 г.

Шалыто А. А., Боб Е. Б., Латников А. В., Мальцев А. М., Потехин А. Е.
ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 3(48) за 2008 г.

Лобанов П. Г., Шалыто А. А.
ИСПОЛЬЗОВАНИЕ АВТОМАТОВ С ФЛАГАМИ ДЛЯ РЕШЕНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.

Вельдер С. Э., Шалыто А. А.
ВВЕДЕНИЕ В ВЕРИФИКАЦИЮ АВТОМАТНЫХ ПРОГРАММ НА ОСНОВЕ МЕТОДА MODEL CHECKING
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.

Гуров В. С., Мазин М. А., Шалыто А. А.
ТЕКСТОВЫЙ ЯЗЫК АВТОМАТНОГО ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 8(42) за 2007 г.

Корнеев Г. А., Шалыто А. А.
Язык описания визуализаторов алгоритмов
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Гуров В. С., Мазин М. А., Шалыто А. А.
UNIMOD – инструментальное средство для автоматного программировани
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(30) за 2006 г.

Шалыто А. А., Корнеев Г. А.
ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.

Корнеев Г. А., Шалыто А. А.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Корнеев Г. А., Шалыто А. А.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Шалыто А. А.
Автоматно-ориентированное программирование
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(21) за 2005 г.

Гуров В. С., Мазин М. А., Шалыто А. А., Нарвский А. С.
Разработка средств автоматизации построения объектно-ориентированных программ с явным выделением состоянии
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 5(16) за 2004 г.

Проекты

Ведущие исследователи на постоянной основе
01/26/2017 - 12/31/2019

Разработка алгоритмов анализа метаболических и сигнальных сетей для идентификации модулей, регулирующих клеточную адаптацию
01/01/2017 - 12/31/2019

Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем
07/28/2016 - 12/31/2018

Методы синтеза интеллектуальной информационной технологии мониторинга, прогноза и управления ресурсами и реконфигурацией многофункциональных группировок динамических объектов наземного и космсического базирования
01/21/2016 - 12/31/2018

Технология разработки программного обеспечения систем управления ответственными объектами на основе методов машинного обучения и конечных автоматов
07/18/2014 - 12/31/2016

Организация проведения научных исследований
02/28/2014 - 12/31/2016

Разработка муравьиных алгоритмов для построения управляющих конечных автоматов
02/17/2014 - 12/31/2016

Разработка методов построения управляющих конечных автоматов по обучающим примерам на основе решения задачи удовлетворения ограничений
09/01/2012 - 11/15/2013

Разработка методов сборки генома, сборки транскриптома и динамического анализа протеома
09/01/2012 - 11/15/2013

Разработка алгоритмов генетического программирования и сборки генома
01/01/2012 - 12/31/2013

Разработка алгоритмов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности
08/19/2011 - 08/02/2012

Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям
05/16/2011 - 11/19/2013

Разработка метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов
05/13/2011 - 11/19/2013

Разработка методов машинного обучения на основе генетического программирования для построения управляющих конечных автоматов
01/01/2010 - 12/31/2011

Разработка основных положений применения искусственного интеллекта и верификации моделей для создания программных систем со сложным поведением на основе автоматного подхода
01/01/2010 - 12/31/2011

Применение методов искуственного интеллекта в разработке управляющих программных систем
11/11/2009 - 08/10/2011