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

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

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

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

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

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

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

Васильев С.Н. Импликация свойств связанных систем: метод получения условий импликации и примеры применения // Известия Российской академии наук. Теория и системы управления. 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 с.

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

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

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

Author ID 6603565134.

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

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