Verifying programmable logic controllers with abstraction.

Rui Wang Ming Gu Xiaoyu Song Hehua Zhang

Published in: SIES (2008)

Keyphrases

programmable logic
control system
reinforcement learning
high level
data abstraction
model checking
field programmable gate array
controller design
neural network
cooperative
higher order
graphical models
decision theoretic planning