|
|
Publications in Math-Net.Ru
-
Erratum to: Abductive reasoning in explanation problems of an observed effect
Dokl. RAN. Math. Inf. Proc. Upr., 496 (2021), 79
-
Abductive reasoning in explanation problems of an observed effect
Dokl. RAN. Math. Inf. Proc. Upr., 493 (2020), 90–94
-
Route Planning in 3D Environment with a Multivariant Model
Tr. SPIIRAN, 45 (2016), 5–25
-
Mechanisms for economic decisions for utilization of oil associated gas
Probl. Upr., 2012, no. 4, 18–25
-
Analysis of hybrid systems' dynamics using the common Lyapunov functions and multiple homomorphisms
Avtomat. i Telemekh., 2011, no. 6, 27–47
-
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
-
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
-
Ôîðìàëèçàöèÿ çíàíèé è óïðàâëåíèå íà îñíîâå ïîçèòèâíî-îáðàçîâàííûõ ÿçûêîâ
Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2008, no. 1, 3–17
-
On reduction theory in qualitative analysis and control of dynamic systems
Trudy Inst. Mat. i Mekh. UrO RAN, 10:2 (2004), 20–34
-
Attainability and Connectedness in an Automata Network with a General State Switching Rule
Differ. Uravn., 38:11 (2002), 1533–1539
-
Intellectual telescope guidance
Sib. Zh. Ind. Mat., 1:2 (1998), 81–98
-
A method for the synthesis of deducibility conditions for Horn and some other formulas
Sibirsk. Mat. Zh., 38:5 (1997), 1034–1046
-
On the general theory of the integro-operator equation in the
dynamics of switching circuits
Dokl. Akad. Nauk, 348:4 (1996), 439–441
-
On VLSI design automation
Dokl. Akad. Nauk SSSR, 306:2 (1989), 301–304
-
The method of vector Lyapunov functions in time-optimality
problems
Dokl. Akad. Nauk SSSR, 287:1 (1986), 29–32
-
The comparison principle in mathematical systems theory
Uspekhi Mat. Nauk, 40:4(244) (1985), 149–150
-
The comparison method in systems analysis. IV
Differ. Uravn., 18:6 (1982), 938–947
-
The comparison method in systems analysis. III
Differ. Uravn., 18:2 (1982), 197–205
-
The comparison method in systems analysis. II
Differ. Uravn., 17:11 (1981), 1945–1954
-
The comparison method in systems analysis. I
Differ. Uravn., 17:9 (1981), 1562–1573
-
Introduction to the special issue according to the XVI International Conference “Management of Large-scale Systems Development”
Avtomat. i Telemekh., 2024, no. 10, 3–6
-
Ìèõàèë Ìèõàéëîâè÷ Õðóñòàëåâ (1938–2023)
Avtomat. i Telemekh., 2024, no. 1, 124–126
-
15th International Conference “Management of large-scale systems development”. Introductory remarks
Avtomat. i Telemekh., 2023, no. 12, 3–5
-
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
-
Management of large-scale system development: modern trends and challenges
Avtomat. i Telemekh., 2018, no. 10, 3–5
-
In memory of Professor Vladimir Iosifovich Gurman
Program Systems: Theory and Applications, 7:3 (2016), 109–132
-
XII All-Russian Conference on Control
Avtomat. i Telemekh., 2014, no. 11, 160–166
-
To the 80th anniversary of academician V. M. Matrosov
Avtomat. i Telemekh., 2013, no. 2, 139–151
-
Aleksandr Mikhailovich Letov (1911–1974)
Avtomat. i Telemekh., 2011, no. 11, 3–8
-
Ninetieth anniversary of academician Aleksandr Arkad'evich Krasovskii
Avtomat. i Telemekh., 2011, no. 4, 181–183
-
Vladimir Mefod'evich Matrosov (on the occasion of his fiftieth birthday)
Differ. Uravn., 18:11 (1982), 2008–2011
© , 2025