Safety Analysis of an Industrial System Using Markov Reliability Diagram with Repair.

Tony Venditti Nguyen Duy Phuong Tran Anh Dung Ngo

Published in: AHFE (4) (2020)

Keyphrases

safety analysis
reliability analysis
control system
safety critical
nuclear power plant
symbolic model checking
fault model
markov chain
multi agent
neural network
fuzzy logic
model checking
embedded systems
error detection
partial observability