Generating finite-state global behavior of reconfigurable automation systems: DEVS approach.

Published in: CASE (2005)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
state space
discrete event
data mining
search algorithm
hardware implementation
policy iteration
vector quantizer
average cost
context free
transition systems