Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress.

Ratan Lal Pavithra Prabhakar

Published in: EMSOFT (2020)

Keyphrases

stochastic systems
safety analysis
stochastic models
symbolic model checking
nuclear power plant
markov chain
safety critical
control system
sample path
fault model
finite state
confidence intervals
stochastic model
asymptotic analysis