Skip to main content
SpringerLink
Log in

A reduction method and qualitative analysis of dynamic systems: II

  • Control in Deterministic Systems
  • Published:
Journal of Computer and Systems Sciences International Aims and scope

Abstract

In the first part of this series, the method of reduction was proposed as a logical engine for hypotheses formulation as the development of the well-known algorithms of the comparison method. In this part, its application for the qualitative analysis of different properties of dynamical systems given in form of motion systems, differential equations, and automata models with various depths of delay is demonstrated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S. N. Vasil’ev, “A Method of Reduction and Qualitative Analysis of Dynamical Systems I,” Izv. Ross. Akad. Nauk, Teor. Sist. Upr., No. 1 (2006) [Comp. Syst. Sci. 45 (1), (2006)].

  2. F. L. Chernous’ko, L. D. Akulenko, and B. N. Sokolov, Control of Oscillations (Nauka, Moscow, 1980) [in Russian].

    Google Scholar 

  3. A. V. Lakeev, Candidate’s Dissertation in Mathematics and Physics (IDSTU SO RAN, Irkutsk, 1987).

    Google Scholar 

  4. V. M. Matrosov, S. N. Vasil’ev, R. I. Kozlov, et al., Algorithms of Theorem Proving of the Method of Lyapunov Vector Functions (Nauka, Novosibirsk, 1981) [in Russian].

    Google Scholar 

  5. S. N. Vasil’ev, “The Comparison Method in Systems Analysis I–IV,” Differ. Uravn. Ikh Primen. 17(19) (1981); 17 (11) (1981); 18 (2) (1982); 18 (6) (1982).

  6. A. N. Michel, K. Wang, and B. Ho, Qualitative Theory of Dynamical Systems: The Role of Stability Preserving Mappings (Marcel Dekker, New York, Basel, 2001).

    Google Scholar 

  7. K. S. Sibirskii, Introduction to Topological Dynamics (RIO AN MSSR, Chisinau, 1970) [in Russian].

    Google Scholar 

  8. V. I. Zubov, The Lyapunov Methods and Their Application (Leningr. Gos. Univ., Leningrad, 1957) [in Russian].

    Google Scholar 

  9. E. Goles and S. Martinez, Neural and Automata Networks (Kluwer, 1990).

  10. S. N. Vasil’ev, “Control of the Dynamics of Behavior of Automaton,” in Proceedings of 11th International Baikal Workshop, Plenary Sessions, Irkutsk, Russia, 1998 [in Russian].

  11. C. Chang and R. C. Lee, Symbolic Logic and Mechanical Theorem Proving (Academic, 1973; Nauka, Moscow, 1983).

    Google Scholar 

  12. S. N. Vasil’ev, A. K. Zherlov, E. A. Fedosov, et al., Intelligent Control for Dynamical Systems (FIZMATLIT, Moscow, 2000) [in Russian].

    Google Scholar 

  13. S. N. Vasil’ev, “A Method for Synthesis of the Conditions of Deducibility of Horn and Some Other Formulas,” Sib. Mat. Zh. 38(5) (1997).

Download references

Author information

Authors and Affiliations

  1. Institute for Systems Dynamics and Control Theory, Siberian Division, Russian Academy of Sciences, Irkutsk, Russia

    S. N. Vasil’ev

Authors
  1. S. N. Vasil’ev
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Original Russian Text © S.N. Vasil’ev, 2006, published in Izvestiya Akademii Nauk. Teoriya i Sistemy Upravleniya, 2006, No. 2, pp. 5–17.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vasil’ev, S.N. A reduction method and qualitative analysis of dynamic systems: II. J. Comput. Syst. Sci. Int. 45, 167–179 (2006). https://doi.org/10.1134/S1064230706020018

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S1064230706020018

Keywords

Search

Navigation