Skip to main content
SpringerLink
Log in

Algorithmization of obtaining the converse comparison theorems based on solving a logical equation

  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 278))

Included in the following conference series:

  • 125 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Matrosov, V.M., Anapolsky, L.Ju., Vassiljev, S.N. Comparison Method in Mathematical Systems Theory. ( Russian ) Nauka, Novosibirsk (1980), 481 p.p.

    Google Scholar 

  2. Matrosov, V.M., Vassiljev, S.N., et al. Derivation Algorithms for Theorems of Vector Lyapunov Functions Method. ( Russian ) Nauka, Novosibirsk (1981), 271 p.p.

    Google Scholar 

  3. Vassiljev, S.N. Comparisom Method in System Analysis, I–IV. ( Russian ). Differencial'nye Uravnenija, 17(1981),1562–1573,1945–1954; ibid, 18(1982), 197–205, 938–947.

    Google Scholar 

  4. Sumenkov, E.A. Algorithmization of Finding the Solutions of Some Logical Equation. ( Russian ) In: Program Systems; Methods and Algorithms. Nauka, Novosibirsk, 127–140.

    Google Scholar 

  5. Sumenkov E.A. Towards a Question of Conversability of Comparison Principles. ( Russian ) In::Nonlinear System Dynamics. Nauka, Novoskibirsk (1983), 22–35.

    Google Scholar 

  6. Vassiljev, S.N.,Matrosov, V.M., Sumenkov, E.A. Comparison Principles in Mathematical Systems Theory. ( Russian ) Uspehi Mat. Nauk, 4(1985), 149–150.

    Google Scholar 

  7. Lakejev, A.V. On the Existence of Comparison Vector Functions with Equalities. ( Russian ) In: Nonlinear System Dynamics. Nauka, Novosibirsk (1983), 79–90.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Irkutsk Computer Center of the Siberian Branch of the USSR AS, 134, Lermontov st., 664033, Irkutsk, USSR

    E. A. Sumenkov

Authors
  1. E. A. Sumenkov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lothar Budach Rais Gatič Bukharajev Oleg Borisovič Lupanov

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sumenkov, E.A. (1987). Algorithmization of obtaining the converse comparison theorems based on solving a logical equation. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_94

Download citation

  • DOI: https://doi.org/10.1007/3-540-18740-5_94

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18740-0

  • Online ISBN: 978-3-540-48138-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation