A probabilistic method for certification of analytically redundant systems

DOI10.1515/amcs-2015-0008zbMath1322.93038OpenAlexW2176287229MaRDI QIDQ747451

Bin Hu, Peter Seiler

Publication date: 16 October 2015

Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/amcs-2015-0008

zbMATH Keywords

fault detectionreliabilitysafety-critical systemsfault-tolerant systemscertificationavionics

Mathematics Subject Classification ID

Sensitivity (robustness) (93B35) Reliability, availability, maintenance, inspection in operations research (90B25) Application models in control theory (93C95) Stochastic systems in control theory (general) (93E03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probability approximations via the Poisson clumping heuristic
• Stochastic simulation: Algorithms and analysis
• Rare Event Simulation using Monte Carlo Methods
• A New Discrete Weibull Distribution
• Fault Tree Analysis, Methods, and Applications ߝ A Review
• A generalized likelihood ratio approach to the detection and estimation of jumps in linear systems
• Weibull Models
• Safety analysis of autonomous systems by extended fault tree analysis
• Reliability and Risk
• An approach to the probability distribution of cusum run length

This page was built for publication: A probabilistic method for certification of analytically redundant systems