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, “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
2.
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
3.
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
5.
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. (Suppl.), 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. (Suppl.), 268, suppl. 1 (2010), S264–S282
S. N. Vassilyev, “Формализация знаний и управление на основе позитивно-образованных языков”, Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2008, no. 1, 3–17
2004
9.
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. (Suppl.), 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
11.
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
14.
S. N. Vasil'ev, S. G. Patrushev, “On VLSI design automation”, Dokl. Akad. Nauk SSSR, 306:2 (1989), 301–304
1986
15.
S. N. Vasil'ev, “The method of vector Lyapunov functions in time-optimality
problems”, Dokl. Akad. Nauk SSSR, 287:1 (1986), 29–32
1985
16.
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
17.
S. N. Vassilyev, “The comparison method in systems analysis. IV”, Differ. Uravn., 18:6 (1982), 938–947
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, “Михаил Михайлович Хрусталев (1938–2023)”, Avtomat. i Telemekh., 2024, no. 1, 124–126
2023
22.
Academician S. N. Vasiliev, “15th International Conference “Management of large-scale systems development”. Introductory remarks”, Avtomat. i Telemekh., 2023, no. 12, 3–5
2022
23.
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
24.
S. N. Vassilyev, “Management of large-scale system development: modern trends and challenges”, Avtomat. i Telemekh., 2018, no. 10, 3–5
2016
25.
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
2014
26.
S. N. Vassilyev, D. A. Novikov, “XII All-Russian Conference on Control”, Avtomat. i Telemekh., 2014, no. 11, 160–166
2013
27.
S. N. Vassilyev, “To the 80th anniversary of academician V. M. Matrosov”, Avtomat. i Telemekh., 2013, no. 2, 139–151
2011
28.
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
30.
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: