Stanislav N. Vassilyev

Publication Activity (10 Years)

Years Active: 1990-2013
Publications (10 Years): 0

Top Topics

Intelligent Control

Higher Education

Activity Theory

Industrial Processes

Top Venues

Publications

Stanislav N. Vassilyev, Dmitry A. Novikov, Natalia Bakhtadze
Intelligent Control of Industrial Processes. MIM (2013)
Yevgeny I. Somov, Lyudmila K. Kuzmina, Gennady Degtyarev, Talgat Sirazetdinov, Alexander Zemlyakov, Stanislav N. Vassilyev, Ravil Kozlov, Eduard Druzhynin
Academician V.M. Matrosov: Research and Teaching on Stability, Nonlinear Dynamics and Control in Aerospace Systems. ACE (2012)
Alexander P. Kurdyukov, Tatyana A. Letova, Stanislav N. Vassilyev
A.M. Letov: Life, Scientific Research, International Activity and Teaching Operation. ACE (2012)
Stanislav N. Vassilyev
Logic-based intelligent control. CCA/ISIC (2009)
Evgeny A. Cherkashin, A. Postoenko, Stanislav N. Vassilyev, A. Zherlov
New Logics for Intelligent Control. FLAIRS Conference (1999)
Stanislav N. Vassilyev
The method of synthesis of derivability conditions for Horn formulas and some other formulas. SMC (1998)
Stanislav N. Vassilyev
Methods of proving, hypothesizing and time reasoning for real-time control of moving objects. SMC (1998)
S. Sivasundaram, Stanislav N. Vassilyev
Automata dynamics preserved under homomorphism: connectness, reachability, optimality. SMC (1998)
P. K. Kuznetsov, A. V. Lakeyev, Stanislav N. Vassilyev
Logical Lyapunov functions for analysis of dynamic behavior of hybrid models of switching circuits. SMC (1998)
A. A. Moskalenko, A. I. Moskalenko, Stanislav N. Vassilyev
Nonlinear classes of problems of environmental activity optimal control. SMC (1998)
Evgeny A. Cherkashin, Stanislav N. Vassilyev
Telescope guidance via automatic theorem proving. SMC (1998)
Sergey A. Butyrin, V. P. Makarov, R. R. Mukumov, Yevgeny I. Somov, Stanislav N. Vassilyev
An expert system for design of spacecraft attitude control systems. Artif. Intell. Eng. 11 (1) (1997)
Stanislav N. Vassilyev
Machine Synthesis of Mathematical Theorems. J. Log. Program. 9 (2&3) (1990)