Computer-Assisted Markov Failure Modeling of Process Control Systems
From MaRDI portal
Publication:3758542
DOI10.1109/TR.1987.5222318zbMath0621.90034MaRDI QIDQ3758542
Publication date: 1987
Published in: IEEE Transactions on Reliability (Search for Journal in Brave)
Markov chaincontrol loopsfailure modelingcontinuous state dynamic variablesdiscrete state space - discrete time representationProcess control systems
Reliability, availability, maintenance, inspection in operations research (90B25) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20)
Related Items
Symbolic Fault Tree Analysis for Reactive Systems, The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits