Compositional construction of finite state abstractions for stochastic control systems.
Kaushik MallikSadegh Esmaeil Zadeh SoudjaniAnne-Kathrin SchmuckRupak MajumdarPublished in: CDC (2017)
Keyphrases
- finite state
- finite state transducers
- markov chain
- control system
- markov decision processes
- policy iteration algorithm
- optimal policy
- control policies
- model checking
- monte carlo
- tree automata
- context free
- vector quantizer
- average cost
- continuous state
- transition systems
- stochastic processes
- markov processes
- dynamical systems
- reinforcement learning