Minimal Cut Vectors of Multi-State Systems Identified using Logic Differential Calculus and Multi-Valued Decision Diagrams

Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference ◽

10.3850/978-981-14-8593-0_5162-cd ◽

2020 ◽

Author(s):

Miroslav Kvassay ◽

Patrik Rusnak ◽

Elena Zaitseva ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Decision Diagrams ◽

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

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

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 Vectors and Logical Differential Calculus

2014 IEEE 44th International Symposium on Multiple-Valued Logic ◽

10.1109/ismvl.2014.37 ◽

2014 ◽

Author(s):

Miroslav Kvassay ◽

Elena Zaitseva ◽

Vitaly Levashenko ◽

Jozef Kostolny

Keyword(s):

Differential Calculus ◽

Download Full-text

Analysis of system reliability by Logical Differential Calculus and Decision Diagrams

The International Conference on Digital Technologies 2013 ◽

10.1109/dt.2013.6566306 ◽

2013 ◽

Author(s):

Jozef Kostolny ◽

Miroslav Kvassay ◽

Stefan Kovalik

Keyword(s):

System Reliability ◽

Differential Calculus ◽

Decision Diagrams

Download Full-text

Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e97.a.1171 ◽

2014 ◽

Vol E97.A (6) ◽

pp. 1171-1179

Author(s):

Yuma INOUE ◽

Takahisa TODA ◽

Shin-ichi MINATO

Keyword(s):

Decision Diagrams ◽

Pattern Avoiding Permutations

Download Full-text

Analyzing fault tolerance using DREDD (Dependability and Risk Evaluation using Decision Diagrams)

10.2514/6.1995-952 ◽

1995 ◽

Author(s):

Stacy Doyle ◽

Joanne Dugan

Keyword(s):

Fault Tolerance ◽

Risk Evaluation ◽

Decision Diagrams

Download Full-text

EXPLORING POSSIBLE CAUSES OF POOR PERFORMANCE BY HIGH SCHOOL STUDENTS IN DIFFERENTIAL CALCULUS

10.21506/j.ponte.2017.8.54 ◽

2017 ◽

Vol 73 (8) ◽

Author(s):

Deonarain Brijlall ◽

Reuben Bafana Dlamini ◽

Zingiswa Jojo

Keyword(s):

High School ◽

High School Students ◽

Differential Calculus ◽

Poor Performance ◽

School Students

Download Full-text