Васильев Станислав Николаевич

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

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

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

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

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

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

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

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

· Государственная премия СССР в области науки и техники (1984).
· Медаль «За трудовое отличие» (1988).
· Медаль имени академика С.П. Королева Федерации космонавтики России (1994).
· Орден Почёта (1999).
· Орден Дружбы (2006).
· Премия Правительства Российской Федерации в области образования (2011).
· Премия Правительства Российской Федерации в области науки и техники (2013).
· Медаль РАН и ВМФ «За заслуги в обеспечении защиты кораблей» (2016).

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

Author ID 6603565134.

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

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