Controlled Markov chains and safety criteria.

Ari Arapostathis Ratnesh Kumar Sekhar Tangirala

Published in: CDC (2001)

Keyphrases

markov chain
steady state
finite state
transition probabilities
markov process
monte carlo
state space
markov processes
random walk
stochastic process
stationary distribution
probabilistic automata
monte carlo simulation
markov model
monte carlo method
transition matrix
sample path