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

  • E. A. Sumenkov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [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. [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. [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. [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. [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. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • E. A. Sumenkov
    • 1
  1. 1.Irkutsk Computer Center of the Siberian Branch of the USSR ASIrkutskUSSR

Personalised recommendations