E-mail: Ключевые слова: процессы управления,
логико-динамические системы,
искусственный интеллект,
Дифференциальные уравнения,
программное обеспечение,
автоматизация,
математические модели устойчивого развития.
Основные темы научной работы:
Качественная теория динамических свойств систем управления, автоматные сети, интеллектное управление.
Основные публикации:
Васильев С. Н., Догановский С. А., Эдемский В. М., К интеллектному управлению дуговыми сталеплавильными печами, Автоматизация в промышленности, № 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.
