Logic Differential Calculus for Reliability Analysis Based on Survival Signature.
Patrik RusnakElena ZaitsevaFrank P. A. CoolenMiroslav KvassayVitaly G. LevashenkoPublished in: IEEE Trans. Dependable Secur. Comput. (2023)
Keyphrases
- reliability analysis
- survival analysis
- computer algebra
- natural deduction
- formal language
- sequent calculus
- modal logic
- cut elimination
- algebraic structure
- relation algebra
- proof procedure
- inference rules
- breast cancer
- proof search
- signature verification
- condition monitoring
- asynchronous circuits
- linear time temporal logic
- logic programming
- case based reasoning
- signature scheme
- power plant
- theorem prover
- regression model
- fault tree