International Conference on Computer Aided Systems Theory

Computer Aided Systems Theory – EUROCAST 2015 pp 41-48

Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives

  • Jozef Kostolny
  • Elena Zaitseva
  • Suzana Stojković
  • Radomir Stanković
Conference paper

DOI: 10.1007/978-3-319-27340-2_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9520)
Cite this paper as:
Kostolny J., Zaitseva E., Stojković S., Stanković R. (2015) Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives. In: Moreno-Díaz R., Pichler F., Quesada-Arencibia A. (eds) Computer Aided Systems Theory – EUROCAST 2015. Lecture Notes in Computer Science, vol 9520. Springer, Cham

Abstract

Multi-State Systems (MSSs) are mathematical models often used in reliability engineering since allow a rather detailed evaluation of system reliability. These models represent the system reliability/availability behavior from the perfect functioning to the fault, but allow to distinguish several intermediate states. The calculation of related reliability measures can be performed in terms of Direct Partial Logic Derivatives (DPLDs). A drawback of this approach is high dimensionality of MSSs. To overcome this problem, we propose to use Multi-valued Decision Diagrams (MDDs) as a data structure to represent multi-state systems and perform computations of reliability measures in terms of DPLDs.

Keywords

Multi-valued decision diagram Direct partial logic derivative Reliability analysis Multi-state systems 

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Jozef Kostolny
    • 1
  • Elena Zaitseva
    • 1
  • Suzana Stojković
    • 2
  • Radomir Stanković
    • 2
  1. 1.Department of InformaticsUniversity of ZilinaZilinaSlovakia
  2. 2.Faculty of Electronic EngineeringUniversity of NiŠNiŠSerbia

Personalised recommendations