Logic Differential Calculus in Time-Dependent Importance Analysis Based on Minimal Cut Vectors

2019 14th International Conference on Advanced Technologies, Systems and Services in Telecommunications (TELSIKS) ◽

10.1109/telsiks46999.2019.9002094 ◽

2019 ◽

Author(s):

Patrik Rusnak ◽

Miroslav Kvassay ◽

Peter Sedlacek ◽

Elena Zaitseva

Keyword(s):

Differential Calculus ◽

Time Dependent ◽

Minimal Cut ◽

Importance Analysis

Download Full-text

Minimal Cut Sets and Path Sets in Binary Decision Diagrams and logical differential calculus

The 10th International Conference on Digital Technologies 2014 ◽

10.1109/dt.2014.6868712 ◽

2014 ◽

Author(s):

Miroslav Kvassay ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Minimal Cut Sets ◽

Download Full-text

Application of Logic Differential Calculus and Binary Decision Diagrams in Detection of Minimal Cut Vectors

Proceedings of the 29th European Safety and Reliability Conference (ESREL) ◽

10.3850/978-981-11-2724-3_0447-cd ◽

2019 ◽

Author(s):

Miroslav Kvassay ◽

Patrik Rusnak ◽

Elena Zaitseva ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Download Full-text

Use of Binary Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors

2019 14th International Conference on Advanced Technologies, Systems and Services in Telecommunications (TELSIKS) ◽

10.1109/telsiks46999.2019.9002349 ◽

2019 ◽

Author(s):

Miroslav Kvassay ◽

Patrik Rusnak ◽

Radomir S. Stankovic ◽

Andrej Forgac

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Minimal Cut ◽

Importance Analysis

Download Full-text

Application of logical differential calculus and binary decision diagramin importance analysis

Eksploatacja i Niezawodnosc - Maintenance and Reliability ◽

10.17531/ein.2015.3.8 ◽

2015 ◽

Vol 17 (3) ◽

pp. 379-388 ◽

Author(s):

Elena Zaitseva ◽

Vitaly Levashenko ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Binary Decision ◽

Importance Analysis

Download Full-text

Importance analysis by logical differential calculus

Automation and Remote Control ◽

10.1134/s000511791302001x ◽

2013 ◽

Vol 74 (2) ◽

pp. 171-182 ◽

Author(s):

E. N. Zaitseva ◽

V. G. Levashenko

Keyword(s):

Differential Calculus ◽

Importance Analysis

Download Full-text

Importance analysis based on logical differential calculus and Binary Decision Diagram

Reliability Engineering & System Safety ◽

10.1016/j.ress.2015.01.009 ◽

2015 ◽

Vol 138 ◽

pp. 135-144 ◽

Author(s):

Elena Zaitseva ◽

Vitaly Levashenko ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Binary Decision Diagram ◽

Binary Decision ◽

Importance Analysis

Download Full-text

Multi-Valued Decision Diagrams in Importance Analysis Based on Minimal Cut Vectors

2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) ◽

10.1109/ismvl49045.2020.00011 ◽

2020 ◽

Author(s):

Miroslav Kvassay ◽

Patrik Rusnak ◽

Elena Zaitseva ◽

Radomir S. Stankovic

Keyword(s):

Decision Diagrams ◽

Minimal Cut ◽

Importance Analysis

Download Full-text

Time-Dependent Reliability Analysis Based on Structure Function and Logic Differential Calculus

Contemporary Complex Systems and Their Dependability - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-91446-6_38 ◽

2018 ◽

pp. 409-419 ◽

Author(s):

Patrik Rusnak ◽

Jan Rabcan ◽

Miroslav Kvassay ◽

Vitaly Levashenko

Keyword(s):

Structure Function ◽

Reliability Analysis ◽

Differential Calculus ◽

Download Full-text

Time Dependent Reliability Analysis of the Data Storage System Based on the Structure Function and Logic Differential Calculus

Studies in Computational Intelligence - Reliability Engineering and Computational Intelligence ◽

10.1007/978-3-030-74556-1_11 ◽

2021 ◽

pp. 179-198

Author(s):

Patrik Rusnak ◽

Michal Mrena

Keyword(s):

Structure Function ◽

Reliability Analysis ◽

Data Storage ◽

Differential Calculus ◽

Storage System ◽

Time Dependent ◽

Data Storage System

Download Full-text

Model Based Importance Analysis for Minimal Cut Sets

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88387-6_27 ◽

2008 ◽

pp. 303-317 ◽

Author(s):

Eckard Böde ◽

Thomas Peikenkamp ◽

Jan Rakow ◽

Samuel Wischmeyer

Keyword(s):

Minimal Cut Sets ◽

Model Based ◽

Minimal Cut ◽

Importance Analysis

Download Full-text