Stanislav N. Vassilyev

According to our database, Stanislav N. Vassilyev authored at least 13 papers between 1990 and 2013.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2013

Intelligent Control of Industrial Processes.

Stanislav N. Vassilyev, Dmitry A. Novikov, Natalia Bakhtadze

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

2012

Academician V.M. Matrosov: Research and Teaching on Stability, Nonlinear Dynamics and Control in Aerospace Systems.

Yevgeny I. Somov, Lyudmila K. Kuzmina, Gennady Degtyarev, Talgat Sirazetdinov, Alexander Zemlyakov, Stanislav N. Vassilyev, Ravil Kozlov, Eduard Druzhynin

Proceedings of the 9th IFAC Symposium Advances in Control Education, 2012

A.M. Letov: Life, Scientific Research, International Activity and Teaching Operation.

Alexander P. Kurdyukov, Tatyana A. Letova, Stanislav N. Vassilyev

Proceedings of the 9th IFAC Symposium Advances in Control Education, 2012

2009

Logic-based intelligent control.

Stanislav N. Vassilyev

Proceedings of the IEEE International Conference on Control Applications, 2009

1999

New Logics for Intelligent Control.

Evgeny A. Cherkashin, A. Postoenko, Stanislav N. Vassilyev, A. Zherlov

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

The method of synthesis of derivability conditions for Horn formulas and some other formulas.

Stanislav N. Vassilyev

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Methods of proving, hypothesizing and time reasoning for real-time control of moving objects.

Stanislav N. Vassilyev

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Automata dynamics preserved under homomorphism: connectness, reachability, optimality.

S. Sivasundaram, Stanislav N. Vassilyev

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Nonlinear classes of problems of environmental activity optimal control.

A. A. Moskalenko, A. I. Moskalenko, Stanislav N. Vassilyev

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Logical Lyapunov functions for analysis of dynamic behavior of hybrid models of switching circuits.

P. K. Kuznetsov, A. V. Lakeyev, Stanislav N. Vassilyev

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Telescope guidance via automatic theorem proving.

Evgeny A. Cherkashin, Stanislav N. Vassilyev

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

An expert system for design of spacecraft attitude control systems.

Sergey A. Butyrin, V. P. Makarov, R. R. Mukumov, Yevgeny I. Somov, Stanislav N. Vassilyev

Artif. Intell. Eng., 1997

1990

Machine Synthesis of Mathematical Theorems.

Stanislav N. Vassilyev

J. Log. Program., 1990