Finite-state simulations and bisimulations for discrete-time piecewise affine systems.

Sanam Mirzazad-Barijough Ji-Woong Lee

Published in: CDC/ECC (2011)

Keyphrases

finite state
markov chain
markov decision processes
piecewise affine
optimal policy
model checking
distributed systems
average cost
information extraction
formal methods
action sets