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

Публикации в базе данных Math-Net.Ru

1. Типово-кванторное исчисление позитивно-образованных формул с отрицаниями
   
   Докл. РАН. Матем., информ., проц. упр., 523 (2025),  15–20
2. Исправление к статье: Абдуктивные рассуждения в задачах объяснения наблюдаемого
   
   Докл. РАН. Матем., информ., проц. упр., 496 (2021),  79
3. Абдуктивные рассуждения в задачах объяснения наблюдаемого
   
   Докл. РАН. Матем., информ., проц. упр., 493 (2020),  90–94
4. К планированию маршрутов в 3D-среде с многовариантной моделью
   
   Тр. СПИИРАН, 45 (2016),  5–25
5. Механизмы принятия экономических решений для утилизации нефтяного попутного газа
   
   Пробл. управл., 2012, № 4,  18–25
6. Анализ динамики гибридных систем с помощью общих функций Ляпунова и множественных гомоморфизмов
   
   Автомат. и телемех., 2011, № 6,  27–47
7. Методы автоматизации логического вывода и их применение в управлении динамическими и интеллектуальными системами
   
   Тр. ИММ УрО РАН, 17:2 (2011),  35–52
8. Анализ координатных и других преобразований моделей динамических систем методом редукции
   
   Тр. ИММ УрО РАН, 15:3 (2009),  38–55
9. Формализация знаний и управление на основе позитивно-образованных языков
   
   ИТиВС, 2008, № 1,  3–17
10. К теории редукции в качественном анализе и управлении динамическими системами
    
    Тр. ИММ УрО РАН, 10:2 (2004),  20–34
11. Достижимость и связность в автоматной сети с общим правилом переключения состояний
    
    Дифференц. уравнения, 38:11 (2002),  1533–1539
12. Интеллектное управление телескопом
    
    Сиб. журн. индустр. матем., 1:2 (1998),  81–98
13. Метод синтеза условий выводимости хорновских и некоторых других формул
    
    Сиб. матем. журн., 38:5 (1997),  1034–1046
14. К общей теории интегрооператорного уравнения динамики переключательных схем
    
    Докл. РАН, 348:4 (1996),  439–441
15. К автоматизации синтеза структуры СБИС
    
    Докл. АН СССР, 306:2 (1989),  301–304
16. Метод векторных функций Ляпунова в задачах быстродействия
    
    Докл. АН СССР, 287:1 (1986),  29–32
17. Принцип сравнения в математической теории систем
    
    УМН, 40:4(244) (1985),  149–150
18. Метод сравнения в анализе систем. IV
    
    Дифференц. уравнения, 18:6 (1982),  938–947
19. Метод сравнения в анализе систем. III
    
    Дифференц. уравнения, 18:2 (1982),  197–205
20. Метод сравнения в анализе систем. II
    
    Дифференц. уравнения, 17:11 (1981),  1945–1954
21. Метод сравнения в анализе систем. I
    
    Дифференц. уравнения, 17:9 (1981),  1562–1573


22. Вступительное слово к специальному выпуску по материалам XVI международной конференции «Управление развитием крупномасштабных систем»
    
    Автомат. и телемех., 2024, № 10,  3–6
23. Михаил Михайлович Хрусталев (1938–2023)
    
    Автомат. и телемех., 2024, № 1,  124–126
24. 15-я Международная конференция “Управление развитием крупномасштабных систем”. Вступительное слово
    
    Автомат. и телемех., 2023, № 12,  3–5
25. Вступительное слово Программного комитета конференции «Управление развитием крупномасштабных систем»
    
    Автомат. и телемех., 2022, № 5,  3–6
26. Управление развитием крупномасштабных систем. Современные проблемы
    
    Автомат. и телемех., 2018, № 10,  3–5
27. Памяти профессора Владимира Иосифовича Гурмана
    
    Программные системы: теория и приложения, 7:3 (2016),  109–132
28. XII Всероссийское совещание по проблемам управления
    
    Автомат. и телемех., 2014, № 11,  160–166
29. К 80-летию со дня рождения академика В. М. Матросова
    
    Автомат. и телемех., 2013, № 2,  139–151
30. Александр Михайлович Летов (1911–1974)
    
    Автомат. и телемех., 2011, № 11,  3–8
31. 90 лет со дня рождения академика Александра Аркадьевича Красовского
    
    Автомат. и телемех., 2011, № 4,  181–183
32. Владимир Мефодьевич Матросов (к 50-летию со дня рождения)
    
    Дифференц. уравнения, 18:11 (1982),  2008–2011