Vasilev S. N., Doganovskii S. A., Edemskii V. M., K intellektnomu upravleniyu dugovymi staleplavilnymi pechami, Avtomatizatsiya v promyshlennosti, # 3, s. 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.
Vasilev S. N., Teoriya i primenenie logiko-upravlyaemykh sistem, Trudy 2-oi Mezhdunarodnoi konferentsii "Identifikatsiya sistem i zadachi upravleniya" (SICPRO'03), s. 23–52, 2003.
Vasilev S. N., Zherlov A. K., Teoretiko-igrovaya semantika pozitivno-obrazovannykh formul, Trudy 8-i Natsionalnoi konferentsii po iskusstvennomu intellektu (KII'2002), Kolomna, t. 1, s. 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.
Vasilev S. N., K intellektnomu upravleniyu, V sb.: Nelineinaya teoriya upravleniya i ee prilozheniya, Moskva, Fizmatlit, s. 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.
Vasilev S. N., Logicheskaya obrabotka informatsii v zadachakh upravleniya, Trudy Vserossiiskoi nauchno-tekhnicheskoi konferentsii "Teoreticheskie i prikladnye voprosy sovremennykh informatsionnykh tekhnologii", Ulan-Ude, s. 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.
S. N. Vassilyev, “Type-quantifier calculus of positively-formed formulas with negations”, Dokl. RAN. Math. Inf. Proc. Upr., 523 (2025), 15–20
2021
2.
S. N. Vassilyev, “Erratum to: Abductive reasoning in explanation problems of an observed effect”, Dokl. RAN. Math. Inf. Proc. Upr., 496 (2021), 79; Dokl. Math., 103:1 (2021), 67
2020
3.
S. N. Vassilyev, “Abductive reasoning in explanation problems of an observed effect”, Dokl. RAN. Math. Inf. Proc. Upr., 493 (2020), 90–94; Dokl. Math., 102:1 (2020), 337–341
2016
4.
S. N. Vasilyev, M. A. Loktev, A. V. Tolok, N. B. Tolok, S. A. Ulyanov, “Route Planning in 3D Environment with a Multivariant Model”, Tr. SPIIRAN, 45 (2016), 5–25
S. N. Vassilyev, F. T. Aleskerov, A. A. Ivanov, V. I. Yakuba, “Mechanisms for economic decisions for utilization of oil associated gas”, Probl. Upr., 2012, no. 4, 18–25
2011
6.
S. N. Vassilyev, A. A. Kosov, “Analysis of hybrid systems' dynamics using the common Lyapunov functions and multiple homomorphisms”, Avtomat. i Telemekh., 2011, no. 6, 27–47; Autom. Remote Control, 72:6 (2011), 1163–1183
S. N. Vassilyev, G. M. Ponomarev, “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; Proc. Steklov Inst. Math., 276, suppl. 1 (2012), S161–S179
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”, Trudy Inst. Mat. i Mekh. UrO RAN, 15:3 (2009), 38–55; Proc. Steklov Inst. Math., 268, suppl. 1 (2010), S264–S282
S. N. Vassilyev, “Ôîðìàëèçàöèÿ çíàíèé è óïðàâëåíèå íà îñíîâå ïîçèòèâíî-îáðàçîâàííûõ ÿçûêîâ”, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2008, no. 1, 3–17
2004
10.
S. N. Vassilyev, “On reduction theory in qualitative analysis and control of dynamic systems”, Trudy Inst. Mat. i Mekh. UrO RAN, 10:2 (2004), 20–34; Proc. Steklov Inst. Math., 2004no. , suppl. 2, S193–S209
S. N. Vassilyev, “Attainability and Connectedness in an Automata Network with a General State Switching Rule”, Differ. Uravn., 38:11 (2002), 1533–1539; Differ. Equ., 38:11 (2002), 1628–1635
1998
12.
S. N. Vassilyev, E. A. Cherkashin, “Intellectual telescope guidance”, Sib. Zh. Ind. Mat., 1:2 (1998), 81–98
S. N. Vassilyev, “A method for the synthesis of deducibility conditions for Horn and some other formulas”, Sibirsk. Mat. Zh., 38:5 (1997), 1034–1046; Siberian Math. J., 38:5 (1997), 896–906
S. N. Vassilyev, P. K. Kuznetsov, A. V. Lakeev, “On the general theory of the integro-operator equation in the
dynamics of switching circuits”, Dokl. Akad. Nauk, 348:4 (1996), 439–441
1989
15.
S. N. Vasil'ev, S. G. Patrushev, “On VLSI design automation”, Dokl. Akad. Nauk SSSR, 306:2 (1989), 301–304
1986
16.
S. N. Vasil'ev, “The method of vector Lyapunov functions in time-optimality
problems”, Dokl. Akad. Nauk SSSR, 287:1 (1986), 29–32
1985
17.
S. N. Vassilyev, V. M. Matrosov, E. A. Sumenkov, “The comparison principle in mathematical systems theory”, Uspekhi Mat. Nauk, 40:4(244) (1985), 149–150; Russian Math. Surveys, 40:4 (1985), 227–228
1982
18.
S. N. Vassilyev, “The comparison method in systems analysis. IV”, Differ. Uravn., 18:6 (1982), 938–947
S. N. Vasil'ev, “Introductory remarks to the special issue devoted to MLSD 2023”, Avtomat. i Telemekh., 2024, no. 10, 3–6; Autom. Remote Control, 85:10 (2024), 833–834
23.
A. S. Agapova, A. V. Arutyunov, S. N. Vassilyev, A. A. Galyaev, D. A. Novikov, E. E. Onegin, D. S. Rumyantsev, N. B. Filimonov, K. A. Tsarkov, “Mikhail M. Khrustalev (1938–2023)”, Avtomat. i Telemekh., 2024, no. 1, 124–126; Autom. Remote Control, 85:1 (2024), 97–98
2023
24.
Academician S. N. Vasiliev, “15th International conference “Management of large-scale systems development”. Introductory remarks”, Avtomat. i Telemekh., 2023, no. 12, 3–5; Autom. Remote Control, 84:12 (2023), 1399–1400
2022
25.
S. N. Vasil'ev, “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; Autom. Remote Control, 83:5 (2022), 673–676
2018
26.
S. N. Vassilyev, “Management of large-scale system development: modern trends and challenges”, Avtomat. i Telemekh., 2018, no. 10, 3–5
2016
27.
S. M. Abramov, A. O. Blinov, S. N. Vassilyev, I. S. Guseva, E. V. Danilina, M. G. Dmitriev, S. V. Znamenskii, G. Konstantinov, N. E. Kul'baka, G. Osipov, Yu. S. Popkov, I. V. Rasina, E. V. Ryumina, G. V. Sidorenko, O. V. Fes'ko, M. M. Khrustalev, A. M. Tsirlin, “In memory of Professor Vladimir Iosifovich Gurman”, Program Systems: Theory and Applications, 7:3 (2016), 109–132
S. N. Vassilyev, D. A. Novikov, “XII All-Russian Conference on Control”, Avtomat. i Telemekh., 2014, no. 11, 160–166
2013
29.
S. N. Vassilyev, “To the 80th anniversary of academician V. M. Matrosov”, Avtomat. i Telemekh., 2013, no. 2, 139–151
2011
30.
S. N. Vassilyev, N. N. Krasovskii, A. P. Kurdyukov, A. B. Kurzhanskii, T. A. Letova, “Aleksandr Mikhailovich Letov (1911–1974)”, Avtomat. i Telemekh., 2011, no. 11, 3–8; Autom. Remote Control, 72:11 (2011), 2221–2226
S. N. Vasilyev, M. Sh. Misrikhanov, V. N. Ryabchenko, “Ninetieth anniversary of academician Aleksandr Arkad'evich Krasovskii”, Avtomat. i Telemekh., 2011, no. 4, 181–183; Autom. Remote Control, 72:4 (2011), 840–841
1982
32.
P. A. Kuz'min, V. V. Rumyantsev, L. Yu. Anapolskiy, S. N. Vassilyev, M. K. Nabiullin, “Vladimir Mefod'evich Matrosov (on the occasion of his fiftieth birthday)”, Differ. Uravn., 18:11 (1982), 2008–2011
Contact us: