Stochastic Safety for Markov Chains.
Manuela-Luminita BujorianuRafael WisniewskiEvangelos BoulougourisPublished in: IEEE Control. Syst. Lett. (2021)
Keyphrases
- markov chain
- stochastic process
- probabilistic automata
- monte carlo
- markov processes
- steady state
- sample path
- random walk
- monte carlo method
- transition probabilities
- markov process
- finite state
- monte carlo simulation
- markov model
- state transition
- state space
- stationary distribution
- transition matrix
- queueing theory
- finite automata
- stochastic processes
- confidence intervals