процессы управления,
логико-динамические системы,
искусственный интеллект,
Дифференциальные уравнения,
программное обеспечение,
автоматизация,
математические модели устойчивого развития.
Основные темы научной работы
Качественная теория динамических свойств систем управления, автоматные сети, интеллектное управление.
Научная биография:
Председатель и член организационных и программных комитетов ряда научных конференций, в частности, председатель и сопредседатель Оргкомитетов соответственно:
International Workshop of IFAC (International Federation of Automatic Control) on Modelling and Analysis of Logic Controlled Dynamic Systems (2003),
VIII Четаевской конференции "Аналитическая механика, устойчивость и управление движением" (2002);
Председатель Научно-координационного совета по управлению и информатике ИНЦ СО РАН (с 1991);
Член Объединенного ученого совета по математике и информатике СО РАН (с 1988), зам. председателя и член его бюро (с 2002);
Со-организатор Учебно-научного комплекса ИГУ-ИДСТУ СО РАН по Федеральной целевой программе "Интеграция" (с 1991);
Руководитель разработки и развития Информационно-вычислительной сети Иркутского научного центра СО РАН (с 1991);
Заведующий кафедрами теории систем (1991–1996) и прикладной математики ИГУ с 1996 г. (в 2002 г. переименована в кафедру проблем управления и информатики ИГУ) и информационных технологий управления Бурятского госуниверситета (БГУ);
Научный руководитель Бурятского центра информатизации Байкальского региона (учредители БГУ и Бурятский научный центр СО РАН, с 2001);
Научный руководитель и консультант 14 кандидатов и соответственно 7 докторов наук.
Член редколлегии журнала "Вычислительные технологии" (с 2002);
Член редколлегии журнала "Аэрокосмическое приборостроение" (с 2002);
Член редколлегии Международного журнала "Nonlinear Studies" (США, с 2001);
Член редколлегии Международного журнала "Hybrid Systems" (США, с 2000);
Член редколлегии журнала "Известия РАН. Теория и системы управления" (с 1999);
Гл. редактор журнала "Оптимизация, управление, интеллект" (с 1999);
Член редколлегии "Сибирского журнала вычислительной математики" (с 1998);
Член редколлегии "Сибирского журнала прикладной и индустриальной математики" (с 1998);
Член редколлегии Международного журнала "Computer Research" (Греция, с 1998);
Член редколлегии журнала "Математика" РАЕН (с 1994);
Член Международного научного совета журнала "Интеллектуальные системы" (с 1999);
Член Научного совета по супервычислениям РАН (с 1998) и СО РАН (с 1999);
Член Академии навигации и управления движением (с 2000);
Член Национального комитета ИФАК (IFAC) по автоматическому управлению (с 1998);
Член Международной федерации нелинейных аналитиков (с 1992);
Член AMS (США), американского компьютерного общества (ACM) и др. научных обществ.
Награды: Орден Почета (1999);
Лауреат Почетной грамоты губернатора Иркутской области за большой вклад в ее развитие (1999);
Медаль им. С. П. Королева Федерации космонавтики РФ (1994);
Медаль "За трудовое отличие" (1988);
Лауреат премии СО РАН в области фундаментальных исследований (1986);
Лауреат государственной премии СССР в области науки и техники (1984).
Основные публикации:
Васильев С. Н., Догановский С. А., Эдемский В. М., К интеллектному управлению дуговыми сталеплавильными печами, Автоматизация в промышленности, № 3, с. 39–43, 2003.
Vassilyev S. N., Temporal Reasoning on the Basis of New Logic for Intelligent Control, Proc. of the IEEE Intern. Symposium on Intelligent Control, pp. 843–847, 2003.
Васильев С. Н., Теория и применение логико-управляемых систем, Труды 2-ой Международной конференции "Идентификация систем и задачи управления" (SICPRO'03), с. 23–52, 2003.
Васильев С. Н., Жерлов А. К., Теоретико-игровая семантика позитивно-образованных формул, Труды 8-й Национальной конференции по искусственному интеллекту (КИИ'2002), Коломна, т. 1, с. 51–59, 2002.
Vassilyev S. N., Logical Approach in Knowledge-Based Control, Proc. of 21st SGES Intern. Conference on Knowledge Based Systems and Applied Artificial Intelligence (ES-2001), Cambridge, pp. 259–272, 2001.
Васильев С. Н., К интеллектному управлению, В сб.: Нелинейная теория управления и ее приложения, Москва, Физматлит, с. 57–126, 2000.
Vassilyev S., Intelligent Control on the Basis of Proof Theory, J. "Stability and Control: Theory and Applications", vol. 3, No. 3, pp. 234–243, 2000.
Васильев С. Н., Логическая обработка информации в задачах управления, Труды Всероссийской научно-технической конференции "Теоретические и прикладные вопросы современных информационных технологий", Улан-Удэ, с. 160–167, 2001.
Vassilyev S. N., Cherkashin E. A., Zherlov A. K., A System for Automatic Theorem Proving, In: Proc. of Intern. Conf. on Artificial and Computational Intelligence for Decision, Control and Automation in Engineering and Industrial Applications (ACIDCA), Tunisia, vol. IM, pp. L10–L18, 2000.
С. Н. Васильев, “Исправление к статье: Абдуктивные рассуждения в задачах объяснения наблюдаемого”, Докл. РАН. Матем., информ., проц. упр., 496 (2021), 79; S. N. Vassilyev, “Erratum to: Abductive reasoning in explanation problems of an observed effect”, Dokl. Math., 103:1 (2021), 67
2020
2.
С. Н. Васильев, “Абдуктивные рассуждения в задачах объяснения наблюдаемого”, Докл. РАН. Матем., информ., проц. упр., 493 (2020), 90–94; S. N. Vassilyev, “Abductive reasoning in explanation problems of an observed effect”, Dokl. Math., 102:1 (2020), 337–341
2016
3.
С. Н. Васильев, М. А. Локтев, А. В. Толок, Н. Б. Толок, С. А. Ульянов, “К планированию маршрутов в 3D-среде с многовариантной моделью”, Тр. СПИИРАН, 45 (2016), 5–25
С. Н. Васильев, Ф. Т. Алескеров, А. А. Иванов, В. И. Якуба, “Механизмы принятия экономических решений для утилизации нефтяного попутного газа”, Пробл. управл., 2012, № 4, 18–25
2011
5.
С. Н. Васильев, А. А. Косов, “Анализ динамики гибридных систем с помощью общих функций Ляпунова и множественных гомоморфизмов”, Автомат. и телемех., 2011, № 6, 27–47; S. N. Vassilyev, A. A. Kosov, “Analysis of hybrid systems' dynamics using the common Lyapunov functions and multiple homomorphisms”, Autom. Remote Control, 72:6 (2011), 1163–1183
С. Н. Васильев, Г. М. Пономарев, “Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами”, Тр. ИММ УрО РАН, 17:2 (2011), 35–52; S. N. Vassilyev, G. M. Ponomarev, “Automation methods for logical derivation and their application in the control of dynamic and intelligent systems”, Proc. Steklov Inst. Math. (Suppl.), 276, suppl. 1 (2012), S161–S179
С. Н. Васильев, Р. И. Козлов, С. А. Ульянов, “Анализ координатных и других преобразований моделей динамических систем методом редукции”, Тр. ИММ УрО РАН, 15:3 (2009), 38–55; S. N. Vassilyev, R. I. Kozlov, S. A. Ul'yanov, “Analysis of coordinate and other transformations of models of dynamical systems by the reduction method”, Proc. Steklov Inst. Math. (Suppl.), 268, suppl. 1 (2010), S264–S282
С. Н. Васильев, “Формализация знаний и управление на основе позитивно-образованных языков”, ИТиВС, 2008, № 1, 3–17
2004
9.
С. Н. Васильев, “К теории редукции в качественном анализе и управлении динамическими системами”, Тр. ИММ УрО РАН, 10:2 (2004), 20–34; S. N. Vassilyev, “On reduction theory in qualitative analysis and control of dynamic systems”, Proc. Steklov Inst. Math. (Suppl.), 2004no. , suppl. 2, S193–S209
С. Н. Васильев, “Достижимость и связность в автоматной сети с общим правилом переключения состояний”, Дифференц. уравнения, 38:11 (2002), 1533–1539; S. N. Vassilyev, “Attainability and Connectedness in an Automata Network with a General State Switching Rule”, Differ. Equ., 38:11 (2002), 1628–1635
1998
11.
С. Н. Васильев, Е. А. Черкашин, “Интеллектное управление телескопом”, Сиб. журн. индустр. матем., 1:2 (1998), 81–98
С. Н. Васильев, “Метод синтеза условий выводимости хорновских и некоторых других формул”, Сиб. матем. журн., 38:5 (1997), 1034–1046; S. N. Vassilyev, “A method for the synthesis of deducibility conditions for Horn and some other formulas”, Siberian Math. J., 38:5 (1997), 896–906
С. Н. Васильев, П. К. Кузнецов, А. В. Лакеев, “К общей теории интегрооператорного уравнения динамики переключательных схем”, Докл. РАН, 348:4 (1996), 439–441
1989
14.
С. Н. Васильев, С. Г. Патрушев, “К автоматизации синтеза структуры СБИС”, Докл. АН СССР, 306:2 (1989), 301–304
1986
15.
С. Н. Васильев, “Метод векторных функций Ляпунова в задачах быстродействия”, Докл. АН СССР, 287:1 (1986), 29–32
1985
16.
С. Н. Васильев, В. М. Матросов, Е. А. Суменков, “Принцип
сравнения в математической теории систем”, УМН, 40:4(244) (1985), 149–150; S. N. Vassilyev, V. M. Matrosov, E. A. Sumenkov, “The comparison principle in mathematical systems theory”, Russian Math. Surveys, 40:4 (1985), 227–228
1982
17.
С. Н. Васильев, “Метод сравнения в анализе систем. IV”, Дифференц. уравнения, 18:6 (1982), 938–947
Академик С. Н. Васильев, “15-я Международная конференция “Управление развитием крупномасштабных систем”. Вступительное слово”, Автомат. и телемех., 2023, № 12, 3–5
2022
22.
С. Н. Васильев, “Вступительное слово Программного комитета конференции «Управление развитием крупномасштабных систем»”, Автомат. и телемех., 2022, № 5, 3–6; S. N. Vasil'ev, “Introduction address by the program committee of the conference “Management of the development of large-scale systems””, Autom. Remote Control, 83:5 (2022), 673–676
2018
23.
С. Н. Васильев, “Управление развитием крупномасштабных систем. Современные проблемы”, Автомат. и телемех., 2018, № 10, 3–5
2016
24.
С. М. Абрамов, А. О. Блинов, С. Н. Васильев, И. С. Гусева, Е. В. Данилина, М. Г. Дмитриев, С. В. Знаменский, Г. Н. Константинов, Н. Э. Кульбака, Г. С. Осипов, Ю. С. Попков, И. В. Расина, Е. В. Рюмина, Г. В. Сидоренко, О. В. Фесько, М. М. Хрусталёв, А. М. Цирлин, “Памяти профессора Владимира Иосифовича Гурмана”, Программные системы: теория и приложения, 7:3 (2016), 109–132
2014
25.
С. Н. Васильев, Д. А. Новиков, “XII Всероссийское совещание по проблемам управления”, Автомат. и телемех., 2014, № 11, 160–166
2013
26.
С. Н. Васильев, “К 80-летию со дня рождения академика В. М. Матросова”, Автомат. и телемех., 2013, № 2, 139–151
2011
27.
С. Н. Васильев, Н. Н. Красовский, А. П. Курдюков, А. Б. Куржанский, Т. А. Летова, “Александр Михайлович Летов (1911–1974)”, Автомат. и телемех., 2011, № 11, 3–8; S. N. Vassilyev, N. N. Krasovskii, A. P. Kurdyukov, A. B. Kurzhanskii, T. A. Letova, “Aleksandr Mikhailovich Letov (1911–1974)”, Autom. Remote Control, 72:11 (2011), 2221–2226
С. Н. Васильев, М. Ш. Мисриханов, В. Н. Рябченко, “90 лет со дня рождения академика Александра Аркадьевича Красовского”, Автомат. и телемех., 2011, № 4, 181–183; S. N. Vasilyev, M. Sh. Misrikhanov, V. N. Ryabchenko, “Ninetieth anniversary of academician Aleksandr Arkad'evich Krasovskii”, Autom. Remote Control, 72:4 (2011), 840–841
1982
29.
П. А. Кузьмин, В. В. Румянцев, Л. Ю. Анапольский, С. Н. Васильев, М. К. Набиуллин, “Владимир Мефодьевич Матросов (к 50-летию со дня рождения)”, Дифференц. уравнения, 18:11 (1982), 2008–2011
Обратная связь: