Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Logical methods to obtain deterministic reliability estimates for systems

  • 21 Accesses


We consider the construction of deterministic integral estimates of sucessive failure and recovery times of a system. The mathematical model of system reliability is described by a dynamic automaton using the mathematical apparatus of many-valued and infinite-valued logic.

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

Literature Cited

  1. 1.

    B. V. Gnedenko, Yu. K. Belyaev, and A. D. Solov'ev, Mathematical Methods in Reliability Theory [in Russian], Nauka, Moscow (1965).

  2. 2.

    V. I. Levin, Logical Theory of Reliability of Complex Systems [in Russian], Énergoatomizdat, Moscow (1985).

  3. 3.

    V. I. Levin, Dynamics of Logic Devices and Systems [in Russian], Énergiya, Moscow (1980).

  4. 4.

    I. A. Ryabinin and G. N. Cherkesov, Logic-Probabilistic Methods of Reliability Analysis of Structurally Complex Systems [in Russian], Radio i Svyaz', Moscow (1981).

  5. 5.

    V. I. Levin, “Investigation of the dynamics of discrete automata with undefined signal values. I, II,” Kibernetika, No. 6, 7–14 (1988); No. 2, 53–60 (1989).

  6. 6.

    I. N. Kovalenko, Studies in Reliability of Complex Systems [in Russian], Naukova Dumka, Kiev (1978).

  7. 7.

    V. I. Levin, “Differential and integral calculus in infinite-valued logic,” in: Mathematical and Programming Methods in Control and Information System Design [in Russian], Privolzh. Dom Nauch.-Tekhn. Propagandy, Penza (1988), pp. 12–14.

  8. 8.

    V. I. Levin, “Nondeterministic infinite-valued logic and its application,” in: Logical Control Using Computers [in Russian], Izd. Akad. Nauk SSSR, Moscow (1989), pp. 20–26.

Download references

Additional information

Translated from Kibernetika, No. 5, pp. 104–111, September–October, 1990.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Levin, V.I. Logical methods to obtain deterministic reliability estimates for systems. Cybern Syst Anal 26, 769–780 (1990). https://doi.org/10.1007/BF01068558

Download citation


  • Mathematical Model
  • Operating System
  • Artificial Intelligence
  • System Theory
  • Recovery Time