Stanislav N. Vassilyev

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