Vassilyev Stanislav Nikolayevich

Publications in Math-Net.Ru

1. Type-quantifier calculus of positively-formed formulas with negations
   
   Dokl. RAN. Math. Inf. Proc. Upr., 523 (2025),  15–20
2. Erratum to: Abductive reasoning in explanation problems of an observed effect
   
   Dokl. RAN. Math. Inf. Proc. Upr., 496 (2021),  79
3. Abductive reasoning in explanation problems of an observed effect
   
   Dokl. RAN. Math. Inf. Proc. Upr., 493 (2020),  90–94
4. Route Planning in 3D Environment with a Multivariant Model
   
   Tr. SPIIRAN, 45 (2016),  5–25
5. Mechanisms for economic decisions for utilization of oil associated gas
   
   Probl. Upr., 2012, no. 4,  18–25
6. Analysis of hybrid systems' dynamics using the common Lyapunov functions and multiple homomorphisms
   
   Avtomat. i Telemekh., 2011, no. 6,  27–47
7. Automation methods for logical derivation and their application in the control of dynamic and intelligent systems
   
   Trudy Inst. Mat. i Mekh. UrO RAN, 17:2 (2011),  35–52
8. Analysis of coordinate and other transformations of models of dynamical systems by the reduction method
   
   Trudy Inst. Mat. i Mekh. UrO RAN, 15:3 (2009),  38–55
9. Формализация знаний и управление на основе позитивно-образованных языков
   
   Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2008, no. 1,  3–17
10. On reduction theory in qualitative analysis and control of dynamic systems
    
    Trudy Inst. Mat. i Mekh. UrO RAN, 10:2 (2004),  20–34
11. Attainability and Connectedness in an Automata Network with a General State Switching Rule
    
    Differ. Uravn., 38:11 (2002),  1533–1539
12. Intellectual telescope guidance
    
    Sib. Zh. Ind. Mat., 1:2 (1998),  81–98
13. A method for the synthesis of deducibility conditions for Horn and some other formulas
    
    Sibirsk. Mat. Zh., 38:5 (1997),  1034–1046
14. On the general theory of the integro-operator equation in the dynamics of switching circuits
    
    Dokl. Akad. Nauk, 348:4 (1996),  439–441
15. On VLSI design automation
    
    Dokl. Akad. Nauk SSSR, 306:2 (1989),  301–304
16. The method of vector Lyapunov functions in time-optimality problems
    
    Dokl. Akad. Nauk SSSR, 287:1 (1986),  29–32
17. The comparison principle in mathematical systems theory
    
    Uspekhi Mat. Nauk, 40:4(244) (1985),  149–150
18. The comparison method in systems analysis. IV
    
    Differ. Uravn., 18:6 (1982),  938–947
19. The comparison method in systems analysis. III
    
    Differ. Uravn., 18:2 (1982),  197–205
20. The comparison method in systems analysis. II
    
    Differ. Uravn., 17:11 (1981),  1945–1954
21. The comparison method in systems analysis. I
    
    Differ. Uravn., 17:9 (1981),  1562–1573


22. Introductory remarks to the special issue devoted to MLSD 2023
    
    Avtomat. i Telemekh., 2024, no. 10,  3–6
23. Mikhail M. Khrustalev (1938–2023)
    
    Avtomat. i Telemekh., 2024, no. 1,  124–126
24. 15th International conference “Management of large-scale systems development”. Introductory remarks
    
    Avtomat. i Telemekh., 2023, no. 12,  3–5
25. Introduction address by the program committee of the conference “Management of the development of large-scale systems”
    
    Avtomat. i Telemekh., 2022, no. 5,  3–6
26. Management of large-scale system development: modern trends and challenges
    
    Avtomat. i Telemekh., 2018, no. 10,  3–5
27. In memory of Professor Vladimir Iosifovich Gurman
    
    Program Systems: Theory and Applications, 7:3 (2016),  109–132
28. XII All-Russian Conference on Control
    
    Avtomat. i Telemekh., 2014, no. 11,  160–166
29. To the 80th anniversary of academician V. M. Matrosov
    
    Avtomat. i Telemekh., 2013, no. 2,  139–151
30. Aleksandr Mikhailovich Letov (1911–1974)
    
    Avtomat. i Telemekh., 2011, no. 11,  3–8
31. Ninetieth anniversary of academician Aleksandr Arkad'evich Krasovskii
    
    Avtomat. i Telemekh., 2011, no. 4,  181–183
32. Vladimir Mefod'evich Matrosov (on the occasion of his fiftieth birthday)
    
    Differ. Uravn., 18:11 (1982),  2008–2011