Состав Академии

Научные интересы

Искусственный интеллект и математическая теория систем.

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

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

Разработанные методы применены: в задачах динамики систем и интеллектуализации систем управления с нелинейными и логико-динамическими моделями при возможном наличии неопределённостей и возмущений, в задачах динамики автоматных сетей и асинхронных переключательных схем, в задачах управления многорежимными формациями (группировками) движущихся объектов, управления скрытностью и/или поиском объекта в конфликтной среде.

Научные публикации

• Васильев С.Н. Импликация свойств связанных систем: метод получения условий импликации и примеры применения // Известия Российской академии наук. Теория и системы управления. 2020. № 4. С. 3-17. 
• Васильев С.Н., Козлов Р.И., Ульянов С.А. Устойчивость многорежимных формаций // Доклады Академии наук. 2014. Т. 455, № 3. С. 269-274. 
• Васильев С.Н., Косов А.А. Анализ динамики гибридных систем с помощью общих функций Ляпунова и множественных гомоморфизмов // Автоматика и телемеханика. 2011. № 6. С. 27–47. 
• Васильев С.Н. Формализация знаний и управление на основе позитивно-образованных языков // Информационные технологии и вычислительные системы. 2008. № 1. С. 3-19. 
• Васильев С.Н. Метод редукции и качественный анализ динамических систем, I, II // Известия Российской академии наук. Теория и системы управления. 2006. № 1. С. 21-29, № 2. С. 5-17. 
• Васильев С.Н., Жерлов А.К., Федосов Е.А., Федунов Б.Е. Интеллектное управление динамическими системами. М.: Физматлит, 2000. 352 с. 
• Васильев С.Н. Расширение потенциала управления с помощью новых средств представления и обработки знаний // Проблемы управления и информатики. 2002. № 4. С. 21-36. 
• Васильев С.Н. Метод синтеза условий выводимости хорновских и некоторых других формул // Сибирский математический журнал. 1997. Т. 38, № 5. С. 1034-1046. 
• Васильев С.Н., Жерлов А.К. Об исчислениях типово-кванторных формул // Доклады Академии наук. 1995. Том 343, № 5. С. 583-585. 
• Матросов В.М., Анапольский Л.Ю., Васильев С.Н. Метод сравнения в математической теории систем. Новосибирск: Наука, 1980. 480 с.

Награды и премии

Персональные профили исследователя

Место работы и должность

Институт проблем управления им. В.А. Трапезникова РАН, главный научный сотрудник.