International Conference on Systemics, Cybernetics and Informatics

( ICSCI - 2012 )

Conference Dates: February 15 - 18, 2012

Venue: Dr. MCR HRD Institute, Government of Andhra Pradesh, India, Road No. 25, Jubilee Hills, Hyderabad – 500 033

http://www.hrdiap.gov.in ; Ph: +91-40-23548487; Fax:: 23548489; email: adm.ao@hrdiap.gov.in

Organized By: Pentagram Research Centre Pvt Limited

Corporate Address: 201, Venkat Homes, MIGH-59, Mehdipatnam, Hyderabad, Andhra Pradesh, India

Conference Secretariat Address: 1073, Road No. 44, Jubilee Hills, Hyderabad, Andhra Pradesh, India

Web Site: www.icsci.net ; Tel: +91-40-23553986; email: icscimail@yahoo.com

Mission: To Create A Knowledge Based Society

<  ICSCI-2012 Secretariat welcomes Dr. Stanislav N. Vassilyev >

International Conference on Systemics, Cybernetics and Informatics is an event organized by Pentagram Research

< The printed book and its online version will have the Volume number in the AIP Conference Proceedings Series, ISSN and ISBN, and will be registered at the Library of Congress >

Dr. Stanislav Vassilyev

Guest of Honor

Dr. Stanislav N. Vassilyev

 

Professor Stan Vassilyev received his Honors diploma of Electrical Engineering of Kazan Aviation Institute (KAI); carried out qualification advancement and post-graduate program in the Department of Computational Mathematics and  Cybernetics of Moscow State University and also in the Department of Cybernetics of KAI. He is a Corresponding Member of the Russian Academy of Sciences, Professor in Applied Mathematics Department of Irkutsk State University, Doctor of Physical-Mathematical Sciences in System Analysis and Theory of Automatic Control, Candidate of Physical-Mathematical Sciences in Mathematical Cybernetics. He is member of Academician of Navigation and Motion Control (since 2000); Member of National Committee on Automatic Control, IFAC (since 1998); Corresponding Member of RAS (since1997);  Academician of Russian Academy of Natural Sciences (since 1994);  Academician of Russian Academy of Nonlinear Sciences (since 1994); Member of International Federation of Nonlinear Analysts (since1992);  Member of other scientific committees and professional societies in Russia, USA, etc. He has Membership of Editorial Boards of Journals: Member of Editorial Board of Journal on Autometria (Russia, since 2005); Member of Editorial Board of Journal of Computational Technologies (Russia, since 2002); Member of Editorial Board of International Journal of Nonlinear Studies (USA, since 2001); Member of Editorial Board of International Journal of Hybrid Systems (USA, since 2000); Member of  Scientific Council of Editorial Board of International Journal of Intellectual Systems (Russia, since 2000); Member of Editorial Board of Journal of Computer and Systems Sciences International (A Journal of Optimization and Control – Official English Translation of Izvestiya RAS. Teoriya i Sistemy Upravleniya) (Russia, since 1999); Editor-in-Chief of Journal on Optimization, Control and Artificial Intelligence (Russia, since 1999) and Associate Editor (1995-1999); Member of Editorial Board of International Journal of Computer Research (Greece, since 1998); Member of Editorial Board of Siberian Journal of Numerical Mathematics (Russia, since 1998); Member of Editorial Board of Siberian Journal of Industrial Mathematics (Russia, since 1998); Member of Editorial Board of Journal on Mathematics of Russian Academy of Natural Sciences (Russia, since 1994). His Specialization of Research are: Control, Artificial Intelligence; Automation , Software Engineering,   Differential Equations; Mathematical Modeling  of Regional Development; Automata Networks, Intelligent Control, Qualitative Theory of Controlled Systems. He was an investigator and programmer in Control Method and On-board  Software for Telescope Guidance System, Kazan Aviation Institute, Kazan, 1970-1975. He worked as Principal Investigator, Superviser and / or Consultant in many prestigious projects. He has published more than 302 papers and 8 monographs.

As a mark of our regards to Professor Stanislav N. Vassilyev, we provide here the list of his outstanding publications.

Monographs and Other Recent Publications

Mathematical Control Theory

1.   Vassilyev S.N., Theory and Application of Logic-Based Controlled Systems, In: Proc. 2nd Intern. Conf. “System Identification and Control Problems” (SICPRO’03), pp. 23-52, 2003.

2.   Vassilyev S.N., Accessibility and Connectness in Automata Network with General Updating Rules, J. Nonlinear Studies, v. 9, No 1, pp. 99-107, 2002.

3.   Vassilyev S.N., Increasing the Control Potential by New Tools of Knowledge Representation and Processing, J. Control and Informatics Problems, No 4, pp. 21-36, 2002.

4.   Kozlov R., Lakeyev A., Vassilyev S., Zherlov A., Control Methods for Some Classes of Logical-Dynamical Systems under Uncertainties and Perturbations, Intern. J. of Hybrid Systems, vol. 2, No 1, pp. 87-97, 2002.

5.   Vassilyev S.N., Accessibility and Connectness in Automata Network with General Updating Rules, In: Proc. 4th  Intern. Conf. on Problems of Control and Modelling of Complex Systems, Samara, pp. 208-218, 2002.

6.   Vassilyev S.N., Kozlov R.I., S.Sivasundaram, Toward a Qualitative Theory of Systems with Discrete-Continuous Time and Impulsive Effects, Nonlinear Problems in Aviation and Aerospace,

      vol. 2, pp. 667-680, 2001.

7.   Vassilyev S.N., Information-Controlling Systems: Increasing the Control Potential by New Tools of Knowledge Representation and Processing, In: Proc. 3rd  Intern. Conf. on Problems of Control and Modelling of

      Complex Systems, Samara, pp. 62-78, 2001.

8.   Vassilyev S.N., Logical Calculuses in Control and Optimization, In: Proc. XII Baikal Intern. Conf. on Optimization Methods and their Applications, pp. 69-84, 2001.

9.   Vassilyev S., Kozlov R., Lakeyev A., Zherlov A., Control Methods for Some Classes of Logical-Dynamical Systems under Uncertainties and Perturbations, In: Proc. of 5th IFAC Symposium “Nonlinear Control

      Systems” (NOLCOS’01), vol. 2, pp. 559-565, 2001.

10. Vassilyev S.N., From Classical Problems of Control to Intelligent Control, I, II, J. Control Theory and Systems  (Transactions of Russian Academy of Sciences), No 1, pp. 5-22, No 2, pp. 5-21, 2001.

11. Sivasundaram S., Vassilyev S.N., Stability and Attractivity of Solutions of Differential Equations with Impulses at Fixed Times, J. Applied Mathematics and Stochastic Analysis, v.13, No 1, pp. 77-84, 2000.

12. Vassilyev S.N., Logical Methods of Modelling and Control, In: Proc. of 16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation, Lausanne, pp.1-5, 2000.

13. Vassilyev S.N., Kozlov R.I., Toward a Qualitative Theory of Systems with Discrete-Continuous Time and Impulsive Effects, In: Proc. 2nd   Intern. Conf. on Problems of Control and Modelling of Complex Systems,

      Samara, pp. 175-186, 2000.

14. Vassilyev S., On Controllability of Nonlinear Systems under Phase Restrictions and Persistent  Perturbations, J. Nonlinear Analysis: Theory and Applications, vol. 29, No 1, pp. 1-7, 1997.

15. Vassilyev S., Kuznetsov P., Lakeyev A., To General Theory of Integro-Operational Equations of Switching Circuit Dynamics, J. Reports of Russian Academy of Sciences, vol. 348, No 4, pp.439-441, 1996.

16. Vassilyev S., Controllability under Phase Constraints, J. Control Theory and Systems  (Transactions of Russian Academy of Sciences), No 1, pp. 77-82, 1993.

17. Matrosov V.M.,  Anapolski L.Yu., Vassilyev S.N., Comparison Method in Mathematical System Theory, Novosibirsk, “Nauka” (Science), 1980, 480 p.

Software Engineering & Design

1.   Vassilyev S.N., Logical Processing of Information in the Control Problems, In: Proc.of Conf. on Theoretical and Applied  Questions of Modern Information Technologies, Ulan-Ude, pp. 160-167, 2001.

2.   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.

3.   Vassilyev S.N., Seledkin A.P., Shirapov B.D., Khanduev P.Zh., MEPR: Interactive System for Acceptance of Control Decisions in the Regional Economics, Journal of Optimization, Control, Intelligence, No 5(2), pp.

      435-446, 2000.

4.   Vassilyev S.N., Oparin G.A., Inelligent Approach to Automation of Calculation of Complex Controlled Systems, J. Optimization, Control, Intelligence, No 4, pp. 111-126, 2000.

5.   Vassilyev S.N., Bychkov I.V., Cherkashin A.K., Cherkashin E.A., Zherlov A.K., The Employment of Automatic Logical Derivation for Decision of GIS Problems, In: Proc. of Intern. Conf. “Geoinformatics-2000”, Tomsk,

      pp. 22-26, 2000.

6.   Vassilyev S.N., Bychkov I.V., Cherkashin A.K., Cherkashin E.A., GIS: Methods of Logical Derivation for Processing Spatial Information, In: Proc. 4th Intern. Conf. on Intellectual Systems, Moscow, pp. 21-24, 2000.

7.   Hmelnov A., Vassilyev S., Data Description Language FlexT: Flexible Types for Description of Static Data, In: Software and Hardware Engineering for the 21th  Century, Greece, pp. 146-151, 1999.  

8.   Butyrin S., Makarov V., Mukumov R., Somov Ye., Vassilyev S., An Expert System for Design of Spacecraft Attitude Control System, J.Artificial Intelligence in Engineering, Elsevier Sci Ltd., 11, pp. 49-59, 1997.

9.   Baturin V., Urbanovich D., Vassilyev S., Intelligent Software for Optimal Control Problems, Proc. 3-rd Intern. Workshop on New Computer Technology, 1996.

Intelligent Control & Applied Mathematical Logic & Artificial Intelligence

1.   Vassilyev S.N., Temporal Reasoning on the Basis of New Logic for Intelligent Control, In: Proc. of the IEEE Intern. Symposium on Intelligent Control, pp. 843-847, 2003.

2.   Vassilyev S., Zherlov A., A Game-Theoretic Semantics of Positively-Generated Formulas, In: Proc. of 8th National Conf. on Artificial Intelligence, Kolomna, vol. 1, pp. 51-59, 2002.

3.   Vassilyev S., Logical Approach in Knowledge-Based Control, In: Proc. of 21st SGES Intern. Conf. on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, pp. 259-272, 2001.

4.   Vassilyev S., To Intelligent Control, In: Nonlinear Control Theory and its Applications, Moscow, Fizmatlit, pp. 57-126, 2000.

5.   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.

6.   Vassilyev S., Zherlov A., Logical Approach to Intelligent Control of Dynamic Systems, In: Proc. of Intern. Conf. on Control (Automatics), Lviv, Ukraine, pp. 70-74, 2000.

7.   Vassilyev S., Zherlov A., A Logical Methods Development for the Task Solving Automation with Applications to Dynamic System Control and Action Planning, In: Proc. Intern. Conf. on Intelligent Systems and

      Information Technologies of Control, Pskov, pp. 292-295, 2000. 

8.   Vassilyev S.N., Cherkashin E.A., Zherlov A.K., Modifiers of Logical Calculi and their Application to Intelligent Control of Dynamical Systems, In: Proc. 1st  Intern. Conf. Mechatronics and Robotics, S.-Petersburg,

      vol.1, pp.21-27, 2000.

9.   Vassilyev S., Zherlov A., Fedosov E., Fedunov B., Intelligent Control of Dynamical Systems, Moscow, Nauka (Science), Fizmatlit, 2000, 352 p.

10. Cherkashin E., Vassilyev S., Intelligent Control of Telescope, Siberian J. on Industrial Mathematics, vol. 1, No 2, pp. 81-98, 1998.

11. Vassilyev S., Logical Approach to Control Theory, J.Nonlinear Analysis: Theory and Applications, vol. 30, No 4, pp. 1927-1937, 1997.

12. Vassilyev S., Method of Synthesis of Derivability Conditions for Horn and  Some Other Formulas, Siberian Mathematical J., vol. 38, No 5, pp. 896-906, 1997.

13. Vassilyev S., Zherlov A., Calculus of Formulas with Type Quantifiers, J.Reports of Russian Academy of Sciences (Dokl. RAN), vol. 343, No 5, pp. 583-585, 1995.

14. Vassilyev S., Machine Synthesis of Mathematical Theorems, J.Logic Programming, vol. 9, No 2&3, pp.235-266, 1990.

15. Matrosov V.M., Vassilyev S.N., Karatuev V.G., Kozlov R.I., Sumenkov E.A., Yadykin S.A., Algorithms of Generation of Theorems of Vector Lyapunov Function Method, Novosibirsk, “Nauka” (Science), 1981, 271p.

Models and Methods for Sustainable Development

1.   Mathematical Modeling and Control of Processes of  Regional Development, Moscow, “Nauka” (Science), Fizmatlit, 2001, 431p. (in coauthorship).

2.   Vassilyev S.N., Information Support Problems of Society Sustainable Development  (on the example for  Problem Solving Protection of the Lake Baikal Ecology System and Development of the Baikal Region, In: 

      Proc. of Inern. Internet-Conf. on Social and Psychological Consequences of the Employment of Information Technologies, Moscow, pp. 126-133, 2001.

3.   Vassilyev S.N., The Problems of  Information Interaction Improvement in Society for Sustainable Development (on the example for Problem Solving Protection of the Lake Baikal Ecology System and Development of

      the Baikal Region, In: Proc. of Intern. Internet-Conf. on Social and Psychological Consequences of the Employment of Information Technologies, Moscow, pp. 118-125, 2001.

4.   Vassilyev S.N., The Software for the Problem Solving Protection of the Lake Baikal Ecology System and Development of the Baikal Region, J. Geography and Nature Resources, No 1, pp. 18-25, 2001.

5.   Vassilyev S.N., Moskalenko A.A., Moskalenko A.I., Nonlinear Dynamic Problems of Economic Control of Nature Protection, In: Nonlinear Control Theory and its Applications, Moscow, Fizmatlit, pp. 281-320, 2000.

6.   New Paradigm of Russia Development in XXI Century, Moscow, Publishing Houses “Akademia”, MGUK, 2000, 398 p. (in coauthorship).

7.   Vassilyev S.N., Bychkov I.V., Kukharenko E.L., Sidorov A.V., Pleshanov A.S., Rare and Dying Plant Species of the Selenga River Delta in the Internet, In: Proc. of Inern. Conf. on Biodiversity and Dynamics of

      Ecosystems in North Eurasia, Novosibirsk, pp. 15-17, 2000.

8.   Regional Power Programs: Methodic Basis and Development Experience , Novosibirsk

Home | Contributed Papers | Students Papers | ICSCI-2004 | ICSCI-2005 | ICSCI-2006 | ICSCI-2007 | ICSCI-2008 | ICSCI-2009 | ICSCI-2010 | ICSCI2011 | ICSCI2012 |